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...Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-34
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2012-10, Vol.49 (3), p.363-408
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-03, Vol.62 (3), p.331-365
2019
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2023-03, Vol.45 (1), p.1-43, Article 5
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.718-747, Article 25
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-12, Vol.198 (Proc. ML/OCaml 2014), p.80-97
2015
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018, Vol.2 (ICFP), p.1-30
2018
Volltextzugriff (PDF)
Programming Languages and Systems, 2013, p.41-60
2013
Volltextzugriff (PDF)
Journal of functional programming, 2016-01, Vol.26, Article e23
2016
Volltextzugriff (PDF)
Interactive Theorem Proving, 2015, p.137-153
2015
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.260-286
2017
Volltextzugriff (PDF)
Interactive Theorem Proving, 2010, p.195-210
2010
Volltextzugriff (PDF)
SIGPLAN notices, 2013-08, Vol.48 (8), p.219-228
2013
Volltextzugriff (PDF)
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, 2011, p.418-430
2011
Volltextzugriff (PDF)
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024, p.26-34
2024
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.769-782
2018
Volltextzugriff (PDF)
Parallel Processing and Applied Mathematics, 2018, Vol.10777, p.133-144
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2011-09, Vol.46 (9), p.418-430
2011
Volltextzugriff (PDF)
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, p.82-99
2022
Volltextzugriff (PDF)
Euro-Par 2018: Parallel Processing, 2018, Vol.11014, p.749-763
2018
Volltextzugriff (PDF)
Formal Methods - the Next 30 Years, 2019, Vol.11800, p.484-501
2019
Volltextzugriff (PDF)
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, 2013, p.219-228
2013
Volltextzugriff (PDF)
Companion Proceedings of the The Web Conference 2018, 2018, p.691-699
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2010-09, Vol.45 (9), p.321-332
2010
Volltextzugriff (PDF)
Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, 2019, p.214-228
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Programming Languages
- Computer Science, Theory & Methods
- Separation Logic
- Software
- Applied Sciences
- Computer Science, Artificial Intelligence
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematics
- Granularity Control
- Program Verification
- Theoretical Computing
- Work Stealing
- Binding
- Coq
- Engineering
Kollektion
- ACM Digital Library Complete
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Journals@Ovid Full Text
- Cambridge Journals Online (DEFF)
- Business Source Ultimate
- IEEE Electronic Library Online
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Journal Of Automated Reasoning
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Journal Of Functional Programming