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...Information and computation, 2016-06, Vol.248, p.130-149
2016
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.270-286
2003
Volltextzugriff (PDF)
SOFSEM 2015: Theory and Practice of Computer Science, p.603-614
Volltextzugriff (PDF)
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.135-154
2018
Volltextzugriff (PDF)
Automated Reasoning, 2006, p.619-631
2006
Volltextzugriff (PDF)
Mathematical Foundations of Computer Science 2011, p.219-230
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.130-146
2004
Volltextzugriff (PDF)
Interactive Theorem Proving, p.450-465
Volltextzugriff (PDF)
Logical methods in computer science, 2008-09, Vol.4, Issue 3
2008
Volltextzugriff (PDF)
Formal Methods for Components and Objects, p.278-297
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, p.346-355
1998
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2011-02, Vol.264 (4), p.19-34
2011
Volltextzugriff (PDF)
Rewriting, Computation and Proof, p.113-131
Volltextzugriff (PDF)
Proceedings of the 12th International Conference on Computer Systems and Technologies, 2011, p.69-74
2011
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.216-234
2006
Volltextzugriff (PDF)
Software Engineering Techniques: Design for Quality, p.337-348
Volltextzugriff (PDF)
Software Engineering Techniques: Design for Quality, p.361-371
Volltextzugriff (PDF)
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012, p.901-906
2012
Volltextzugriff (PDF)
Aequationes mathematicae, 2019-02, Vol.93 (1), p.277-297
2019
Volltextzugriff (PDF)
Publicationes mathematicae (Debrecen), 2018-01, Vol.93 (1-2), p.87-105
2018
Volltextzugriff (PDF)
BMC cancer, 2023-11, Vol.23 (1), p.1-1110, Article 1110
2023
Volltextzugriff (PDF)
Computational Science – ICCS 2008, p.903-912
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics, Applied
- Proof Assistant
- Software
- Theoretical Computing
- Computer Science, Artificial Intelligence
- Critical Pair
- Function Symbol
- Logical, Boolean And Switching Functions
- Analysis
- C-Relaxed Polygonal Inequality
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Xplore (IEEE/IET Electronic Library - IEL)
- Elsevier ScienceDirect Journals Complete
- Publisher or Other Site
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library - AutoHoldings Journals
- ACM Digital Library Complete
- IngentaConnect Journals
- Wiley Online Library
- Nexis Uni
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access