Sortiert nach
IEEE transactions on software engineering, 2005-03, Vol.31 (3), p.226-237
2005
Volltextzugriff (PDF)
IEEE software, 2005-11, Vol.22 (6), p.76-83
2005
Volltextzugriff (PDF)
IEEE software, 2003-07, Vol.20 (4), p.12-14
2003
Volltextzugriff (PDF)
IEEE software, 2010-09, Vol.27 (5), p.2-7
2010
Volltextzugriff (PDF)
IEEE software, 2010-01, Vol.27 (1), p.2-5
2010
Volltextzugriff (PDF)
IEEE software, 2004-05, Vol.21 (3), p.18-22
2004
Volltextzugriff (PDF)
IEEE software, 2010-11, Vol.27 (6), p.16-19
2010
Volltextzugriff (PDF)
IEEE software, 2010-03, Vol.27 (2), p.4-7
2010
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.142-151
2017
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.112-121
2017
Volltextzugriff (PDF)
IEEE software, 2007-03, Vol.24 (2), p.5-7
2007
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.50-59
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.117-128
2004
Volltextzugriff (PDF)
2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.2, p.479-480
2010
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.196-199
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.51-61
2003
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.11-20
2017
Volltextzugriff (PDF)
COTS-Based Software Systems, 2003, Vol.2580, p.251-260
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.147-154
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.105-116
2004
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.172-181
2017
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.80-89
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.92-104
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.32-42
2004
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.162-171
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Exact Sciences And Technology
- Engineering
- Software Engineering
- Engineering, Electrical & Electronic
- Software
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Telecommunications And Information Theory
- Information, Signal And Communications Theory
- Life Sciences & Biomedicine
- Signal Processing
- Humans
- Automation & Control Systems
- Engineering, Biomedical
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- IEEE Xplore
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- MEDLINE
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library - AutoHoldings Journals
- Journals@Ovid Full Text
- Springer Online Journals【Remote access available】
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Taylor & Francis Journals Complete
- Business Source Ultimate
- Springer Nature - Connect here FIRST to enable access
- SAGE Journals
- Access via Taylor & Francis
Zeitschrift / Serie
- Ieee Software
- Brain Stimulation
- Conference Proceedings
- Ieee Transactions On Software Engineering
- Lecture Notes In Computer Science
- Scientific Reports
- Transplantation Proceedings
- Veterinary Parasitology
- 2011 Annual International Conference Of The Ieee Engineering In Medicine And Biology Society
- Acta Radiologica