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...1st Edition 2021, 2021
Volltextzugriff (PDF)
1st ed. 2020., 2020
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.327-330
2024
Volltextzugriff (PDF)
Future generation computer systems, 2017-03, Vol.68, p.445-455
2017
Volltextzugriff (PDF)
Science of computer programming, 2022-04, Vol.216, p.102780, Article 102780
2022
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2019, p.22-38
Volltextzugriff (PDF)
Science of computer programming, 2016-06, Vol.121 (100--127), p.100-127
2016
Volltextzugriff (PDF)
Journal of systems architecture, 2023-02, Vol.135, p.102798, Article 102798
2023
Volltextzugriff (PDF)
Model and Data Engineering, p.1-3
Volltextzugriff (PDF)
Software and systems modeling, 2017-10, Vol.16 (4), p.1083-1115
2017
Volltextzugriff (PDF)
Journal of software : evolution and process, 2023-07, Vol.35 (7), p.n/a
2023
Volltextzugriff (PDF)
1st ed. 2018., 2018
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2013-01, Vol.12 (1), p.1-25
2013
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, 2021, Vol.12863, p.126-146
2021
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling, p.399-423
Volltextzugriff (PDF)
Computer Science and Information Systems, 2014, Vol.11 (1), p.251-270
2014
Volltextzugriff (PDF)
FM 2012: Formal Methods, 2012, p.68-84
2012
Volltextzugriff (PDF)
Science of computer programming, 2022-06, Vol.218, p.102804, Article 102804
2022
Volltextzugriff (PDF)
International journal of autonomous and adaptive communications systems, 2016, Vol.9 (3/4), p.223
2016
Volltextzugriff (PDF)
Theoretical computer science, 2006-11, Vol.364 (3), p.318-337
2006
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.821-838
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
- Software Engineering
- Event-B
- Logic In Computer Science
- Refinement
- Life Sciences & Biomedicine
- Formal Languages And Automata Theory
- Data Structures And Algorithms
- Logic
- Science & Technology - Other Topics
- Formal Methods
- Humans
- Physics
- Verification
- Computer Science, Interdisciplinary Applications
- Female
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect_期刊（NSTL购买）
- SpringerLink Series
- EZB Electronic Journals Library
- MEDLINE
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Publisher or Other Site
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEL
- Wiley Online Library
- ACM Digital Library
- Wiley Online Library Full Collection 2018
- JSTOR
- APS_美国物理学会期刊
- AIP Journals Complete
Zeitschrift / Serie
- Annals Of Surgical Oncology
- Electronic Proceedings In Theoretical Computer Science
- Hyperfine Interactions
- Bulletin Du Cancer
- Journal Of Clinical Oncology
- Theoretical Computer Science
- Therapie
- Annales D'économie Et De Statistique
- Ifac Proceedings Volumes
- International Journal On Software Tools For Technology Transfer
Neu hinzugefügt