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...Algorithms, 2018-09, Vol.11 (9), p.131
2018
Volltextzugriff (PDF)
1, 2011
Volltextzugriff (PDF)
1, 2013
Volltextzugriff (PDF)
Scientific Annals of Computer Science, 2013-01, Vol.23 (1), p.39-73
2013
Volltextzugriff (PDF)
Formal Methods, 2023, Vol.14000, p.263-281
2023
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2023, Vol.13910, p.132-151
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.63-78
2015
Volltextzugriff (PDF)
BioSystems, 2014-10, Vol.124, p.75-85
2014
Volltextzugriff (PDF)
Fundamenta informaticae, 2009, Vol.95 (1), p.157-186
2009
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.79-94
2015
Volltextzugriff (PDF)
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2021, Vol.33 (1), p.1-2
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-03, Vol.206 (Proc. FMSPLE 2016), p.61-75
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-04, Vol.182 (Proc. FMSPLE 2015), p.14-30
2015
Volltextzugriff (PDF)
Formal Methods, 2018, Vol.10951, p.329-337
2018
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, p.856-873
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-07, Vol.58 (Proc. FOCLASA 2011), p.65-79
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.387, p.42-58
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.1-18
2011
Volltextzugriff (PDF)
Formal aspects of computing, 2012-03, Vol.24 (2), p.187-216
2012
Volltextzugriff (PDF)
From Software Engineering to Formal Methods and Tools, and Back, 2019, Vol.11865, p.449-463
2019
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Model Check
- Mathematical & Computational Biology
- Biochemical Research Methods
- Biochemistry & Molecular Biology
- Computer Science, Information Systems
- Applied Sciences
- Exact Sciences And Technology
- Bioinformatics
- Computer Science; Control Theory; Systems
- Model Checking
- Software Engineering
- Theory Of Computation
- Bisimulation
- Formal Methods
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- SpringerLink Journals - AutoHoldings
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- IEEE Xplore
- Nature
- SAGE Journals Online
- Journals@Ovid Full Text
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Scientific Annals Of Computer Science
- Algorithms
- American Journal Of Physiology. Heart And Circulatory Physiology
- Biosystems
- Cancer Cell
- Fundamenta Informaticae
Neu hinzugefügt