Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
AntiPatterns : refactoring software, architectures and projects in crisis
1998
Signatur: TWQ7986
    Datensatz exportieren als...
  • BibTeX
Proceedings / Ada Europe International Conference
Ada Companion series
1985-
    Datensatz exportieren als...
  • BibTeX
Successful test management : an integral approach ; with 44 tables
2004
Signatur: WBI1757
    Datensatz exportieren als...
  • BibTeX
Software reliability handbook
1. ed., repr, 1991
Signatur: TWZ1943
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies – Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Reliable SoftwareTechnologies — Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies — Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8–12, 1998 Proceedings [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
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
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6371
2010
    Datensatz exportieren als...
  • BibTeX
Dependability Metrics : Advanced Lectures [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
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
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Dependable Computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability and Security : 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering (vol. # 4260) : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Dependable Computing : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Software Architectures, Components, and Applications : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6351
2010
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings [Elektronische Ressource]
2012
1 – 25 von 28
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
SchlagwortEingebettetes System
SchlagwortSoftwareentwicklung
SchlagwortZuverlässigkeit
Suchergebnisse filtern
Filter anzeigen