Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Hybrid systems

by Grossman, Robert L. Ed | Nerode, Anil. Ed | Ravn, Anders P. Ed.

Series: Lecture notes in computer science ; 00736Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

E-BOOKS
Hybrid Systems [electronic resource] / edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel.

by Grossman, Robert L [editor.] | Nerode, Anil [editor.] | Ravn, Anders P [editor.] | Rischel, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 736Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings / edited by Anders P. Ravn, Hans Rischel.

by Ravn, Anders P [editor.] | Rischel, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1486Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn.

by Liu, Zhiming [editor.] | Ravn, Anders P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5799Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha