Computer safety, reliability and security : :: SCD d'Orléans

Computer safety, reliability and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings

Computer safety, reliability and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	International conference on computer safety, reliability, and security :Rotterdam, Pays-Bas
Diğer Yazarlar:	Koornneef, Floor, 1950- (Yayın yönetmeni), Meulen, Meine van der, 1964- (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 1943
Konular:	Génie logiciel Informatique Fiabilité Logiciels Ordinateurs > Accès > Contrôle Sécurité du travail Ordinateurs > Fiabilité Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer safety, reliability and security, 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000, proceedings, Floor Koornneef, Meine van der Meulen (eds.).Computer safety, reliability and security, 2000, New York, Springer, 1 vol. (X-432 p.), Lecture notes in computer science, 3-540-41186-0 • Computer Safety, Reliability, and Security, Texte imprimé, 9783662204801

Benzer Materyaller

Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

Computer safety, reliability, and security : 18th international conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings

Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings

Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings

Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings

Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

Safeware : system safety and computers
Yazar:: Leveson, Nancy G.
Baskı/Yayın Bilgisi: (1995)

Software reliability : modelling and identification
Yazar:: Bittanti, Sergio, 1947-

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Principles of model checking
Yazar:: Baier, Christel, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
Yazar:: Llamosí, Albert

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Dependable computing : EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23 25, 2002 : proceedings

Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2 4, 1996 : proceedings

Performance evaluation of complex systems : techniques and tools : Performance 2002 tutorial lectures
Yazar:: Calzarossa, Maria Carla, 1958-

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

Reliability engineering & system safety.

Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings

Reliability evaluation of some fault-tolerant computer architectures
Yazar:: Osaki, Shunji, 1942-2021, ve diğerleri

Quality for all : 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003 : proceedings

Coder proprement
Yazar:: Martin, Robert C., 1952-...., informaticien, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Composants logiciels et sûreté de fonctionnement : intégration de COTS
Baskı/Yayın Bilgisi: (2000)

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

Clean code : a handbook of agile software craftsmanship
Yazar:: Martin, Robert C., 1952-
Baskı/Yayın Bilgisi: (2009)

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Vérification de logiciels : techniques et outils du model-checking
Yazar:: Bérard, Béatrice, 19..-...., professeure en informatique, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Applied Nonparametric Statistics in Reliability
Yazar:: Gamiz, M. Luz, ve diğerleri

Recent advances in system reliability : signatures, multi-state systems and statistical inference
Baskı/Yayın Bilgisi: (2012)

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Performance evaluation.

Reliability, life testing and the prediction of service lives : for engineers and scientists
Yazar:: Saunders, Sam C.

Foundations of software technology and theoretical computer science : 19th conference, Chennai, India, December 13-15, 1999 : proceedings

Computer and information sciences : ISCIS 2004 : 19th international symposium, Kemer-Antalya, Turkey, October 27-29, 2004 : proceedings

Modélisation aléatoire en fiabilité des logiciels
Yazar:: Gaudoin, Olivier, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Software reuse : advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales