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...ACM transactions on programming languages and systems, 2006-03, Vol.28 (2), p.207-255
2006
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2008-07, Vol.30 (4), p.1-53
2008
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2005-04, Vol.31 (4), p.275-291
2005
Volltextzugriff (PDF)
Theoretical computer science, 2005-06, Vol.338 (1), p.153-183
2005
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-29, Article 156
2020
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, p.262-277
2002
Volltextzugriff (PDF)
Journal of automated reasoning, 2003-05, Vol.30 (3-4), p.271-321
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.116-132
2004
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1999-11, Vol.21 (6), p.1196-1250
1999
Volltextzugriff (PDF)
Science of computer programming, 2008-04, Vol.71 (2), p.89-109
2008
Volltextzugriff (PDF)
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.155-165
2015
Volltextzugriff (PDF)
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009, p.121-133
2009
Volltextzugriff (PDF)
SIGPLAN notices, 2010-06, Vol.45 (6), p.244-254
2010
Volltextzugriff (PDF)
Formal Approaches to Software Testing and Runtime Verification, 2006, p.209-224
2006
Volltextzugriff (PDF)
SIGPLAN notices, 2004-01, Vol.39 (1), p.256-267
2004
Volltextzugriff (PDF)
ECOOP 2013 – Object-Oriented Programming, p.255-280
Volltextzugriff (PDF)
Science of computer programming, 2007, Vol.64 (1), p.140-165
2007
Volltextzugriff (PDF)
SIGPLAN notices, 2008-11, Vol.43 (11), p.50-54
2008
Volltextzugriff (PDF)
SIGPLAN notices, 2008-11, Vol.43 (11), p.45-49
2008
Volltextzugriff (PDF)
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.141-156
2017
Volltextzugriff (PDF)
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2010, p.1-8
2010
Volltextzugriff (PDF)
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, 2005, p.47-58
2005
Volltextzugriff (PDF)
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018, p.354-367
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2009-06, Vol.44 (6), p.121-133
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Concurrency
- Dynamic Analysis
- Software
- Computer Science, Theory & Methods
- Humans
- Theory Of Computation -- Logic
- Atomicity
- General And Reference -- Cross-Computing Tools And Techniques -- Reliability
- Software Engineering
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Reduction
Kollektion
- ACM Digital Library Complete
- IngentaConnect
- EZB Free E-Journals
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Series
- Single Journals
- EBSCOhost Business Source Ultimate
- Journals@Ovid Full Text
- IngentaConnect Journals
- Springer Nature - Complete Springer Journals
- IEEE Xplore
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- Taylor & Francis Journals Complete
- EBSCOhost Psychology and Behavioral Sciences Collection
- Jstor Complete Legacy
- Thieme E-Library
- Taylor & Francis Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Acm Sigplan Notices
- American Journal Of Physiology: Gastrointestinal And Liver Physiology
- Science Of Computer Programming
- Bioorganic & Medicinal Chemistry Letters
- Current Controlled Trials In Cardiovascular Medicine
- Journal Of Applied Physiology
- Trials
- Annals Of Family Medicine
Neu hinzugefügt