Sortiert nach
1st Edition 2021, 2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-04, Vol.114 (Proc. ACL2 2013), p.70-84
2013
Volltextzugriff (PDF)
IEEE transactions on parallel and distributed systems, 2014-08, Vol.25 (8), p.1935-1944
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-04, Vol.114 (Proc. ACL2 2013), p.111-126
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-10, Vol.70 (Proc. ACL2 2011), p.103-112
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-04, Vol.114 (Proc. ACL2 2013), p.29-41
2013
Volltextzugriff (PDF)
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, p.1568-1573
2018
Volltextzugriff (PDF)
Theoretical computer science, 2012-01, Vol.413 (1), p.87-105
2012
Volltextzugriff (PDF)
Proceedings of the 55th Annual Design Automation Conference, 2018, p.1-6
2018
Volltextzugriff (PDF)
ACM transactions on design automation of electronic systems, 2012-01, Vol.17 (1), p.1-28
2012
Volltextzugriff (PDF)
ACM transactions on design automation of electronic systems, 2012-06, Vol.17 (3), p.1-16
2012
Volltextzugriff (PDF)
Interactive Theorem Proving, p.135-151
Volltextzugriff (PDF)
Journal of automated reasoning, 2012-04, Vol.48 (4), p.419-439
2012
Volltextzugriff (PDF)
IEEE transactions on parallel and distributed systems, 2011-10, Vol.22 (10), p.1775-1776
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-06, Vol.152
2014
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.250-264
Volltextzugriff (PDF)
Theoretical computer science, 2012, Vol.413 (1), p.87-105
2012
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation, p.673-686
Volltextzugriff (PDF)
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015, p.1413-1418
2015
Volltextzugriff (PDF)
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, p.1-6
2014
Volltextzugriff (PDF)
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010, p.1701-1706
2010
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-10, Vol.70, p.1-3
2011
Volltextzugriff (PDF)
Interactive Theorem Proving, p.103-118
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- System Recovery
- Computer Science, Hardware & Architecture
- Routing
- Switches
- Logic
- Formal Methods
- Engineering Sciences
- Fabrics
- Mathematical Model
- Micro And Nanotechnologies
- Microelectronics
- Applied Sciences
- Computer Science, Artificial Intelligence
Kollektion
- Ingenta Connect
- SpringerLink Series
- IEEE Electronic Library Online
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- Elektronische Zeitschriftenbibliothek (Open access)
- Springer Nature - Complete Springer Journals
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Springer Nature - Connect here FIRST to enable access
- Single Journals
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Arxiv
- Acm Transactions On Design Automation Of Electronic Systems
- Eurasip Journal On Embedded Systems
- Ieee Transactions On Parallel And Distributed Systems
- Theoretical Computer Science
- Correct Hardware Design And Verification Methods, Proceedings
- Formal Aspects Of Computing
- Haematologica
- Journal Of Applied Logic