Refine your search

Your search returned 51 results.

Sort
Results
Specifications of reliable software, SRS : proceedings

by Institute of Electrical and Electronics Engineers | .

Series: Edition: Language: English Publication details: Long Beach ; IEEE Computer Society, ; 1979Availability: Items available for loan: 1 Call number: 681.3.06 Ins.

International conference on dependable systems and networks : proceedings, Goteborg, Sweden, 1-4 July, 2001

by .

Series: Edition: Language: English Publication details: Los Alamitos ; IEEE Computer Society, ; 2001Availability: Items available for loan: 1 Call number: 681.327.8:621.391Ins:01.

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

by | Kemper, Peter | Kemper, Peter.

Series: Lecture notes in computer sience ; v.2794Edition: Language: English Publication details: Berlin ; Springer ; 2003Availability: Items available for loan: 1 Call number: 681.3Com:13:03.

Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop, Paris, France, Oct. 16-18, 2006

by | Korden, Fabrice | Korden, Fabrice.

Series: Lecture notes in computer science ; v.4888Edition: Language: English Publication details: Berlin ; Springer ; 2007Availability: Items available for loan: 1 Call number: 681.327.8:681.3.06Com:13:06.

Dependable computing : 2nd Latin-American symposium proceedings, LADC, Salvador, Brazil, Oct. 25-28, 2005

by | Maziero, Carlos Alberto...[et al.] | Maziero, Carlos Alberto...[et al.].

Series: Lecture notes in computer science ; v.3747Edition: Language: English Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: 1 Call number: 681.3:658.562Dep:2:05.

Computer safety, reliability, and security : 26th international conference proceedings, SAFECOMP, Nuremberg, Germany, Sept. 8-21, 2007

by | Saglietti, Francesca | Saglietti, Francesca.

Series: Lecture notes in computer science ; v.4680Edition: Language: English Publication details: Berlin ; Springer ; 2007Availability: Items available for loan: 1 Call number: 681.3:65.012.8Com:26:07.

Dependable computing - EDCC : 5th European dependable computing conference : proceedings, Budapest, Hungary, Apr. 20-22, 2005

by European dependable computing conference (5th : 2005 : Budapest, Hungary) | .

Series: Lecture notes in computer science ; v.3463Edition: Language: English Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: 1 Call number: 681.3Eur:5:05.

Rigorous development of complex fault-tolerant systems

by | Butler, Michael...[et al.] | Butler, Michael...[et al.].

Series: Lecture notes in computer science ; v. 4157Edition: Language: English Publication details: Berlin ; Springer ; 2006Availability: Items available for loan: 1 Call number: 681.3.06:519.28Rig.

Dependable computing - EDCC : 4th European dependable computing conference : proceedings, Toulouse, France, Oct. 23-25, 2002

by .

Series: Lecture notes in computer science ; v.2485Edition: Language: English Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: 1 Call number: 681.3Eur:4:02.

Dependable computing : 1st Latin-American symposium proceedings, LADC, Sao Paulo, Brazil, Oct. 21-24, 2003

by - | Rogerio de Lemos | Rogerio de Lemos.

Series: Lecture notes in computer science ; v.2847Edition: Language: English Publication details: Berlin ; Springer ; 2003Availability: Items available for loan: 1 Call number: 681.3:658.562Dep:1:03.

Pages

Powered by Koha