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...Journal of the ACM, 2014-07, Vol.61 (4), p.1-55
2014
Volltextzugriff (PDF)
Theoretical computer science, 2012-01, Vol.413 (1), p.142-159
2012
Volltextzugriff (PDF)
Computer Aided Verification, p.601-620
Volltextzugriff (PDF)
Theoretical computer science, 2013-02, Vol.474, p.60-79
2013
Volltextzugriff (PDF)
Journal of automated reasoning, 2011-02, Vol.46 (2), p.161-203
2011
Volltextzugriff (PDF)
Theoretical computer science, 2013-09, Vol.503, p.115-115
2013
Volltextzugriff (PDF)
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.19-37
2022
Volltextzugriff (PDF)
ACM transactions on computational logic, 2014-11, Vol.15 (4), p.1-41
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.344, p.13-21
2021
Volltextzugriff (PDF)
Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.990-1005
2019
Volltextzugriff (PDF)
Theory and practice of logic programming, 2020-05, Vol.20 (3), p.310-357
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2017-06, Vol.59 (1), p.47-85
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2016-03, Vol.17 (2), p.1-39
2016
Volltextzugriff (PDF)
Static Analysis, p.459-480
Volltextzugriff (PDF)
Science of computer programming, 2015-11, Vol.111, p.483-504
2015
Volltextzugriff (PDF)
Formal Techniques for Distributed Systems, p.273-288
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.42-58
Volltextzugriff (PDF)
ACM transactions on computational logic, 2013-08, Vol.14 (3), p.1-35
2013
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.346-362
2005
Volltextzugriff (PDF)
Science of computer programming, 2013-09, Vol.78 (9), p.1427-1448
2013
Volltextzugriff (PDF)
Computer Aided Verification, p.397-412
Volltextzugriff (PDF)
Static Analysis, p.405-421
Volltextzugriff (PDF)
Software and systems modeling, 2016-10, Vol.15 (4), p.987-1012
2016
Volltextzugriff (PDF)
Science of computer programming, 2014-10, Vol.92, p.2-24
2014
Volltextzugriff (PDF)
Theoretical computer science, 2012, Vol.413 (1), p.142-159
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Cost Analysis
- Static Analysis
- Abstract Interpretation
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Science & Technology - Other Topics
- Resource Analysis
- Theoretical Computing
- Logic Program
- Ranking Function
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Program Point
- Termination Analysis
Kollektion
- Ingenta
- SpringerLink Series
- ACM Digital Library Complete
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- SpringerLink Journals - AutoHoldings
- Journals@Ovid Complete
- IEEE Electronic Library (IEL)
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Acm Transactions On Computational Logic
- Sigplan Notices
- Theoretical Computer Science
- Theory And Practice Of Logic Programming
- Electronic Notes In Theoretical Computer Science
- Science Of Computer Programming
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Journal Of Automated Reasoning
- Journal Of The Acm