Sortiert nach
Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Link zum Volltext
Innovations in systems and software engineering, 2022-09, Vol.18 (3), p.385-403
2022
Link zum Volltext
Innovations in systems and software engineering, 2023, Vol.19 (2), p.227-229
2023
Link zum Volltext
Formal methods in system design, 2021, Vol.58 (1-2), p.42-82
2021
Link zum Volltext
Innovations in systems and software engineering, 2022-09, Vol.18 (3), p.347-367
2022
Link zum Volltext
PLoS computational biology, 2018-04, Vol.14 (4), p.e1006109-e1006109
2018
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-9
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Acta informatica, 2020-10, Vol.57 (3-5), p.465-512
2020
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022 (A56), p.1-13
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-14
2022
Link zum Volltext
1st Edition 2018, 2018
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-12
2022
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.692-707
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-11
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-12
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-14
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-14
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-12
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Software Engineering
- Software
- Software Engineering
- Theory Of Computation
- Model Check
- Computer Systems And Distributed Systems. User Interface
- Theoretical Computing
- Markov Decision Process
- Computer Programming / Software Development
- Mathematics
- Algorithms & Data Structures
- Theory Of Computation -- Logic
- Computer Science, Information Systems
Kollektion
- IngentaConnect_期刊（NSTL购买）
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- IEEE Xplore Digital Library
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Journals@Ovid Full Text
- MEDLINE
- BSC - Ebsco (Business Source Ultimate)
- Thieme - Connect here FIRST to enable access
- Wiley Online Library Journals
- Cambridge Journals Online (DEFF)
- De Gruyter journals
- Wiley Online Library
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Acta Informatica
- Theoretical Computer Science
- Information Processing Letters
- Electronic Proceedings In Theoretical Computer Science
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Information And Computation
- Innovations In Systems And Software Engineering
Neu hinzugefügt