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...Foundations and trends in programming languages, 2016-01, Vol.3 (4), p.231-284
2016
Volltextzugriff (PDF)
ECOOP 2005 - Object-Oriented Programming, 2005, p.577-601
2005
Volltextzugriff (PDF)
SIGPLAN notices, 2009-04, Vol.44 (4), p.45-54
2009
Volltextzugriff (PDF)
Conference on Programming Language Design and Implementation: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation; 10-13 June 2007, 2007, p.456-467
2007
Volltextzugriff (PDF)
ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation; San Diego, CA; USA; 10-13 June 2007, 2007-06, Vol.42 (6), p.456-467
2007
Volltextzugriff (PDF)
International Symposium on Memory Management: Proceedings of the 4th international symposium on Memory management; 24-25 Oct. 2004, 2004, p.13-24
2004
Volltextzugriff (PDF)
Conference on Programming Language Design and Implementation: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation : Ottawa, Ontario, Canada; 11-14 June 2006, 2006, p.341-353
2006
Volltextzugriff (PDF)
Language, Compiler and Tool Support for Embedded Systems: Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems : Chicago, Illinois, USA; 15-17 June 2005, 2005, p.183-192
2005
Volltextzugriff (PDF)
International Conference On Embedded Software: Proceedings of the 5th ACM international conference on Embedded software; 18-22 Sept. 2005, 2005, p.68-78
2005
Volltextzugriff (PDF)
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, 2009, p.45-54
2009
Volltextzugriff (PDF)
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, 2010, p.85-94
2010
Volltextzugriff (PDF)
SIGPLAN notices, 2006, Vol.41 (6), p.341-353
2006
Volltextzugriff (PDF)
SIGPLAN notices, 2005-07, Vol.40 (7), p.183-192
2005
Volltextzugriff (PDF)
SIGPLAN notices, 2005-07, Vol.40 (7), p.183-192
2005
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1946-1969, Article 186
2023
Volltextzugriff (PDF)
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.67-82
2018
Volltextzugriff (PDF)
2018 IEEE Symposium on Security and Privacy (SP), 2018, p.3-18
2018
Volltextzugriff (PDF)
2020 IEEE Symposium on Security and Privacy (SP), 2020, p.1661-1677
2020
Volltextzugriff (PDF)
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.531-548
2019
Volltextzugriff (PDF)
Computer Aided Verification, p.62-83
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-33
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Concurrency
- Synthesis
- Abstract Interpretation
- Computing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
- Software
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Verification
- Applied Sciences
- Computer Science, Information Systems
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Machine Learning
- Software And Its Engineering
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Computer Systems And Distributed Systems. User Interface
Kollektion
- ACM Digital Library Complete
- Ingenta
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- Now Publishers Journals
- Journals@Ovid Complete
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Communications Of The Acm
- Quantum
- Acm Sigplan 2007 Conference On Programming Language Design And Implementation; San Diego, Ca; Usa; 10-13 June 2007
- Acm Transactions On Parallel Computing
- Acm Transactions On Software Engineering And Methodology
- Computer Languages, Systems & Structures
Neu hinzugefügt