Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Acta informatica, 2021-10, Vol.58 (5), p.529-569
2021
Link zum Volltext
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Link zum Volltext
Theoretical computer science, 2022-01, Vol.897, p.83-113
2022
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
Information and computation, 2020-12, Vol.275, p.104603, Article 104603
2020
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
Electronic proceedings in theoretical computer science, 2011-02, Vol.51 (Proc. SecCo 2010), p.16-33
2011
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2020, p.131-152
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.76-90
2010
Link zum Volltext
Vietnam journal of computer science, 2016-02, Vol.3 (1), p.15-34
2016
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
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Label Transition System
- Software Engineering
- Theoretical Computing
- Computer Science, Software Engineering
- Process Algebra
- Operational Semantic
- Computer Science, Information Systems
- Computer Systems And Distributed Systems. User Interface
- Mathematics
- Computer Communication Networks
- Computer Security
- Cryptography
Kollektion
- Ingenta
- Springer Books
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Book Series
- Elektronische Zeitschriftenbibliothek (Open access)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- ACM Digital Library Complete
- Springer Nature - Complete Springer Journals
- IEEE Electronic Library Online
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Cambridge Journals Online (DEFF)
- Journals@Ovid
- Wiley Online Library - AutoHoldings Journals
- Taylor & Francis Journals Complete
- Oxford University Press Journals Current
- ScienceDirect eBooks
Zeitschrift / Serie
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Journal Of Computer Security
- Information And Computation
- Acm Computing Surveys
- Acta Informatica
- Electronic Proceedings In Theoretical Computer Science
- Eurasip Journal On Advances In Signal Processing
- Mathematical Structures In Computer Science
- Science Of Computer Programming