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...1st ed. 2018., 2018
Volltextzugriff (PDF)
Energy Informatics, 2023-12, Vol.6 (1), p.11-1, Article 11
2023
Volltextzugriff (PDF)
Energy Informatics, 2021-09, Vol.4 (Suppl 3), p.21-20, Article 21
2021
Volltextzugriff (PDF)
SoftwareX, 2023-07, Vol.23, p.101484, Article 101484
2023
Volltextzugriff (PDF)
Formal methods in system design, 2017, Vol.50 (2-3), p.289-316
2017
Volltextzugriff (PDF)
25 Years of Model Checking, p.107-138
Volltextzugriff (PDF)
Multimedia tools and applications, 2017-11, Vol.76 (21), p.22169-22194
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.213-228
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.1-26
2018
Volltextzugriff (PDF)
Computer Aided Verification, p.561-579
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.333-342
Volltextzugriff (PDF)
Computer Science Logic, p.170-184
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.871-919
2018
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.1047-1110
2018
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.727-762
2018
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.377-390
Volltextzugriff (PDF)
Theoretical computer science, 2002-10, Vol.288 (1), p.101-128
2002
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.1001-1046
2018
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.963-999
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 1997, p.289-308
1997
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.493-540
2018
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.613-649
2018
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.107-151
2018
Volltextzugriff (PDF)
Handbook of Model Checking, 2018, p.685-725
2018
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Software Engineering
- Mathematical Foundations
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Artificial Intelligence
- Algorithms
- Engineering
- Algorithmus
- Applied Sciences
- Artificial Intelligence
- Computational Complexity
- Computer Communication Networks
- Computer Science; Control Theory; Systems
- Computer Science—mathematics
- Computer Software
- Deep Learning
- Exact Sciences And Technology
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Elsevier ScienceDirect Journals
Zeitschrift / Serie