Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed. by Series: Lecture notes in computer science ; 331.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Specification and compositional verification of real-time systems / J. Hooman. by Series: Lecture notes in computer science ; 558.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©1991
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
Specifying message passing and time-critical systems with temporal logic / Ron Koymans. by Series: Lecture notes in computer science ; 651.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Real-time digital signal processing based on the TMS320C6000 / by Nasser Kehtarnavaz ; with laboratory contributions by Namjin Kim. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Boston : Elsevier : Newnes, ©2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha