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...Graefe's archive for clinical and experimental ophthalmology, 2021-09, Vol.259 (9), p.2843-2848
2021
Volltextzugriff (PDF)
Journal of software : evolution and process, 2020-02, Vol.32 (2), p.n/a
2020
Volltextzugriff (PDF)
Formal aspects of computing, 2024-03
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021-11, Vol.349, p.13-29
2021
Volltextzugriff (PDF)
Testing Software and Systems, 2018, Vol.11146, p.17-32
2018
Volltextzugriff (PDF)
Nuclear physics news, 2021, Vol.31 (3), p.30-33
2021
Volltextzugriff (PDF)
ICTs for Improving Patients Rehabilitation Research Techniques, 2017, Vol.665, p.116-125
2017
Volltextzugriff (PDF)
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024, p.96-106
- Bombarda, Andrea
- Gargantini, Angelo
- Galindo, José
- Beek, Maurice ter
- Galasso-Carbonnel, Jessie
- Acher, Mathieu
- Horcas, José Miguel
- Arcaini, Paolo
- Pinto, Mónica
- Krüger, Jacob
- Strüber, Daniel
- Tërnava, Xhevahire
- Cordy, Maxime
- Groher, Iris
- Thüm, Thomas
- Fuentes, Lidia
- Pereira, Juliana Alves
- Dhungana, Deepak
- Yue, Tao
- Mousavi, Mohammad Reza
2024
Volltextzugriff (PDF)
2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2024, p.197-206
2024
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.220-235
Volltextzugriff (PDF)
Software Architecture. ECSA 2022 Tracks and Workshops, p.467-482
Volltextzugriff (PDF)
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2022, p.14-14
2022
Volltextzugriff (PDF)
Software Technology: Methods and Tools, p.89-103
Volltextzugriff (PDF)
New Trends in Model and Data Engineering, p.146-152
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.369-373
Volltextzugriff (PDF)
2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2024, p.1-10
2024
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.61-76
- Arcaini, Paolo
- Bonfanti, Silvia
- Gargantini, Angelo
- Riccobene, Elvinia
- Scandurra, Patrizia
- Oliveira, José N.
- Dongol, Brijesh
- Marmsoler, Diego
- Couto, Luis
- Luckcuck, Matt
- Cerone, Antonio
- Monteiro, Pedro
- Sekerinski, Emil
- Astarte, Troy
- Campos, José
- Kutrib, Martin
- Ratiu, Daniel
- Gonnord, Laure
- Delmas, David
- Farrell, Marie
- Moreira, Nelma
- Guidotti, Riccardo
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2017, Vol.10469, p.375-381
2017
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Software Engineering
- Computer Science
- Software And Its Engineering -- Software Creation And Management
- Software Product Line
- Software Product Lines
- Software And Its Engineering
- Abstract State Machines
- Formal Methods
- Software And Its Engineering -- Software Notations And Tools
- Testing
- Abstract State Machine
- Computer Software
- Congresses
- Logics And Meanings Of Programs
- Machine Theory
- Software
- Binocular Vision
- Computer Systems Organization -- Embedded And Cyber-Physical Systems -- Robotics
- Feature Model
- Mathematical Logic And Formal Languages
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- Ingenta
- Springer Book Series (Lecture Notes)
- IEEE Xplore
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- MEDLINE
- Wiley Online Library
- Taylor & Francis Online
- IngentaConnect Journals
- Wiley Online Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Access via ScienceDirect (Elsevier)
- Publisher website
- Access via Taylor & Francis
- Taylor & Francis
- Wiley Online Library All Obooks
Zeitschrift / Serie
- Software Engineering Notes
- Acm Sigsoft Software Engineering Notes
- Acta Diabetologica
- Blood
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- Graefe's Archive For Clinical And Experimental Ophthalmology
- Journal Of Software
- Journal Of Software : Evolution And Process
Neu hinzugefügt