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, 2006-11, Vol.2, Issue 5
2006
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.133-144
2023
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2011, Vol.6695, p.201-215
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.663-665
2022
Volltextzugriff (PDF)
Computer Aided Verification, p.69-87
Volltextzugriff (PDF)
Computer Aided Verification, p.646-662
Volltextzugriff (PDF)
Computer Aided Verification, p.334-342
Volltextzugriff (PDF)
Computer Aided Verification, p.737-744
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.59-70
2005
Volltextzugriff (PDF)
Tests and Proofs, p.69-88
Volltextzugriff (PDF)
2020
Volltextzugriff (PDF)
2020
Volltextzugriff (PDF)
Artificial intelligence, 2016-12, Vol.241, p.45-65
2016
Volltextzugriff (PDF)
Computer Aided Verification, p.88-105
Volltextzugriff (PDF)
The Journal of artificial intelligence research, 2022-01, Vol.74, p.1515-1563
2022
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.252-265
2006
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
- Applied Sciences
- Exact Sciences And Technology
- Physical Sciences
- Computer Science; Control Theory; Systems
- Mathematics, Applied
- Model Check
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
- Computer Science, Artificial Intelligence
- Conjunctive Normal Form
- Software
- Artificial Intelligence
- Engineering
- Software Engineering
Kollektion
- Ingenta E-Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Xplore
- EZB Electronic Journals Library
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid
- Wiley Blackwell Single Titles
- IngentaConnect Journals
- Wiley Online Library
- American Physical Society
- Business Source Ultimate (EBSCOhost)
- 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
- Journal Of Automated Reasoning
- International Journal On Software Tools For Technology Transfer
- Lecture Notes In Computer Science
- Beilstein Journal Of Nanotechnology
- Logical Methods In Computer Science
- Software Testing, Verification & Reliability
- The Journal Of Artificial Intelligence Research