Your search returned 10 results. Subscribe to this search

|
1. Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems : Proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986

by Quirk, W. J.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 .I3394 2014.
2. Spectral techniques and fault detection.

by Karpovsky, Marg.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2012Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TK7868.L6 S64 1985.
3. Spectral Techniques and Fault Detection.

by Karpovsky, Marg.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Saint Louis : Elsevier Science & Technology, 2012Copyright date: ©1985Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TK7868.L6 -- S64 1985.
4. Architecting dependable systems IV / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.).

by Lemos, Rogério de, 1961- | Gacek, Cristina, 1964- | Romanovsky, Alexander, 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: Architecting dependable systems 4 | Architecting dependable systems four.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.A73 A719 2007.
5. 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.
6. Fault diagnosis and tolerance in cryptography : third international workshop, FDTC 2006, Yokohama, Japan, October 10, 2006 ; proceedings / Luca Breveglieri ... [et al.] (eds.).

by FDTC 2006 (2006 : Yokohama-shi, Japan) | Breveglieri, Luca.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2006Other title: FDTC 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F38 F47 2006.
7. 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.
8. 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.
9. 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.
10. Architecting dependable systems III / Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.).

by Lemos, Rogério de, 1961- | Gacek, Cristina, 1964- | Romanovsky, Alexander, 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: Architecting dependable systems 3 | Architecting dependable systems three.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.A73 A718 2005.