Your search returned 43 results.

Sort
Results
1.
Fault detection using abstracted models of finite-state machines by Kanstantinos N. Oikonomou by Series: University of Minnesota, Ph.D. Thesis
Material type: Text Text
Publication details: Ann Arbor UMI 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N82.

2.
Design and analysis of fault tolerant digital systems by Barry W. Johnson. by Series: Addison-Wesley Series in electrical and computer engineering
Material type: Text Text
Publication details: Reading (Mass) Addison Wesley 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.381952 N891.

3.
Evolution of fault-tolerant computing ed. by A. Avizienis, H. Kopetz and J C. Laprie. by Series: Dependable computing and fault-tolerant systems. vol.I ;
Material type: Text Text
Publication details: New York Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N87.

4.
Design and analysis of fault-tolerant digital systems. by Barry W. Johnson. by Series: Addison-Wesley series in electrical and computer engineering ;
Material type: Text Text
Publication details: Reading Addison-Wesley 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N894.

5.
Checking experiments in sequential machines by Asok Bhattacharya. by
Material type: Text Text
Publication details: New Delhi Wiley Eastern 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N895.

6.
Design and analysis of fault tolerant digital system /Barry W. Johnson by Series: Addison-Wesley Series in Electrical and Computer Engineering
Material type: Text Text
Publication details: Reading, Mass A-W 1989
Availability: Items available for reference: Electrical Engineering: Not for loan (1)Call number: 621.392 N898.

7.
Performance and fault modeling with VHDL /Joel M. Schoen, editor by
Material type: Text Text
Publication details: Englewood Cliffs P-H 1992
Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 621.392 N92.

8.
Information dispersal and parallel computation by Yuh-Dauh Lyuu by Series: Cambridge International Series on Parallel Computation ; 3
Material type: Text Text
Publication details: Cambridge Cambriege University Press 1992
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 N9214.

9.
Fault-tolerant data driven distributed architecture for future generation avionics /by Avva Sudhakar by Series: I.I.Sc., Dept. of EE, Ph.D., Thesis
Material type: Text Text
Publication details: Bangalore IISc. 1994
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 623.7460490285436 N94"THESIS".

10.
Computer-aided verification ed. by E.M. Clarke, R.P. Kurshan by Series: Lecture Notes in computer science ; 531
Material type: Text Text
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N91.

11.
Fault tolerant computing. FTCS 1993 Digest of papers by
Material type: Text Text
Publication details: Los Alamitos IEEE 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N932 "SER".

12.
Fault tolerant computing. FTCS 1994 Digest of papers by
Material type: Text Text
Publication details: Los Alamitos IEEE 1994
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N941 "SER".

13.
Fault tolerant computing. FTCS 1991 Digest of papers. by
Material type: Text Text
Publication details: New York IEEE 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N912 "SER".

14.
Fault tolerant computing. FTCS 1992 Digest of papers by
Material type: Text Text
Publication details: New Jersey IEEE 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N92 "SER".

15.
Fault tolerant computing. Digest of papers. by
Material type: Text Text
Publication details: New York IEEE 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N897 "SER".

16.
Formal techniques in real-time and fault-tolerant systems /ed. by J. Vytopil. by Series: Lecture notes in computer science ; 571
Material type: Text Text
Publication details: Berlin S-V 1991
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.2 N91.

17.
Computer aided verification /ed. by K.G. Larsen, A. Skou. by Series: Lecture notes in computer science ; 575
Material type: Text Text
Publication details: Berlin S-V 1992
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.14 N92.

18.
Fault tolerant computing. Digest of papers. by
Material type: Text Text
Publication details: New York IEEE 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N901 "SER".

19.
Advanced workshop on fault-tolerant computing keypapers. by
Material type: Text Text
Publication details: Bangalore FRC Workshop 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N872.

20.
Fault-tolerant computing : Digest of papers. by
Material type: Text Text
Publication details: Los Alamitos IEEE 1995
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.392 N953 "SER".

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832