Sortiert nach
Verification, Model Checking, and Abstract Interpretation, p.295-314
Link zum Volltext
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019, p.686-701
2019
Link zum Volltext
IEEE robotics and automation letters, 2024-06, Vol.9 (6), p.1-8
2024
- Link zum Volltext
Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.616-645
2022
Link zum Volltext
IEEE software, 2019-03, Vol.36 (2), p.103-109
2019
- Link zum Volltext
Machine Learning and Knowledge Discovery in Databases, p.233-250
Link zum Volltext
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.1387-1411, Article 203
2024
Link zum Volltext
Parallel computing, 2006-02, Vol.32 (2), p.115-135
2006
Link zum Volltext
Journal of the ACM, 2013-06, Vol.60 (3), p.1-50
2013
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-06, Vol.7 (PLDI), p.1244-1267, Article 157
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-28
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-27
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Link zum Volltext
Journal of functional programming, 2014-11, Vol.24 (6), p.613-674
2014
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34
2018
Link zum Volltext
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022, p.5572-5579
2022
- Link zum Volltext
Journal of automated reasoning, 2019-08, Vol.63 (2), p.489-515
2019
Link zum Volltext
ACM transactions on storage, 2006-11, Vol.2 (4), p.424-448
2006
Link zum Volltext
ACM transactions on programming languages and systems, 2016-01, Vol.38 (2), p.1-72, Article 4
2016
Link zum Volltext
ACM transactions on programming languages and systems, 2014-07, Vol.36 (2), p.1-30, Article 6
2014
Link zum Volltext
Journal of functional programming, 2010-03, Vol.20 (2), p.137-173
2010
Link zum Volltext
Computer Aided Verification, p.3-19
Link zum Volltext
Machine Learning and Knowledge Discovery in Databases, p.235-250
Link zum Volltext
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.707-721
2018
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
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Life Sciences & Biomedicine
- Humans
- Concurrency
- Programming Languages
- Anesthesiology
- Female
- Computer Systems And Distributed Systems. User Interface
- Male
- Engineering
- Theory Of Computation -- Semantics And Reasoning
- Java
Kollektion
- ACM Digital Library
- Ingenta
- SpringerLink Series
- EZB Free E-Journals
- Journals@Ovid Full Text
- IEEE Electronic Library (IEL)
- Wiley Blackwell Single Titles
- MEDLINE
- Wiley Online Library Full Collection 2018
- SpringerLink Journals
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- JSTOR Complete Journals
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Pediatric Anesthesia
- Proceedings Of Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Ieee Transactions On Parallel And Distributed Systems
- Journal Of Parallel And Distributed Computing
- Current Pharmacology Reports
- Journal Of Cellular Physiology
- Lisp And Symbolic Computation
Neu hinzugefügt