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...Tools and Algorithms for the Construction and Analysis of Systems, p.811-830
Volltextzugriff (PDF)
Journal of the ACM, 2017-10, Vol.64 (5), p.1-49
2017
Volltextzugriff (PDF)
Journal of computer and system sciences, 2017-09, Vol.88, p.236-259
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-08, Vol.161 (Proc. GandALF 2014), p.260-274
2014
Volltextzugriff (PDF)
Information and computation, 2015-04, Vol.241, p.177-196
2015
Volltextzugriff (PDF)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, p.312-327
Volltextzugriff (PDF)
Information and computation, 2017-06, Vol.254, p.143-166
2017
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.390-402
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.816-827
Volltextzugriff (PDF)
Formal methods in system design, 2019-11, Vol.54 (2), p.191-231
2019
Volltextzugriff (PDF)
Financial Cryptography and Data Security, p.298-316
Volltextzugriff (PDF)
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.195-204
2012
Volltextzugriff (PDF)
CONCUR 2013 – Concurrency Theory, p.500-515
Volltextzugriff (PDF)
Computer Aided Verification, p.353-374
Volltextzugriff (PDF)
Foundations of Software Science and Computational Structures, p.275-289
Volltextzugriff (PDF)
Static Analysis, 2018, Vol.11002, p.86-106
2018
Volltextzugriff (PDF)
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.539-551
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2015-05, Vol.50 (1), p.539-551
2015
Volltextzugriff (PDF)
Chest, 2004-10, Vol.126 (4), p.811S-811S
2004
Volltextzugriff (PDF)
Chest, 2004-10, Vol.126 (4), p.726S-726S
2004
Volltextzugriff (PDF)
Chest, 2004-10, Vol.126 (4), p.908S-908S
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Mathematics
- Science & Technology - Other Topics
- Complexity
- Complexity Theory
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Engineering
- Game Graph
- Mathematics, Applied
- Mean-Payoff Objectives
- Physical Sciences
- Polynomials
- Theory Of Computation
- Theory Of Computation -- Formal Languages And Automata Theory
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- EZB Electronic Journals Library
- ACM Digital Library Complete
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- Single Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE/IET Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- SpringerLink Journals - AutoHoldings