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
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
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
Dependability Metrics : Advanced Lectures [Elektronische Ressource]
2008
    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
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 : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings [Elektronische Ressource]
2011
    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
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 – 14 von 14
Suche als RSS-Feed
Aktive Filter
Autor / AutorinVDI-Gesellschaft Produkt- und Prozessgestaltung
SchlagwortComputer system performance
SchlagwortFehlertoleranz
SchlagwortSoftwareentwicklung
Suchergebnisse filtern
Filter anzeigen