Navigation überspringen
Universitätsbibliothek Heidelberg
Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.
Neue Suche
+ Optionen
+ Suchhistorie (1 Recherche)
DigiKat (1936-1961): - Parallelrecherche im DigiKat läuft noch... RSSDrucker
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Sortierung: 
Kein Fach bevorzugen

Treffer einschränken:

- Jahr
174.291 Titel < 1825
 bis  
- Einrichtung
- Sprache
 
- Datenträger
- Dokumenttyp
- Fach
- Schlagwort
- Geographischer Bezug
- Person
1. Witte, Frank: Testmanagement und Softwaretest : Theoretische Grundlagen und praktische Umsetzung / von Frank Witte. - 1. Aufl. 2016. -
Wiesbaden: Springer Vieweg, 2016. - Online-Ressource (XIV, 274 S. 31 Abb. in Farbe, online resource), ISBN 978-3-658-09964-0
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-09964-0
Themen: Qualitätsmanagement | Softwaretest
Online-Ressource 
→ Ähnliche Titel suchen   
2. Droste, Oliver: Testmanagement in der Praxis / von Oliver Droste, Christina Merz. -
Berlin, Heidelberg: Springer Vieweg, [2019]. - 1 Online-Ressource (XX, 230 Seiten) : Illustrationen, ISBN 978-3-662-49653-4
(Springer eBooks : Computer Science and Engineering)
DOI: 10.1007/978-3-662-49653-4
Themen: Qualitätsmanagement | Softwaretest
Online-Ressource 
→ Ähnliche Titel suchen   
3. Witte, Frank: Metriken für das Testreporting : Analyse und Reporting für wirkungsvolles Testmanagement / von Frank Witte. -
Wiesbaden: Springer Vieweg, 2018. - Online-Ressource (XIV, 244 S. 66 Abb., 59 Abb. in Farbe, online resource), ISBN 978-3-658-19845-9
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-19845-9
Themen: Bericht | Projektmanagement | Software Engineering | Softwareentwicklung | Softwaremetrie | Softwaretest
Online-Ressource 
→ Ähnliche Titel suchen   
4. Roßner, Thomas: Praxiswissen Softwaretest – Testmanagement : Aus- und Weiterbildung zum Certified Tester; advanced level nach ISTQB-Standard / Andreas Spillner .... - 4., überarb. und erw. Aufl.. -
Heidelberg: dpunkt.-Verlag, 2014. - XVI, 489 S. : graph. Darst., ISBN 978-3-86490-052-5
Themen: Qualitätsmanagement | Softwaretest
Buch/keine Angabe 
→ Ähnliche Titel suchen   
nicht ausleihbar
5. Witte, Frank: Strategie, Planung und Organisation von Testprozessen : Basis für erfolgreiche Projektabwicklung im Softwaretest / Frank Witte. -
Wiesbaden: Springer Vieweg, [2020]. - 1 Online-Ressource (XVIII, 257 Seiten) : Illustrationen, ISBN 978-3-658-31228-2
(Springer eBook Collection)
DOI: 10.1007/978-3-658-31228-2
Themen: Softwareentwicklung | Softwaretest
Online-Ressource 
→ Ähnliche Titel suchen   
6. Droste, Oliver: Testmanagement in der Praxis / Oliver Droste, Christina Merz. -
Berlin: Springer Vieweg, [2019]. - XX, 230 Seiten : Illustrationen, ISBN 978-3-662-49652-7
Themen: Implementierung <Informatik> | Projektmanagement | Qualitätsmanagement | Softwareentwicklung | Softwaretest
Buch/keine Angabe 
→ Ähnliche Titel suchen   
 Inhaltsverzeichnis
Signatur: LN-U 10-19164
7. Spillner, Andreas: Praxiswissen Softwaretest - Testmanagement : Aus- und Weiterbildung zum Certified Tester - Advanced Level nach ISTQB-Standard / Andreas Spillner ... [iSQI, International Software Quality Institute]. - 3., überarb. und erw. Aufl.. -
Heidelberg: dpunkt-Verl., 2011. - XX, 443 S. : graph. Darst., ISBN 978-3-89864-746-5
Themen: Qualitätsmanagement | Software | Softwaretest | Testen
Buch/keine Angabe 
→ Ähnliche Titel suchen   
 Inhaltsverzeichnis: 1, 2
