Refine your search
Availability
-
Authors
- Reussner, Ralf (1)
- Bondi, AndreÌ B. (1)
- Dhillon, B. S. (1)
- Gilmore, Stephen (1)
- Hobbs, Chris (1)
- Krcmar, Helmut (1)
- Rumpe, Bernhard (1)
- Tokoro, Mario (1)
- Tribastone, Mirco (1)
- Show more
- Show less
-
Item types
- Book - Borrowing (6)
-
Locations
- Lower Floor (6)
-
Series
-
Topics
- Automatic control (1)
- Computer architecture (1)
- Computer security (1)
- Computer software (2)
- Computer systems (5)
- Computers (1)
- Electronic digital computers (1)
- Embedded computer systems (1)
- Fault-tolerant computing (2)
- Formal methods (Computer science) (1)
- Systems engineering (1)
- Show more
- Show less