Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994

by Langmaack, H. Ed | de Roever, W.-P. Ed | Vytopil, J. Ed.

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

BOOKS
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

by Jones, Neil D | Muchnick, Steven S.

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

BOOKS
Synthesizing Synchronous Systems by Static Scheduling in Space-Time

by Lisper, Bjorn.

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

BOOKS
Hybrid and Real-Time Systems, International Workshop- Proceedings, Grenoble, France, 1997

by Maler, Oded. Ed.

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

BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings, 6th International Symposium, FTRTFT 2000, Pune,2000

by Joseph, Mathai. Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha