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, 2022-06, Vol.18, Issue 2
2022
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2011, Vol.33 (2), p.1-45
2011
Volltextzugriff (PDF)
Logical methods in computer science, 2011-01, Vol.7, Issue 1 (1), p.11
2011
Volltextzugriff (PDF)
Logical methods in computer science, 2009-01, Vol.5, Issue 2 (2), p.16:1
2009
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-30
2020
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2018-01, Vol.94, p.1-14
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-01, Vol.56 (1), p.1-47
2016
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.125-137
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.125-137
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-05
2017
Volltextzugriff (PDF)
Programming Languages and Systems, 2016, Vol.9632, p.532-559
2016
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.316-331
2016
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, 2009, p.99-114
2009
Volltextzugriff (PDF)
2008 21st IEEE Computer Security Foundations Symposium, 2008, p.17-32
2008
Volltextzugriff (PDF)
Interactive Theorem Proving, 2012, p.315-331
2012
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2011-01, Vol.33 (2)
2011
Volltextzugriff (PDF)
2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009, p.39-48
2009
Volltextzugriff (PDF)
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014, p.1-1
2014
Volltextzugriff (PDF)
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, p.178-198
2021
Volltextzugriff (PDF)
2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010, p.322-331
2010
Volltextzugriff (PDF)
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2007, Vol.4423, p.63-77
2007
Volltextzugriff (PDF)
Interactive Theorem Proving, 2011, p.22-38
2011
Volltextzugriff (PDF)
Automata, Languages and Programming, PT 2, 2008, p.87
2008
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-10, Vol.192 (1), p.61-75
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Datavetenskap
- Information Technology
- Informationsteknik
- Teknikvetenskap
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Cryptography
- Logic
- Separation Logic
- Animals
- Calculus
- Computer Science - Logic In Computer Science
- Concurrency
- Iris
- Message Passing
- Pi-Calculus
Kollektion
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink_现刊
- MEDLINE
- IEEE Electronic Library Online
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Journals@Ovid Ovid Full Text
- NUS Single-Journal Subscriptions
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Nexis Uni
- Nature Journals
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Logical Methods In Computer Science
- Acm Transactions On Programming Languages And Systems
- Cancer Research
- Electronic Notes In Theoretical Computer Science
- Rsc Advances
- Journal Of Automated Reasoning
- Journal Of Logical And Algebraic Methods In Programming
- Nature Communications
- Plos One