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, 2016-11, Vol.229 (Proc. SYNT 2016), p.112-132
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2014-02, Vol.10, Issue 1
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-11, Vol.229 (Proc. SYNT 2016), p.133-148
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-07, Vol.157 (Proc. SYNT 2014), p.34-50
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-11, Vol.260 (Proc. SYNT 2017), p.116-143
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-07, Vol.157 (Proc. SYNT 2014), p.68-83
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.228-241
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-11, Vol.229 (Proc. SYNT 2016), p.149-177
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-02, Vol.202 (Proc. SYNT 2015), p.27-57
2016
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2017, p.247-268
2017
Volltextzugriff (PDF)
Information and computation, 2018-10, Vol.262, p.311-328
2018
Volltextzugriff (PDF)
Acta informatica, 2020-04, Vol.57 (1-2), p.81-106
2020
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.211-227
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-11, Vol.260
2017
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.124-146
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-31
2021
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.499-514
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.291-313
Volltextzugriff (PDF)
Acta informatica, 2020-04, Vol.57 (1-2), p.271-304
2020
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.219-234
Volltextzugriff (PDF)
Computer Aided Verification, p.157-176
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2024-10, Vol.26 (5), p.551-567
- Jacobs, Swen
- Pérez, Guillermo A.
- Abraham, Remco
- Bruyère, Véronique
- Cadilhac, Michaël
- Colange, Maximilien
- Delfosse, Charly
- van Dijk, Tom
- Duret-Lutz, Alexandre
- Faymonville, Peter
- Finkbeiner, Bernd
- Khalimov, Ayrat
- Klein, Felix
- Luttenberger, Michael
- Meyer, Klara
- Michaud, Thibaud
- Pommellet, Adrien
- Renkin, Florian
- Schlehuber-Caissier, Philipp
- Sakr, Mouhammad
- Sickert, Salomon
- Staquet, Gaëtan
- Tamines, Clément
- Tentrup, Leander
- Walker, Adam
2024
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.476-494
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-06, Vol.19 (3), p.367-390
2017
Volltextzugriff (PDF)
Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, 2011, p.278-293
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Humans
- Life Sciences & Biomedicine
- Rheumatology
- Female
- Male
- Middle Aged
- Ultrasonography
- Adult
- Aged
- Logic
- Science & Technology - Other Topics
- Biological And Medical Sciences
- Computer Science, Information Systems
- Medical Sciences
- Model Check
Kollektion
- Ingenta.com
- Springer Book Series
- EZB Electronic Journals Library
- MEDLINE
- Springer Journals
- Journals@Ovid Full Text
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Publisher website
- ACM Digital Library
- Wiley Online Library Journals
- Oxford Journals Online Current
- Oxford Journals 2020 Medicine
- Wiley Online Library
- IEEE Xplore
- BMJ Journals
- Elsevier ScienceDirect Journals Complete
- BMJ Journals Archiv - DFG Nationallizenzen
- De Gruyter journals
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Rheumatology
- Acta Informatica
- Annals Of The Rheumatic Diseases
- Arthritis And Rheumatism
- Arthritis Research & Therapy
- International Journal On Software Tools For Technology Transfer
- Rheumatology
- Clinical Chemistry And Laboratory Medicine