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