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...Electronic proceedings in theoretical computer science, 2022, Vol.372, p.368-383
2022
Volltextzugriff (PDF)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.633-647
2020
Volltextzugriff (PDF)
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.2160-2190, Article 72
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-32
2022
Volltextzugriff (PDF)
On the Feasibility of a Technological Response to the Surveillance Morass (Transcript of Discussion)
2014
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.646-661
2018
Volltextzugriff (PDF)
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.1095-1109
2021
Volltextzugriff (PDF)
Security Protocols XXII, 2014, Vol.8809, p.239-252
2014
Volltextzugriff (PDF)
SIGPLAN notices, 2015-05, Vol.50 (1), p.595-608
2015
Volltextzugriff (PDF)
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015, p.3-14
2015
Volltextzugriff (PDF)
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.595-608
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2018-12, Vol.53 (4), p.646-661
2018
Volltextzugriff (PDF)
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019, p.414-429
2019
Volltextzugriff (PDF)
Communications of the ACM, 2019-10, Vol.62 (10), p.89-99
2019
Volltextzugriff (PDF)
Critical care (London, England), 2024-07, Vol.28 (1), p.240, Article 240
2024
Volltextzugriff (PDF)
Critical care (London, England), 2020-03, Vol.24 (1), p.96-96, Article 96
2020
Volltextzugriff (PDF)
Intensive care medicine experimental, 2019-05, Vol.7 (1), p.28-13, Article 28
2019
Volltextzugriff (PDF)
Gériatrie et psychologie neuropsychiatrie du vieillissement, 2011-05, Vol.9 (2), p.171-177
2011
Volltextzugriff (PDF)
Gériatrie et psychologie neuropsychiatrie du vieillissement, 2011-06, Vol.9 (2), p.171-177
2011
Volltextzugriff (PDF)
Polimery, 2013-05, Vol.58 (5), p.403-412
2013
Volltextzugriff (PDF)
Genetic epidemiology, 2011, Vol.35 (S1), p.S61-S66
2011
Volltextzugriff (PDF)
Psychologie & neuropsychiatrie du vieillissement, 2011-05, Vol.9 (2), p.171-177
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Logic
- Humans
- Aged
- Concurrency
- Critical Care Medicine
- Female
- Game Semantics
- General & Internal Medicine
- Male
- Medical Research
- Mortality
- Program Verification
- Sepsis
- Software And Its Engineering
Kollektion
- ACM Digital Library
- EZB Electronic Journals Library
- MEDLINE
- Ingenta
- Springer journals
- HEAL-Link subscriptions: Springer Book Series
- Standalone journals
- Wiley Online Library Journals
- Ebook Central Perpetual and DDA
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- Wiley Online Library
- Elsevier ScienceDirect Journals
Zeitschrift / Serie