Refine your search
Availability
-
Authors
- Broy, Manfred (1)
- Esparza, Javier (1)
- Fontaine, Jean-Guy (2)
- Grumberg, Orna (2)
- Hauptmann, Benedikt (1)
- Hoare, A. G. (1)
- Leuxner, Christian (1)
- Logachev, Oleg A. (2)
- Makhaniok, Mikhail (2)
- Nipkow, Tobias (1)
- Preneel, Bart (2)
- Spanfelner, Bernd (1)
- Show more
- Show less
-
Holding libraries
-
Home libraries
-
Item types
- E-Book (5)
-
Locations
- Online Resource (5)
-
Series
-
Topics
- Algebra, Boolean (2)
- Computer security (7)
- Computer software (2)
- Computers (1)
- Cryptography (2)
- Information technolo... (2)
- Languages, Artificia... (1)
- Programming language... (1)
- Software engineering (1)
- Software protection (1)
- System safety (1)
- Show more
- Show less
Strathmore