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...Lecture notes in computer science, 2005, Vol.3569, p.61-75
2005
Volltextzugriff (PDF)
Formal methods in system design, 2020-12, Vol.56 (1-3), p.22-54
2020
Volltextzugriff (PDF)
Formal methods in system design, 2022, Vol.60 (3), p.381-404
2022
Volltextzugriff (PDF)
Formal methods in system design, 2024, Vol.62 (1-3), p.79-118
2024
Volltextzugriff (PDF)
1st ed. 2020., 2020
Volltextzugriff (PDF)
1st ed. 2020., 2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-03, Vol.64 (3), p.533-554
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-03, Vol.64 (3), p.361-362
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2006-11, Vol.2, Issue 5
2006
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.133-144
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.663-665
2022
Volltextzugriff (PDF)
Computer Aided Verification, 2014, p.69-87
2014
Volltextzugriff (PDF)
Computer Aided Verification, 2014, p.646-662
2014
Volltextzugriff (PDF)
Computer Aided Verification, 2014, p.334-342
2014
Volltextzugriff (PDF)
Computer Aided Verification, 2014, p.737-744
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.59-70
2005
Volltextzugriff (PDF)
Artificial intelligence, 2016-12, Vol.241, p.45-65
2016
Volltextzugriff (PDF)
2020
Volltextzugriff (PDF)
2020
Volltextzugriff (PDF)
The Journal of artificial intelligence research, 2022-01, Vol.74, p.1515-1563
2022
Volltextzugriff (PDF)
Computer Aided Verification, 2014, p.88-105
2014
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.252-265
2006
Volltextzugriff (PDF)
26th International Conference on Computer Aided Verification (CAV 2014), Vienna, Austria, Jul. 9-12, 2014., 2014, p.150-166
2014
Volltextzugriff (PDF)
Computer Aided Verification, 2014, p.114-130
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Mathematics
- Exact Sciences And Technology
- Physical Sciences
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics, Applied
- Model Check
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
- Computer Science, Artificial Intelligence
- Software
- Conjunctive Normal Form
- Artificial Intelligence
- Software Engineering
- Engineering
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Electronic Library Online
- EZB Electronic Journals Library
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Online Journals
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Full Text
- Wiley InterScience Journals
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- American Physical Society
- Business Source Ultimate
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- Journal On Satisfiability, Boolean Modeling And Computation
- International Journal On Software Tools For Technology Transfer
- Journal Of Automated Reasoning
- Lecture Notes In Computer Science
- Beilstein Journal Of Nanotechnology
- Discrete Applied Mathematics
- Logical Methods In Computer Science
- Software Testing, Verification & Reliability
Neu hinzugefügt