Sortiert nach
Journal of the ACM, 2018-09, Vol.65 (5), p.1-68, Article 30
2018
Link zum Volltext
Programming Languages and Systems, p.364-389
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.672-681
2016
Link zum Volltext
Quantitative Evaluation of Systems, p.191-206
Link zum Volltext
ACM transactions on computational logic, 2023-01, Vol.24 (1), p.1-76, Article 1
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-27, Article 136
2020
Link zum Volltext
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.1957-1986, Article 67
2023
Link zum Volltext
Acta informatica, 2019-04, Vol.56 (3), p.255-285
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-30
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-29
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.2052-2082, Article 294
2023
Link zum Volltext
Graph Transformation, p.283-293
Link zum Volltext
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-28
2021
Link zum Volltext
Programming Languages and Systems, p.90-108
Link zum Volltext
Programming Languages and Systems, 2017, Vol.10201, p.611-638
2017
Link zum Volltext
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
- Link zum Volltext
Software Engineering and Formal Methods, p.271-286
Link zum Volltext
Scalable Uncertainty Management, p.290-305
Link zum Volltext
Epilepsia (Copenhagen), 2005-10, Vol.46 (10), p.1654-1660
2005
Link zum Volltext
European Journal of Nuclear Medicine, 2001-05, Vol.28 (5), p.625-632
2001
Link zum Volltext
Journal of neurology, 2001-07, Vol.248 (7), p.585-591
2001
Link zum Volltext
Journal of neurology, 2001-07, Vol.248 (7), p.585-591
2001
Link zum Volltext
Journal of neurology, 2001, Vol.248 (7), p.585-591
2001
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Probabilistic Programs
- Program Verification
- Theory Of Computation
- Logic
- Neurology
- Separation Logic
- Biological And Medical Sciences
- Expected Runtime
- Headache. Facial Pains. Syncopes. Epilepsia. Intracranial Hypertension. Brain Oedema. Cerebral Palsy
- Invariants
- Life Sciences & Biomedicine
- Logic And Verification
- Magnetic Resonance Imaging
- Medical Sciences
- Nervous System
Kollektion
- Ingenta
- Access via ACM Digital Library
- Free E-Journal (出版社公開部分のみ）
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- SpringerNature Journals
- MEDLINE
- IEEE Electronic Library (IEL)
- Wiley Online Library
- Ebook Central Perpetual and DDA
- Access via Business Source (EBSCOhost)
- eBooks on EBSCOhost
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Journal Of Neurology
- Acm Transactions On Computational Logic
- Acta Informatica
- Epilepsia
- Epilepsia : Journal Of The International League Against Epilepsy
- European Journal Of Nuclear Medicine
- European Journal Of Nuclear Medicine And Molecular Imaging
- Journal Of The Acm