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...Interactive Theorem Proving, p.2-2
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.516-531
Volltextzugriff (PDF)
Theoretical computer science, 2012-01, Vol.413 (1), p.87-105
2012
Volltextzugriff (PDF)
Theoretical computer science, 2012, Vol.413 (1), p.87-105
2012
Volltextzugriff (PDF)
Interactive Theorem Proving, p.216-232
Volltextzugriff (PDF)
Logic Gates, Circuits, Processors, Compilers and Computers, 2021
2021
Volltextzugriff (PDF)
Logic Gates, Circuits, Processors, Compilers and Computers, 2021
2021
Volltextzugriff (PDF)
Logic Gates, Circuits, Processors, Compilers and Computers, 2021
2021
Volltextzugriff (PDF)
Logic Gates, Circuits, Processors, Compilers and Computers, 2021
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, p.200-215
Volltextzugriff (PDF)
- Adrymi, Vassiliki
- Alexandrou, Stamatia
- Bourgeois, Brigitte
- Bülow-Jacobsen, Adam
- Cardon, Dominique
- Cavassa, Laëtitia
- Chankowski, Véronique
- Farra-Haddad, Nour
- Fauquet, Fabricia
- Grand-Clément, Adeline
- Guimier-Sorbets, Anne-Marie
- Ignatiadou, Despina
- Jockey, Philippe
- Julien, Pascal
- Kokkorou-Alevras, Georgia
- Koren, Zvi C
- Kravaritou, Sofia
- Kusyk, Katarzyna
- Liverani, Paolo
- Manfrini, Ivonne
- Marcinowska, Renata
- Mulliez, Maud
- Nenna, Marie-Dominique
- Nikolaou, Elissavet
- Nowik, Witold
- Rouveret, Agnès
- Schmaltz, Bernhard
- Steingräber, Stephan
- Tolis, Nikolaos
- Trojanowicz, Marek
- Tsoucaris, Georges
- Valeva, Julia
- Van Elslande, Elsa
- Walter, Philippe
- Walter-Karydi, Elena
- Welcomme, Elisabetta
2018
Volltextzugriff (PDF)
1, 2018
Volltextzugriff (PDF)
Logic Gates, Circuits, Processors, Compilers and Computers, 2021, p.99-130
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, p.312-324
Volltextzugriff (PDF)
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, p.1413-1418
2015
Volltextzugriff (PDF)
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015, p.1413-1418
2015
Volltextzugriff (PDF)
2012 IEEE International High Level Design Validation and Test Workshop (HLDVT), 2012, p.25-32
2012
Volltextzugriff (PDF)
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, p.1568-1573
2018
Volltextzugriff (PDF)
Proceedings of the Fifth ACM/IEEE International Symposium, 2011, p.25-32
2011
Volltextzugriff (PDF)
Journal of applied logic, 2010-03, Vol.8 (1), p.141-150
2010
Volltextzugriff (PDF)
Logic Gates, Circuits, Processors, Compilers and Computers, 2021, p.1-22
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, p.18-21
Volltextzugriff (PDF)
IEEE transactions on parallel and distributed systems, 2011-10, Vol.22 (10), p.1775-1776
2011
Volltextzugriff (PDF)
Logic Gates, Circuits, Processors, Compilers and Computers, 2021, p.131-148
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, p.370-375
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
- Routing
- Computer Science, Hardware & Architecture
- Switches
- Logic
- Formal Methods
- Engineering Sciences
- Fabrics
- Mathematical Model
- Micro And Nanotechnologies
- Microelectronics
- Applied Sciences
- Computer Networks
Kollektion
- Connected Ingenta
- HEAL-Link subscriptions: Springer Book Series
- IEEE Xplore Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- ACM Digital Library
- SpringerNature Journals
- IngentaConnect Journals
- Access via ScienceDirect (Elsevier)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Nature_系列刊
- Publisher website
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Ieee Transactions On Parallel And Distributed Systems
- Acm Transactions On Design Automation Of Electronic Systems
- Eurasip Journal On Embedded Systems
- Journal Of Cosmology And Astroparticle Physics
- Theoretical Computer Science
- Correct Hardware Design And Verification Methods, Proceedings
- Formal Aspects Of Computing
- Haematologica
- Journal Of Applied Logic