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...Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20160331-20160331
2017
Volltextzugriff (PDF)
1, 2013
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-28
2021
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2010-01, Vol.3 (2), p.1-93
2010
Volltextzugriff (PDF)
Proceedings of the 25th Symposium on Operating Systems Principles, 2015, p.18-37
2015
Volltextzugriff (PDF)
Journal of automated reasoning, 2024-09, Vol.68 (3), p.19, Article 19
2024
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, 2024-06, Vol.8 (PLDI), p.1535-1558, Article 209
2024
Volltextzugriff (PDF)
2019 IEEE Symposium on Security and Privacy (SP), 2019, p.1202-1219
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-10, Vol.1 (OOPSLA), p.1-26
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-30
2017
Volltextzugriff (PDF)
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008, p.143-156
2008
Volltextzugriff (PDF)
Operating systems review, 2020-08, Vol.54 (1), p.23-30
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-28
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-30
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Volltextzugriff (PDF)
Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism
2024
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-02, Vol.62 (2), p.193-213
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.320-342, Article 160
2024
Volltextzugriff (PDF)
SIGPLAN notices, 2008-09, Vol.43 (9), p.143-156
2008
Volltextzugriff (PDF)
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.153-165
2015
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.108-124, Article 192
2023
Volltextzugriff (PDF)
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.234-245
2011
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-04, Vol.6 (OOPSLA1), p.1-31
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-29
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
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Interactive Proof Assistants
- Software And Its Engineering
- Dependent Types
- Software
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Pda / Handheld Programming
- Compiler Verification
- Proof Assistants
- Theory Of Computation -- Logic -- Proof Theory
- Formal Verification
Kollektion
- ACM Digital Library
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- IEEE Xplore
- BSC - Ebsco (Business Source Ultimate)
- eBooks on EBSCOhost
- Ovid Full Text Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
- JSTOR All Journals
- Springer Nature
- MEDLINE
- ProQuest Dissertations & Theses A&I
- Elsevier ScienceDirect Journals
- SAGE Journals
Zeitschrift / Serie
- Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Sigplan Notices
- Communications Of The Acm
- Journal Of Automated Reasoning
- Journal Of Functional Programming
- Philosophical Transactions Of The Royal Society Of London. Series A: Mathematical, Physical, And Engineering Sciences
- Acm Sigplan 2007 Conference On Programming Language Design And Implementation; San Diego, Ca; Usa; 10-13 June 2007
- Acm Transactions On Programming Languages And Systems
Neu hinzugefügt