Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Volltextzugriff (PDF)
1, 2017
Volltextzugriff (PDF)
Theoretical computer science, 2022-01, Vol.897, p.83-113
2022
Volltextzugriff (PDF)
1, 2001
Volltextzugriff (PDF)
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.14-32
Volltextzugriff (PDF)
Information and computation, 2020-12, Vol.275, p.104603, Article 104603
2020
Volltextzugriff (PDF)
Fundamenta informaticae, 2021-01, Vol.180 (3), p.179-249
2021
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, p.80-99
Volltextzugriff (PDF)
Fundamenta informaticae, 2017-01, Vol.154 (1-4), p.145-166
2017
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2018-04, Vol.96, p.65-80
2018
Volltextzugriff (PDF)
Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.262-282
2015
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, 2020, p.153-175
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-02, Vol.51 (Proc. SecCo 2010), p.16-33
2011
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, 2020, p.131-152
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.76-90
2010
Volltextzugriff (PDF)
1, 2011
Volltextzugriff (PDF)
Journal of computer security, 2005-01, Vol.13 (1), p.115-134
2005
Volltextzugriff (PDF)
Journal of computer security, 2005-01, Vol.13 (1), p.167-190
2005
Volltextzugriff (PDF)
Mathematical structures in computer science, 2009-12, Vol.19 (6), p.1065-1090
2009
Volltextzugriff (PDF)
Journal of computer security, 2005-01, Vol.13 (1), p.135-165
2005
Volltextzugriff (PDF)
Aktive Filter
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
- Theoretical Computing
- Computer Science, Information Systems
- Algorithmics. Computability. Computer Arithmetics
- Operational Semantic
- Label Transition System
- Life Sciences & Biomedicine
- Biochemical Research Methods
- Biochemistry & Molecular Biology
- Mathematical & Computational Biology
- Process Algebra
- Automata. Abstract Machines. Turing Machines
- Computer Science, Software Engineering
- Software Engineering
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- EZB-NALI5-00465 Elsevier Archive NL
- EBSCOhost Business Source Ultimate
- ACM Digital Library
- IEEE Explore
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
- Wiley Online Library
- Taylor & Francis Journals Complete
- MEDLINE
- Wiley Online Library
- RCN full-text journals@Ovid
- Springer Nature - Connect here FIRST to enable access
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- SpringerLink
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Journal Of Computer Security
- Fundamenta Informaticae
- Lecture Notes In Computer Science
- Foundations Of Security Analysis And Design Ii
- Information And Computation
- Electronic Proceedings In Theoretical Computer Science
- Mathematical Structures In Computer Science
- Acm Computing Surveys