Sortiert nach
Formal methods in system design, 2022-08, Vol.61 (1), p.63-89
2022
Link zum Volltext
1, 2003
Link zum Volltext
2004., 2004
Link zum Volltext
Software and systems modeling, 2024-04, Vol.23 (2), p.285-287
2024
Link zum Volltext
ACM computing surveys, 2017-10, Vol.50 (5), p.1-39, Article 76
2017
Link zum Volltext
Scientific programming, 2016-01, Vol.2016, p.1-9
2016
Link zum Volltext
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.617-636
2021
Link zum Volltext
Journal of physics. D, Applied physics, 2004-08, Vol.37 (15), p.2049-2053
2004
Link zum Volltext
Logical methods in computer science, 2014-12, Vol.10, Issue 4, p.1-29
2014
Link zum Volltext
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.783-802
2022
Link zum Volltext
Journal of automated reasoning, 2019-01, Vol.62 (1), p.93-126
2019
Link zum Volltext
Deductive Software Verification: Future Perspectives, 2020, p.313-338
2020
Link zum Volltext
Acta informatica, 2017-06, Vol.54 (4), p.343-378
2017
Link zum Volltext
Service-Oriented and Cloud Computing, p.143-158
Link zum Volltext
Journal of magnetism and magnetic materials, 2004-12, Vol.283 (2-3), p.409-414
2004
Link zum Volltext
Journal of computer and system sciences, 2012-05, Vol.78 (3), p.823-852
2012
Link zum Volltext
International journal on software tools for technology transfer, 2015-02, Vol.17 (1), p.107-119
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Computer Science
- Humans
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Female
- Male
- Software Engineering
- Exact Sciences And Technology
- Middle Aged
- Applied Sciences
- Computer Science; Control Theory; Systems
- Adult
- Software
- Biological And Medical Sciences
- Aged
- Science & Technology - Other Topics
- Animals
Kollektion
- Ingenta
- Springer Book Series
- EZB Electronic Journals Library
- MEDLINE
- Ovid SocietyJournals and Single Titles
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- NUS Single-Journal Subscriptions
- Wiley Online Library Journals Frontfile Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Access via Oxford University Press
- Oxford Journals 2020 Medicine
- JSTOR
- Nature Journals
- Reference Global
Zeitschrift / Serie
Neu hinzugefügt