Sortiert nach
Acta informatica, 2021-10, Vol.58 (5), p.529-569
2021
Link zum Volltext
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.14-32
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.80-99
Link zum Volltext
Journal of logical and algebraic methods in programming, 2018-04, Vol.96, p.65-80
2018
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2020, p.153-175
2020
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2020, p.131-152
2020
Link zum Volltext
Journal of computer security, 2005-01, Vol.13 (1), p.115-134
2005
Link zum Volltext
Journal of computer security, 2005-01, Vol.13 (1), p.167-190
2005
Link zum Volltext
Mathematical structures in computer science, 2009-12, Vol.19 (6), p.1065-1090
2009
Link zum Volltext
Journal of computer security, 2005-01, Vol.13 (1), p.135-165
2005
Link zum Volltext
Journal of computer security, 2005-01, Vol.13 (1), p.3-47
2005
Link zum Volltext
Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.262-282
2015
Link zum Volltext
EURASIP journal on advances in signal processing, 2003-09, Vol.2003 (10), p.560201-560201
2003
Link zum Volltext
CONCUR 2009 - Concurrency Theory, p.463-480
Link zum Volltext
2009 edition., 2009
Link zum Volltext
Journal of computer security, 2004-01, Vol.12 (2), p.191-245
2004
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Label Transition System
- Operational Semantic
- Software Engineering
- Computer Science, Information Systems
- Process Algebra
- Computer Communication Networks
- Computer Science, Software Engineering
- Logics And Meanings Of Programs
- Applied Sciences
- Exact Sciences And Technology
- Mathematical Foundations
- Programming Languages, Compilers, Interpreters
- Computer Science; Control Theory; Systems
- Computer Networks
- Computer Security
- Cryptography
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta.com
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
- Journals@Ovid Full Text
- Wiley-Blackwell Journals
- Taylor & Francis Journals Complete
- ScienceDirect eBooks
- Wiley Online Library
- Elsevier ScienceDirect Journals Complete
- Taylor & Francis Current Content Access
- EZB Electronic Journals Library
Zeitschrift / Serie
- Journal Of Computer Security
- Acta Informatica
- Mathematical Structures In Computer Science
- Acm Computing Surveys
- Acm Transactions On Computational Logic
- Acm Transactions On Modeling And Computer Simulation
- Acm Transactions On Software Engineering And Methodology
- Eurasip Journal On Advances In Signal Processing
- Ieee Journal On Selected Areas In Communications
- International Journal Of Food Science & Technology