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...Journal of the ACM, 2009-05, Vol.56 (3), p.1-43
2009
Volltextzugriff (PDF)
Computer Aided Verification, p.69-87
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-25
2018
Volltextzugriff (PDF)
Developments in Language Theory, 2006, p.1-13
2006
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2011-11, Vol.33 (5), p.1-45
2011
Volltextzugriff (PDF)
Automata, Languages and Programming, 2001, p.809-820
2001
Volltextzugriff (PDF)
Computer Aided Verification, 2006, p.315-328
2006
Volltextzugriff (PDF)
Formal methods in system design, 2008-06, Vol.32 (3), p.207-234
2008
Volltextzugriff (PDF)
Journal of computer security, 2014-01, Vol.22 (6), p.961-996
2014
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.548-562
2005
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-04, Vol.7 (OOPSLA1), p.143-171, Article 80
2023
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.283-294
2011
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-28
2022
Volltextzugriff (PDF)
Computer Aided Verification, 2012, p.495-512
2012
Volltextzugriff (PDF)
SIGPLAN notices, 2016-04, Vol.51 (1), p.499-512
2016
Volltextzugriff (PDF)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005, p.201-212
2005
Volltextzugriff (PDF)
Conference on Computer and Communications Security: Proceedings of the 14th ACM conference on Computer and communications security; 28-31 Oct. 2007, 2007, p.12-24
2007
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-07, Vol.87 (Proc. FIT 2012), p.34-47
2012
Volltextzugriff (PDF)
Automata, Languages and Programming, 2001, p.396-407
2001
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.1804-1829, Article 220
2024
Volltextzugriff (PDF)
Computer Aided Verification, p.248-262
Volltextzugriff (PDF)
Automata, Languages and Programming, 2005, p.1102-1114
2005
Volltextzugriff (PDF)
Logical methods in computer science, 2013-09, Vol.9, Issue 3
2013
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.611-622
2011
Volltextzugriff (PDF)
Automata, Languages and Programming, 2004, p.122-133
2004
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Computer Science, Information Systems
- Computer Science, Artificial Intelligence
- Theoretical Computing
- Artificial Intelligence
- Computer Systems And Distributed Systems. User Interface
- Software Engineering
- Model Check
- Computer Science, Hardware & Architecture
- Logic
- Memory Organisation. Data Processing
- Concurrent Program
Kollektion
- IngentaConnect Journals
- Springer Book Series
- ACM Digital Library Complete
- EZB Free E-Journals
- IEEE Xplore
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- Springer Nature - Complete Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Applied Soft Computing
- Formal Methods In System Design
- Multimedia Tools And Applications
- Theoretical Computer Science
- Acm Transactions On Computational Logic