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)
Lecture Notes in Computer Science, 2023, Vol.14010
1, 2023
Volltextzugriff (PDF)
1st ed. 2020., 2020
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling, p.399-423
Volltextzugriff (PDF)
Model and Data Engineering, 2017, p.137-152
2017
Volltextzugriff (PDF)
IEEE access, 2023-01, Vol.11, p.1-1
2023
Volltextzugriff (PDF)
2022 29th Asia-Pacific Software Engineering Conference (APSEC), 2022, p.129-138
2022
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)
Journal of clinical oncology, 2004-01, Vol.22 (2), p.229-237
2004
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)
Electronic proceedings in theoretical computer science, 2018, Vol.271 (Proc. IMPEX 2017 and FM&MDD 2017), p.64-79
2018
Volltextzugriff (PDF)
Science of computer programming, 2016-06, Vol.121 (100--127), p.100-127
2016
Volltextzugriff (PDF)
2021 Second International Conference on Information Systems and Software Technologies (ICI2ST), 2021, p.46-53
2021
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, 2014, Vol.8803 (part 2), p.604-618
2014
Volltextzugriff (PDF)
Journal of systems architecture, 2023-02, Vol.135, p.102798, Article 102798
2023
Volltextzugriff (PDF)
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
2021
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)
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013, p.104-109
2013
Volltextzugriff (PDF)
Journal of software : evolution and process, 2023-07, Vol.35 (7), p.n/a
2023
Volltextzugriff (PDF)
Journal of Universal Computer Science, 2007, Vol.13 (8), p.1073-1093
2007
Volltextzugriff (PDF)
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
- Computer Science, Artificial Intelligence
- Computer Science, Interdisciplinary Applications
- Event-B
- Logic In Computer Science
- Life Sciences & Biomedicine
- Refinement
- Formal Languages And Automata Theory
- Data Structures And Algorithms
- Logic
- Humans
- Science & Technology - Other Topics
- Formal Methods
- Physics
- Verification
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Springer Book Series
- EZB Free E-Journals
- MEDLINE
- Journals@Ovid Complete
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Publisher website
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore
- Wiley Online Library Journals Frontfile Complete
- ACM Digital Library Complete
- Oxford Journals
- Wiley Online Library Full Collection 2018
- Oxford Journals 2020 Medicine
- Jstor Complete Legacy
Zeitschrift / Serie
Neu hinzugefügt