Sortiert nach
Journal of applied volcanology, 2014-12, Vol.3 (1), p.7-8, Article 7
2014
Volltextzugriff (PDF)
Royal Society open science, 2016-04, Vol.3 (4), p.150688-150688
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-06, Vol.64 (5), p.857-877
2020
Volltextzugriff (PDF)
Computers & geosciences, 2022-01, Vol.158, p.104947, Article 104947
2022
Volltextzugriff (PDF)
IEEE/ACM transactions on networking, 2024-04, Vol.32 (2), p.1-16
2024
Volltextzugriff (PDF)
Software Verification and Formal Methods for ML-Enabled Autonomous Systems, p.67-77
Volltextzugriff (PDF)
Journal of parallel and distributed computing, 2022-06, Vol.164, p.168-177
2022
Volltextzugriff (PDF)
Gondwana research, 2021-04, Vol.92, p.102-112
2021
Volltextzugriff (PDF)
2018 IEEE 26th International Conference on Network Protocols (ICNP), 2018, p.335-345
2018
Volltextzugriff (PDF)
Interactive Theorem Proving, 2018, Vol.10895, p.623-639
2018
Volltextzugriff (PDF)
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023, p.102-120
2023
Volltextzugriff (PDF)
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018, p.103-116
2018
Volltextzugriff (PDF)
Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, 2021, p.1-13
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Agda
- Geology
- Physical Sciences
- Algebra
- Algorithms
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Convergence
- Data Processing
- Engineering
- Engineering, Electrical & Electronic
- Formal Verification
- Geochronology
- Geosciences, Multidisciplinary
- Igneous And Metamorphic Petrology
- Igneous Rocks
Kollektion
- Ingenta
- Association for Computing Machinery
- ScienceDirect journals Piacenza
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- EZB Electronic Journals Library
- IEEE Xplore
- Springer Book Series (Lecture Notes)
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access