UB Paderborn / Katalog / Suche / im Katalog

1 – 23 von 23

Sortiert nach

Softwarezuverlässigkeit

Computer-Monographien : 11 (Alle Bände)

Kopetz, Hermann

1976

Signatur: TWQ1207

Proceedings / The Ninth International Symposium on Software Reliability Engineering : fast abstracts & industrial practices ; November 4 - 7, 1998, Paderborn, Germany

International Symposium on Software Reliability Engineering

1998

Signatur: TTQ981281

Digitales Verhängnis : Gefahren der Abhängigkeit von Computern und Programmen

Wiener, Lauren

1. Aufl, 1994

Signatur: TUC1704

Software reliability

Pham, Hoang

2000

Signatur: TWQ8746

Software reliability determination for conventional and logic programming

Programming complex systems : 7 (Alle Bände)

Azem, Alireza

1995

Signatur: TWZ4250, P843

Software assessment : reliability, safety, testability

1995

Signatur: TWZ2698

Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software

Ehrenberger, Wolfgang

2002

Signatur: TWQ9425

AntiPatterns : refactoring software, architectures and projects in crisis

Brown, William J

1998

Signatur: TWQ7986

Handbook of software reliability engineering

Computing McGraw-Hill, System design

Lyu, Michael R[Herausgeber]

1996

Signatur: TWZ2737

Mathematics of dependable systems : based on the proceedings of a Conference on Mathematics of Dependable Systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993

Mathematics of dependable systems : 1 (Alle Bände), Institute of Mathematics and its Applications conference series : New series : 55 (Alle Bände)

Mitchell, Chris[Herausgeber]

1995

Signatur: TAY930692

Successful test management : an integral approach ; with 44 tables

Pinkster, Iris

2004

Signatur: WBI1757

Software reliability handbook

Rook, Paul[Herausgeber]

1. ed., repr, 1991

Signatur: TWZ1943

Reliable Software Technologies — Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8–12, 1998 Proceedings [Elektronische Ressource]

Asplund, Lars

1998

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Computer Safety, Reliability and Security : 17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings [Elektronische Ressource]

Ehrenberger, Wolfgang

1998

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Reliable Software Technologies — Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings [Elektronische Ressource]

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings [Elektronische Ressource]

2000

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Clean code : a handbook of agile software craftsmanship

Robert C. Martin series

Martin, Robert C

2009

Signatur: TWQ13018

Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Programming and Software Engineering : 11698

1st ed. 2019, 2019

Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Embedded Security in Cars : Securing Current and Future Automotive IT Applications [Elektronische Ressource]

2006

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2006 (ZDB-2-SCS)

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

Programming and Software Engineering : 12235

1st ed. 2020, 2020

Dependable Computing — EDCC-3 : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings [Elektronische Ressource]

1999

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions [Elektronische Ressource]

2008

1 – 23 von 23

Suche als RSS-Feed

Aktive Filter

SchlagwortSoftware

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(13)
Online-Ressource
(10)

Autor / Autorin

Bitsch, Friedemann
(2)
Ehrenberger, Wolfgang
(2)
Asplund, Lars
(1)
Azem, Alireza
(1)
Bondavalli, Andrea
(1)
Briggs, Jim
(1)
Brown, William J
(1)
Casimiro, António
(1)
Ferreira, Pedro
(1)
Friedman, Michael A
(1)
Hardy, Keith
(1)
Hlavička, Jan
(1)
International Symposium on Software Reliability Engineering
(1)
Koornneef, Floor
(1)
Kopetz, Hermann
(1)
Lemke, Kerstin
(1)
Lyu, Michael R
(1)
Maehle, Erik
(1)
Martin, Robert C
(1)
Meulen, Meine
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(23)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(16)
Deutsch
(3)

Systemstelle

TWZ
(6)
TWQ
(5)
TAY
(1)
TTQ
(1)
TUC
(1)
TUD
(1)
WBI
(1)

2 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Softwarezuverlässigkeit

Proceedings / The Ninth International Symposium on Software Reliability Engineering : fast abstracts & industrial practices ; November 4 - 7, 1998, Paderborn, Germany

Digitales Verhängnis : Gefahren der Abhängigkeit von Computern und Programmen

Software reliability

Software reliability determination for conventional and logic programming

Software assessment : reliability, safety, testability

Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software

AntiPatterns : refactoring software, architectures and projects in crisis

Handbook of software reliability engineering

Mathematics of dependable systems : based on the proceedings of a Conference on Mathematics of Dependable Systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993

Successful test management : an integral approach ; with 44 tables

Software reliability handbook

Reliable Software Technologies — Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8–12, 1998 Proceedings [Elektronische Ressource]

Computer Safety, Reliability and Security : 17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings [Elektronische Ressource]

Reliable Software Technologies — Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings [Elektronische Ressource]

Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings [Elektronische Ressource]

Clean code : a handbook of agile software craftsmanship

Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings [Elektronische Ressource]

Embedded Security in Cars : Securing Current and Future Automotive IT Applications [Elektronische Ressource]

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

Dependable Computing — EDCC-3 : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings [Elektronische Ressource]

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern