UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 51

Sortiert nach

Sicherheitsgerichtete Echtzeitsysteme

VDI-Buch

3., überarbeitete und erweiterte Auflage, [2018]

Signatur: TWT5727(3)

AntiPatterns : refactoring software, architectures and projects in crisis

Brown, William J

1998

Signatur: TWQ7986

Successful test management : an integral approach ; with 44 tables

Pinkster, Iris

2004

Signatur: WBI1757

Sicherheitsgerichtete Echtzeitsysteme

1999

Signatur: TWT5727

Software reliability handbook

Rook, Paul[Herausgeber]

1. ed., repr, 1991

Signatur: TWZ1943

Reliable SoftwareTechnologies — Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings [Elektronische Ressource]

2001

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

Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings [Elektronische Ressource]

2000

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

Proceedings / Ada Europe International Conference

Ada Companion series

Ada Europe

1985-

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)

Sicherheitsgerichtete Echtzeitsysteme [Elektronische Ressource]

2., vollst. überarb. Aufl. 2013, 2013

Link zum Volltext
Springer Technik, Informatik 2013 (ZDB-2-STI)

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)

Reliable Software Technologiey – Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6106

2010

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings [Elektronische Ressource]

2012

Computer Safety, Reliability and Security : 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings [Elektronische Ressource]

Voges, Udo

2001

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

Advanced Topics in Exception Handling Techniques [Elektronische Ressource]

2006

Dependable Computing : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings [Elektronische Ressource]

2003

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

Reliable Software Technologies — Ada-Europe’ 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings [Elektronische Ressource]

1999

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

Computer Safety, Reliability and Security : 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings [Elektronische Ressource]

1999

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

Reliable Software Technologies — Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings [Elektronische Ressource]

2003

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

Computer Safety, Reliability, and Security : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings [Elektronische Ressource]

2011

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings [Elektronische Ressource]

2007

Computer Safety, Reliability, and Security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings [Elektronische Ressource]

2004

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

Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification [Elektronische Ressource]

2007

Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers [Elektronische Ressource]

2007

1 – 25 von 51

Suche als RSS-Feed

Aktive Filter

Autor / AutorinVDI-Gesellschaft Produkt- und Prozessgestaltung

SprachePolyglott

SchlagwortSoftwareentwicklung

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(45)
Gedruckt
(6)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(50)
Zeitschrift
(1)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(28)
Deutsch
(3)

Systemstelle

TWT
(2)
64
(1)
TWQ
(1)
TWZ
(1)
WBI
(1)

Art des Inhalts

Sonstiges
(50)
Nicht angegeben
(1)

Menü

Weitere Dienste

Einstellungen

Sicherheitsgerichtete Echtzeitsysteme

AntiPatterns : refactoring software, architectures and projects in crisis

Successful test management : an integral approach ; with 44 tables

Sicherheitsgerichtete Echtzeitsysteme

Software reliability handbook

Reliable SoftwareTechnologies — Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings [Elektronische Ressource]

Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings [Elektronische Ressource]

Proceedings / Ada Europe International Conference

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

Sicherheitsgerichtete Echtzeitsysteme [Elektronische Ressource]

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

Reliable Software Technologiey – Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings [Elektronische Ressource]

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings [Elektronische Ressource]

Computer Safety, Reliability and Security : 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings [Elektronische Ressource]

Advanced Topics in Exception Handling Techniques [Elektronische Ressource]

Dependable Computing : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings [Elektronische Ressource]

Reliable Software Technologies — Ada-Europe’ 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings [Elektronische Ressource]

Computer Safety, Reliability and Security : 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings [Elektronische Ressource]

Reliable Software Technologies — Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings [Elektronische Ressource]

Computer Safety, Reliability, and Security : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings [Elektronische Ressource]

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings [Elektronische Ressource]

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings [Elektronische Ressource]

Computer Safety, Reliability, and Security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings [Elektronische Ressource]

Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification [Elektronische Ressource]

Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern