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
Software reliability handbook
1. ed., repr, 1991
Signatur: TWZ1943
    Datensatz exportieren als...
  • BibTeX
Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings [Elektronische Ressource]
2007
    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
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
    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
Dependability Metrics : Advanced Lectures [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings [Elektronische Ressource]
2005
    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
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings [Elektronische Ressource]
2012
    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 : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings [Elektronische Ressource]
2011
    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
Computer Safety, Reliability, and Security (vol. # 3688) : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security (vol. # 4166) : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings [Elektronische Ressource]
2006
1 – 20 von 20
Suche als RSS-Feed
Aktive Filter
Autor / AutorinVDI-Gesellschaft Produkt- und Prozessgestaltung
SchlagwortSoftwareentwicklung
SchlagwortFehlertoleranz
Suchergebnisse filtern
Filter anzeigen