Signatur: LN-U 10-16184::(3)
8. Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. -
Cham: Springer, 2016. - Online-Ressource (XVII, 486 p. 144 illus, online resource), ISBN 978-3-319-47846-3
(Lecture Notes in Computer Science ; 10009)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 10009)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-47846-3
Themen: Fehlertoleranz | Formale Methode | Model Checking | Programmanalyse | Softwareentwicklung | Softwaretest | Systementwicklung | Verifikation | Zuverlässigkeit
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
9. Search Based Software Engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / edited by Federica Sarro, Kalyanmoy Deb. -
Cham: Springer, 2016. - Online-Ressource (XXI, 318 p. 71 illus, online resource), ISBN 978-3-319-47106-8
(Lecture Notes in Computer Science ; 9962)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9962)
DOI: 10.1007/978-3-319-47106-8
Themen: Evolutionärer Algorithmus | Optimierungsproblem | Software Engineering | Softwaremetrie | Softwaretest
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
10. Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik. -
Cham: Springer, 2016. - Online-Ressource (XIV, 199 p. 36 illus, online resource), ISBN 978-3-319-48869-1
(Lecture Notes in Computer Science ; 9971)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9971)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-48869-1
Themen: Formale Methode | Programmanalyse | Programmverifikation | Softwarespezifikation | Softwaretest | Spezifikationssprache | Verifikation
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
11. Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. -
Cham: Springer, 2016. - Online-Ressource (X, 253 p. 62 illus, online resource), ISBN 978-3-319-49815-7
(Lecture Notes in Computer Science ; 10090)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 10090)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-49815-7
Themen: Fehlertoleranz | Formale Methode | Modellgetriebene Entwicklung | Softwaretest | Verifikation
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
12. Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / edited by Franz Wotawa, Mihai Nica, Natalia Kushik. -
Cham: Springer, 2016. - Online-Ressource (XVIII, 257 p. 62 illus, online resource), ISBN 978-3-319-47443-4
(Lecture Notes in Computer Science ; 9976)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9976)
DOI: 10.1007/978-3-319-47443-4
Themen: Eingebettetes System | Softwaretest | Verteiltes System
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
13. Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel. -
Cham: Springer, 2016. - Online-Ressource (XVI, 211 p. 60 illus, online resource), ISBN 978-3-319-49052-6
(Lecture Notes in Computer Science ; 10028)
(Programming and Software Engineering ; 10028)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-49052-6
Themen: Hardwareverifikation | Model Checking | Programmverifikation | Softwaretest
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
14. Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / edited by Bernhard K. Aichernig, Carlo A. Furia. -
Cham: Springer, 2016. - Online-Ressource (XIV, 199 p. 51 illus, online resource), ISBN 978-3-319-41135-4
(Lecture Notes in Computer Science ; 9762)
(Programming and Software Engineering ; 9762)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-41135-4
Themen: Beweis | Formale Methode | Model Checking | Programmverifikation | Softwareentwicklung | Softwaresystem | Softwaretest
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
15. Allissat, René: SAP-Testmanagement : das Praxishandbuch / René Allissat, Stefan Hortig. - 1. Auflage. -
Bonn: Rheinwerk Publishing, 2022. - 512 Seiten : Illustrationen, ISBN 978-3-8362-8790-6
(SAP PRESS)
Themen: Automatisierungssystem | Handbuch | SAP HANA | SAP Solution Manager | Softwaretest
Buch/keine Angabe 
→ Ähnliche Titel suchen   
 Inhaltsverzeichnis
ausleihbar  3D-Plan
Signatur: LA-U 10-32180
16. Wolf, Fabian: Fahrzeuginformatik : eine Einführung in die Software- und Elektronikentwicklung aus der Praxis der Automobilindustrie / Fabian Wolf. -
Wiesbaden: Springer Vieweg, [2018]. - Online-Ressource (XXVII, 314 Seiten, 168 Abb., 95 Abb. in Farbe), ISBN 978-3-658-21224-7
(SpringerLink : Bücher)
(ATZ/MTZ-Fachbuch)
DOI: 10.1007/978-3-658-21224-7
Themen: Kraftfahrzeugelektronik | Kraftfahrzeugindustrie | Mechatronik | Produktlinie | Prozessmodell | Softwarearchitektur | Softwareentwicklung | Softwaretest
Online-Ressource 
→ Ähnliche Titel suchen   
17. Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. -
Cham: Springer, 2016. - Online-Ressource (XVII, 479 p. 108 illus, online resource), ISBN 978-3-319-46750-4
(Lecture Notes in Computer Science ; 9965)
(Theoretical Computer Science and General Issues ; 9965)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-46750-4
Themen: Formale Methode | Programmverifikation | Softwareentwicklung | Softwaretest | Theoretische Informatik
Online-Ressource 
→ Übergeordnete Aufnahme    → Ähnliche Titel suchen   
18. Witte, Frank: Strategie, Planung und Organisation von Testprozessen : Basis für erfolgreiche Projektabwicklung im Softwaretest / Frank Witte. -
Wiesbaden ; [Heidelberg]: Springer Vieweg, [2020]. - XVIII, 257 Seiten : Illustrationen, ISBN 978-3-658-31227-5
Themen: Projektmanagement | Prozessmanagement | Softwaretest
Buch/keine Angabe 
→ Ähnliche Titel suchen   
 Inhaltsverzeichnis
Signatur: LN-U 10-19468
19. Kleuker, Stephan: Qualitätssicherung durch Softwaretests : Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen / Stephan Kleuker. - 2., erweiterte und aktualisierte Auflage. -
Wiesbaden: Springer Vieweg, [2019]. - 1 Online-Ressource (XIX, 403 Seiten) : Illustrationen, Diagramme, ISBN 978-3-658-24886-4
(Springer eBooks : Computer Science and Engineering)
DOI: 10.1007/978-3-658-24886-4
Themen: Java <Programmiersprache> | Qualitätssicherung | Softwaretest
Online-Ressource 
→ Ähnliche Titel suchen   
20. Albrecht-Zölch, Janet: Testdaten und Testdatenmanagement : Vorgehen, Methoden und Praxis / Janet Albrecht-Zölch. - 1. Auflage. -
Heidelberg: dpunkt.verlag, 2018. - xviii, 436 Seiten : Illustrationen, ISBN 978-3-86490-486-8
Themen: Anforderungsdefinition | Automatisches Prüfen | Datenmanagement | Datenschutz | Qualitätsmanagement | Softwaretest | Testdaten | Vorgehensmodell
Buch/keine Angabe 
→ Ähnliche Titel suchen   
 Inhaltsverzeichnis
Signatur: LN-U 10-18616
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang

© Universitätsbibliothek HeidelbergMailImpressum / Datenschutz   Design