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...Automated Technology for Verification and Analysis, p.476-493
Volltextzugriff (PDF)
Coalgebraic Methods in Computer Science, 2018, Vol.11202, p.214-234
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Volltextzugriff (PDF)
CONCUR 2014 – Concurrency Theory, p.451-466
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2021-09, Vol.40 (9), p.1934-1946
2021
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2022-12, Vol.67 (12), p.6896-6903
2022
Volltextzugriff (PDF)
Information and computation, 2017-02, Vol.252, p.110-137
2017
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2021-06, Vol.43 (2), p.1-46, Article 5
2021
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2017, Vol.13, Issue 3
2017
Volltextzugriff (PDF)
Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.44-64
2024
Volltextzugriff (PDF)
Sosei to kakō, 2014, Vol.55 (640), p.435-439
2014
Volltextzugriff (PDF)
Neuroscience letters, 1998-05, Vol.248 (1), p.61-64
1998
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Automation & Control Systems
- Computer Science - Logic In Computer Science
- Computer Science, Hardware & Architecture
- Engineering
- Engineering, Electrical & Electronic
- Games
- Logic
- Probabilistic Logic
- Safety
- Science & Technology - Other Topics
- Simulation
- Specifications
- Adeno-Associated Virus Vector
- Algebra
- Animals
- Annealing
Kollektion
- Ingenta
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- ACM Digital Library
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- MEDLINE
Zeitschrift / Serie
- Logical Methods In Computer Science
- Acm Transactions On Programming Languages And Systems
- Ieee Transactions On Automatic Control
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- Information And Computation
- Logimal Methods In Computer Science
- Neuroscience Letters
- Sosei To Kako/sosei To Kako
- Sosei To Kakō
Neu hinzugefügt