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...Information and computation, 2015-04, Vol.241, p.177-196
2015
Volltextzugriff (PDF)
Computer Aided Verification, 2009, p.263-277
2009
Volltextzugriff (PDF)
Machine learning, 2022-10, Vol.111 (10), p.3797-3838
2022
Volltextzugriff (PDF)
Acta informatica, 2017-02, Vol.54 (1), p.41-83
2017
Volltextzugriff (PDF)
Formal methods in system design, 2017-06, Vol.50 (2-3), p.207-248
2017
Volltextzugriff (PDF)
Information and computation, 2017-06, Vol.254, p.259-295
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2024-04, Vol.25 (2), p.1-49, Article 14
2024
Volltextzugriff (PDF)
Information and computation, 2015-06, Vol.242, p.25-52
2015
Volltextzugriff (PDF)
Information and computation, 2021-06, Vol.278, p.104594, Article 104594
2021
Volltextzugriff (PDF)
Journal of computer and system sciences, 2019-12, Vol.106, p.1-22
2019
Volltextzugriff (PDF)
Acta informatica, 2014-06, Vol.51 (3-4), p.129-163
2014
Volltextzugriff (PDF)
International journal of foundations of computer science, 2020-09, Vol.31 (6), p.711-748
2020
Volltextzugriff (PDF)
Theoretical computer science, 2018-07, Vol.735, p.82-110
2018
Volltextzugriff (PDF)
Formal methods in system design, 2011-12, Vol.39 (3), p.261-296
2011
Volltextzugriff (PDF)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.335-344
2010
Volltextzugriff (PDF)
Information and computation, 2021-02, Vol.276, p.104553, Article 104553
2021
Volltextzugriff (PDF)
Journal of computer and system sciences, 2018-11, Vol.97, p.147-181
2018
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.426-442
Volltextzugriff (PDF)
Information and computation, 2017-06, Vol.254, p.296-315
2017
Volltextzugriff (PDF)
Acta informatica, 2017-02, Vol.54 (1), p.3-39
2017
Volltextzugriff (PDF)
Acta informatica, 2018-12, Vol.55 (8), p.627-647
2018
Volltextzugriff (PDF)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.195-208
2020
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.1-18
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-06, Vol.19 (3), p.367-390
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software Engineering
- Logic
- Computer Programming / Software Development
- Science & Technology - Other Topics
- Network Hardware
- Automation & Control Systems
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Model Check
- Winning Strategy
- Temporal Logic
- Mathematics
- Software
- Physical Sciences
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- Journals@Ovid Full Text
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- IngentaConnect Journals
- EBSCOhost Business Source Ultimate
- Oxford Journals
- Oxford Journals 2020 Medicine
- Springer Nature - Connect here FIRST to enable access
- American Institute of Physics (AIP) Journals
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Information And Computation
- Acta Informatica
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Logical Methods In Computer Science
- Formal Methods In System Design
- Acm Transactions On Computational Logic
- Electronic Notes In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Theoretical Computer Science