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...Science of computer programming, 2025-01, Vol.239, p.103179, Article 103179
2025
Volltextzugriff (PDF)
1. Aufl., 2010
Volltextzugriff (PDF)
Journal of the ACM, 2020-04, Vol.67 (1), p.1-66
2020
Volltextzugriff (PDF)
ACM transactions on computational logic, 2017-08, Vol.18 (3), p.1-44
2017
Volltextzugriff (PDF)
The International journal of robotics research, 2017-10, Vol.36 (12), p.1312-1340
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2015-12, Vol.17 (1), p.1-51
2015
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.819-828
2018
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.467-481
Volltextzugriff (PDF)
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.13-24
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-01, Vol.240 (Proc. F-IDE 2016), p.67-81
2017
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2014-12, Vol.59 (12), p.3178-3193
2014
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Volltextzugriff (PDF)
Journal of logic and computation, 2010-02, Vol.20 (1), p.309-352
2010
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2022-10, Vol.22 (1), p.1-30, Article 10
2022
Volltextzugriff (PDF)
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.541-550
2012
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2021-10, Vol.20 (5s), p.1-26, Article 93
2021
Volltextzugriff (PDF)
Automated Reasoning, p.15-21
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.115-124
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.505-514
2016
Volltextzugriff (PDF)
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-15
2024
Volltextzugriff (PDF)
Automated Deduction – CADE 27, 2019, p.425-441
2019
Volltextzugriff (PDF)
Runtime Verification, p.199-214
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Science & Technology - Other Topics
- Humans
- Logic
- Hybrid Systems
- Dynamic Logic
- Automation & Control Systems
- Computer Programming / Software Development
- Computer Science, Artificial Intelligence
- Differential Dynamic Logic
- Mathematical Theory Of Computation
- Hybrid System
- Theorem Proving
- Genetics & Heredity
- Molecular Sequence Data
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- MEDLINE
- EZB Electronic Journals Library
- ACM Digital Library
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Complete
- IngentaConnect Journals
- Publisher or Other Site
- Oxford University Press Journals Current
- Wiley Online Library
- Oxford Journals 2020 Medicine
- North East Research Libraries Nature Academic Titles
- Nexis Uni
- Business Source Ultimate
- Wiley Online Library
- SpringerLink
Zeitschrift / Serie
Neu hinzugefügt