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...Mobile information systems, 2016-01, Vol.2016 (2016), p.1-18
2016
Volltextzugriff (PDF)
Information and computation, 2018-04, Vol.259, p.72-101
2018
Volltextzugriff (PDF)
Information and computation, 2009-02, Vol.207 (2), p.194-208
2009
Volltextzugriff (PDF)
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Volltextzugriff (PDF)
NASA Formal Methods, p.112-126
Volltextzugriff (PDF)
Logical methods in computer science, 2015-03, Vol.11, Issue 1
2015
Volltextzugriff (PDF)
Information and computation, 2021-08, Vol.279, p.104618, Article 104618
2021
Volltextzugriff (PDF)
Theoretical computer science, 2021-10, Vol.890, p.125-146
2021
Volltextzugriff (PDF)
Language and Automata Theory and Applications, p.115-127
Volltextzugriff (PDF)
Science of computer programming, 2014-02, Vol.81, p.53-78
2014
Volltextzugriff (PDF)
ACM transactions on privacy and security, 2023-02, Vol.26 (1), p.1-41, Article 4
2023
Volltextzugriff (PDF)
ACM transactions on privacy and security, 2020-02, Vol.23 (1), p.1-41
2020
Volltextzugriff (PDF)
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, p.436-450
2017
Volltextzugriff (PDF)
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, p.319-31915
2019
Volltextzugriff (PDF)
ACM transactions on privacy and security, 2021-08, Vol.24 (3), p.1-40
2021
Volltextzugriff (PDF)
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020, p.246-261
2020
Volltextzugriff (PDF)
International journal of critical infrastructure protection, 2024-12, Vol.47, p.100717, Article 100717
2024
Volltextzugriff (PDF)
Theoretical computer science, 2011-11, Vol.412 (47), p.6585-6611
2011
Volltextzugriff (PDF)
Formal aspects of computing, 2013-09, Vol.25 (5), p.801-832
2013
Volltextzugriff (PDF)
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-16
2021
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2018, Vol.10854, p.58-78
2018
Volltextzugriff (PDF)
Acta informatica, 2010-03, Vol.47 (2), p.111-132
2010
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, p.75-94
Volltextzugriff (PDF)
Information and computation, 2009, Vol.207 (2), p.194-208
2009
Volltextzugriff (PDF)
Integrated Formal Methods, 2018, Vol.11023, p.296-315
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Theoretical Computing
- Mathematics
- Process Calculus
- Mathematics, Applied
- Physical Sciences
- Algorithmics. Computability. Computer Arithmetics
- Operational Semantic
- Label Transition System
- Programming Languages
- Calculus
- Semantics
Kollektion
- IngentaConnect
- SpringerLink Series
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Complete Springer Journals
- EBSCOhost Business Source Ultimate
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Information And Computation
- Electronic Notes In Theoretical Computer Science
- Acm Transactions On Privacy And Security
- Theoretical Computer Science
- Acta Informatica
- Brics Report Series
- Logical Methods In Computer Science
- Acm Transactions On Programming Languages And Systems
- Conference Record Of Popl 2002 : The 29th Acm Sigplan-Sigact Symposium On Principles Of Programming Languages : Papers Presented At The Symposium, Portland, Oregon, 16-18 January 2002
- Formal Aspects Of Computing
Neu hinzugefügt