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...Lecture notes in computer science, 2005, p.93-107
2005
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2015-06, Vol.37 (3), p.1-49, Article 10
2015
Volltextzugriff (PDF)
Computer Aided Verification, p.184-190
Volltextzugriff (PDF)
Logical methods in computer science, 2011, Vol.7, Issue 4 (4), p.4:1
2011
Volltextzugriff (PDF)
Computer Aided Verification, p.585-591
Volltextzugriff (PDF)
Computer Aided Verification, p.171-177
Volltextzugriff (PDF)
Computer Aided Verification, p.379-395
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2012-06, Vol.14 (3), p.291-305
2012
Volltextzugriff (PDF)
Computer Aided Verification, p.243-259
Volltextzugriff (PDF)
2012 39th Annual International Symposium on Computer Architecture (ISCA), 2012, p.201-212
2012
Volltextzugriff (PDF)
Computer Aided Verification, p.463-469
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, p.440-451
1998
Volltextzugriff (PDF)
Computer Aided Verification, p.703-719
Volltextzugriff (PDF)
ACM SIGPLAN Notices, 2007-06, Vol.42 (6), p.446-455
2007
Volltextzugriff (PDF)
Static Analysis, p.333-356
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.420-434
Volltextzugriff (PDF)
Conference on Programming Language Design and Implementation: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation : San Diego, California, USA; 10-13 June 2007, 2007, p.446-455
2007
Volltextzugriff (PDF)
Computer Aided Verification, p.470-485
Volltextzugriff (PDF)
Runtime Verification, p.3-7
Volltextzugriff (PDF)
Computer Aided Verification, p.349-355
Volltextzugriff (PDF)
Computer Aided Verification, p.333-348
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2022-06, Vol.44 (2), p.1-39, Article 12
2022
Volltextzugriff (PDF)
Runtime Verification, p.214-228
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
- Software
- Model Check
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Concurrent Program
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Verification
- Model Checking
- Concurrency
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Computer Systems And Distributed Systems. User Interface
- Programming Languages
- Atomicity
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- SpringerLink Journals - AutoHoldings
- EBSCOhost Business Source Ultimate
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Computer Architecture News
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Electronic Notes In Theoretical Computer Science
- Acm Transactions On Design Automation Of Electronic Systems
- Communications Of The Acm
- Conference Record Of Popl 2002 : The 29th Acm Sigplan-Sigact Symposium On Principles Of Programming Languages : Papers Presented At The Symposium, Portland, Oregon, 16-18 January 2002