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 ed. 2020., 2020
Volltextzugriff (PDF)
1, 2020
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2019-06, Vol.21 (3), p.267-286
2019
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2019-06, Vol.21 (3), p.267-286
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-02, Vol.80 (Proc. MBT 2012), p.13-27
2012
Volltextzugriff (PDF)
Proceedings of the IEEE, 2010-04, Vol.98 (4), p.526-545
2010
Volltextzugriff (PDF)
2018 Annual Reliability and Maintainability Symposium (RAMS), 2018, p.1-6
2018
Volltextzugriff (PDF)
Software quality journal, 2018-12, Vol.26 (4), p.1483-1518
2018
Volltextzugriff (PDF)
1st Edition 2020, 2020
Volltextzugriff (PDF)
Automated software engineering, 2013-09, Vol.20 (3), p.339-390
2013
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, 2020, Vol.12234, p.298-306
2020
Volltextzugriff (PDF)
Software and systems modeling, 2019-02, Vol.18 (1), p.585-630
2019
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024, p.160-172
2024
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, 2020, Vol.12232, p.368-379
- Bernardo, Bruno
- Cauderlier, Raphaël
- Hu, Zhenlei
- Pesin, Basile
- Tesson, Julien
- Farrell, Marie
- Ratiu, Daniel
- Astarte, Troy
- Marmsoler, Diego
- Guidotti, Riccardo
- Moreira, Nelma
- Campos, José
- Sekerinski, Emil
- Luckcuck, Matt
- Oliveira, José N
- Oliveira, José N.
- Dongol, Brijesh
- Couto, Luis
- Cerone, Antonio
- Monteiro, Pedro
- Kutrib, Martin
- Gonnord, Laure
- Delmas, David
2020
Volltextzugriff (PDF)
1. Aufl., 2012
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, 2016, Vol.9923, p.30-42
2016
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, 2016, Vol.9923, p.322-333
2016
Volltextzugriff (PDF)
Models in Software Engineering, 2009, p.205-219
2009
Volltextzugriff (PDF)
Proceedings of the IEEE, 2010, Vol.98 (4), p.526-545
2010
Volltextzugriff (PDF)
ACM SIGAda Ada Letters, 2014-11, Vol.34 (3), p.13-16
2014
Volltextzugriff (PDF)
Advances in Conceptual Modeling – Applications and Challenges, 2010, p.222-231
2010
Volltextzugriff (PDF)
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019, p.598-604
2019
Volltextzugriff (PDF)
Software Language Engineering, 2011, p.62-81
2011
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, 2020, Vol.12233, p.254-271
- Macedo, Hugo Daniel
- Rasmussen, Mikkel Bayard
- Thule, Casper
- Larsen, Peter Gorm
- Farrell, Marie
- Ratiu, Daniel
- Astarte, Troy
- Marmsoler, Diego
- Guidotti, Riccardo
- Moreira, Nelma
- Campos, José
- Sekerinski, Emil
- Luckcuck, Matt
- Oliveira, José N
- Oliveira, José N.
- Dongol, Brijesh
- Couto, Luis
- Cerone, Antonio
- Monteiro, Pedro
- Kutrib, Martin
- Gonnord, Laure
- Delmas, David
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Formal Methods
- Software Engineering
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Engineering
- Humans
- Embedded Systems
- Physical Sciences
- Computer Languages
- Programming Profession
- Software
- Java
- Software Engineering/programming And Operating Systems
- Testing
- Computers
- Domain Specific Languages
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta E-Journals
- SpringerLink Series
- IEEE Electronic Library Online
- EZB Electronic Journals Library
- ACM Digital Library
- IngentaConnect Journals
- MEDLINE
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library
- BSC - Ebsco (Business Source Ultimate)
- Wiley Online Library
- Emerald Management 200
- De Gruyter journals
- Taylor & Francis Online
Zeitschrift / Serie
- Studia Universitatis Babeș-Bolyai. Chemia
- Health And Quality Of Life Outcomes
- International Journal On Software Tools For Technology Transfer
- Pediatric Critical Care Medicine
- Proceedings Of The Ieee
- Acm Sigada Ada Letters
- Advances In Mathematics
- Automated Software Engineering
- Baltic Journal Of Management
- Carpathian Journal Of Mathematics
Neu hinzugefügt