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...IEEE transactions on computer-aided design of integrated circuits and systems, 2007-03, Vol.26 (3), p.497-507
2007
Volltextzugriff (PDF)
BMC bioinformatics, 2017-02, Vol.18 (1), p.124-124, Article 124
2017
Volltextzugriff (PDF)
BMC bioinformatics, 2015-03, Vol.16 (1), p.99-99, Article 99
2015
Volltextzugriff (PDF)
Robotics and autonomous systems, 2017-06, Vol.92, p.139-151
2017
Volltextzugriff (PDF)
Neurosurgical focus, 2017-05, Vol.42 (5), p.E8-E8
2017
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2019-09, Vol.15 (3-4), p.307-323
2019
Volltextzugriff (PDF)
The Journal of artificial intelligence research, 2006-01, Vol.26, p.371-416
2006
Volltextzugriff (PDF)
NASA Formal Methods, p.153-169
Volltextzugriff (PDF)
International journal for computer assisted radiology and surgery, 2017-10, Vol.12 (10), p.1727-1738
2017
Volltextzugriff (PDF)
AIIA 2016 Advances in Artificial Intelligence, p.525-538
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2010, p.85-98
Volltextzugriff (PDF)
NASA Formal Methods, 2018, Vol.10811, p.383-398
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2010-12, Vol.45 (4), p.397-414
2010
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.494-497
2006
Volltextzugriff (PDF)
Ai communications, 2009-01, Vol.22 (4), p.191-210
2009
Volltextzugriff (PDF)
Artificial intelligence, 2003-04, Vol.145 (1), p.99-120
2003
Volltextzugriff (PDF)
Formal Methods in Computer-Aided Design, 2004, p.201-213
2004
Volltextzugriff (PDF)
Journal on satisfiability, Boolean modeling and computation, 2010-08, Vol.7 (2-3), p.83-88
2010
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.25-36
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.260-273
2004
Volltextzugriff (PDF)
Automated Reasoning, 2001, p.364-369
2001
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, Vol.3542, p.376-392
2005
Volltextzugriff (PDF)
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), 2019, p.363-366
2019
Volltextzugriff (PDF)
AIIA 2007: Artificial Intelligence and Human-Oriented Computing, p.97-108
Volltextzugriff (PDF)
2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET), 2019, p.13-16
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Boolean Formula
- Engineering
- Life Sciences & Biomedicine
- Logical, Boolean And Switching Functions
- Theoretical Computing
- Computer Science, Software Engineering
- Conjunctive Normal Form
- Engineering, Electrical & Electronic
- Seeg
- Software
- Automated Reasoning
Kollektion
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- SpringerLink Journals (MCLS)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- EBSCOhost Business Source Ultimate
- eBooks on EBSCOhost
- IngentaConnect Journals
- Journals@Ovid
Zeitschrift / Serie
- Bmc Bioinformatics
- Journal On Satisfiability, Boolean Modeling And Computation
- Ai Communications
- Analytical Methods
- Artificial Intelligence
- Electronic Notes In Discrete Mathematics
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- Innovations In Systems And Software Engineering
- International Journal For Computer Assisted Radiology And Surgery
- International Journal Of Computer Assisted Radiology And Surgery