Your search returned 7 results. Subscribe to this search

|
1. Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings / Francesca Saglietti, Norbert Oster (eds.).

by International Conference on Computer Safety, Reliability, and Security (26th : 2007 : Nuremberg, Germany) | Saglietti, F. (Francesca) | Oster, Norbert.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: SAFECOMP 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2007.
2. Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings / Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.).

by LADC 2007 (2007 : Morelia, Michoacán de Ocampo, Mexico) | Bondavalli, Andrea | Brasileiro, Francisco Vilar, 1965- | Rajsbaum, Sergio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F3 L33 2007.
3. Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.).

by International Conference on Computer Safety, Reliability, and Security | Górski, Janusz, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: SAFECOMP 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2006.
4. Rigorous development of complex fault-tolerant systems / Michael Butler ... [et al.] (eds.).

by Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 : Newcastle upon Tyne, England) | Butler, Michael, 1967- | International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: REFT 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F38 W67 2006.
5. Dependable computing EDCC-5 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings / Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.).

by European Dependable Computing Conference (5th : 2005 : Budapest, Hungary) | Dal Cin, Mario, 1940- | Kaaniche, Mohamed | Pataricza, András, 1954-.

Material type: Text Text; Format: available online remote Publisher: Berlin ; New York : Springer, c2005Other title: EDCC-5.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F38 E95 2005.
6. Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings / Rune Winther, Bjoern Axel Gran, Gustav Dahll (eds.).

by International Conference on Computer Safety, Reliability, and Security (24th : 2005 : Fredrikstad, Norway) | Winther, Rune | Gran, Bjørn Axel | Dahll, Gustav.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: SAFECOMP 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2005.
7. Dependable computing : second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings / Carlos Alberto Maziero ... [et al.] (eds.).

by LADC 2005 (2005 : Salvador, Brazil) | Maziero, Carlos Alberto.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: LADC 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F3 L33 2005.