Sortiert nach
Computer (Long Beach, Calif.), 2009-10, Vol.42 (10), p.106-109
2009
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2006-10, Vol.39 (10), p.45-55
2006
Volltextzugriff (PDF)
Mediators of Inflammation, 2015-01, Vol.2015 (1), p.536954-536954
2015
Volltextzugriff (PDF)
Trudy Instituta sistemnogo programmirovaniâ, 2018-10, Vol.28 (2), p.205-220
2018
Volltextzugriff (PDF)
1995
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.319-336
Volltextzugriff (PDF)
IT professional, 2023-11, Vol.25 (6), p.94-99
2023
Volltextzugriff (PDF)
IT professional, 2024-01, Vol.26 (1), p.50-56
2024
Volltextzugriff (PDF)
IT professional, 2023-09, Vol.25 (5), p.10-13
2023
Volltextzugriff (PDF)
IT professional, 2022-07, Vol.24 (4), p.74-80
2022
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.856-873
Volltextzugriff (PDF)
2010 35th IEEE Photovoltaic Specialists Conference, 2010, p.001427-001431
2010
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.727-742
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.286-302
Volltextzugriff (PDF)
Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940), 2004, p.95-100
2004
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.46-61
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, p.356-375
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.497-511
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.143-159
Volltextzugriff (PDF)
1st Edition 2021, 2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Software Engineering
- Applied Sciences
- Exact Sciences And Technology
- Computer Science, Artificial Intelligence
- Life Sciences & Biomedicine
- Humans
- Computer Science; Control Theory; Systems
- Software
- Model Check
- Artificial Intelligence
- Formal Methods
- 3d Graphics & Modelling
- Engineering
- Data Structures
Kollektion
- Ingenta Connect
- Springer Book Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Free E-Journals
- MEDLINE
- IEEE Electronic Library (IEL)
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- NUS Single-Journal Subscriptions
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library All Obooks
- ACM Digital Library Complete
- Oxford Journals Current Collection
- Wiley Online Library Full Collection 2018
- Jstor Complete Legacy
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Journal Of Applied Physiology
- Bollettino Della Societa Italiana Di Biologia Sperimentale
- Revista De La Sociedad Entomológica Argentina
- European Journal Of Applied Physiology
- Theoretical Computer Science
- Archives Of Virology
- It Professional
- Bollettino Della Società Italiana Di Biologia Sperimentale
- Internationale Zeitschrift Für Angewandte Physiologie Einschliesslich Arbeitsphysiologie
Neu hinzugefügt