Refine your search
Availability
-
Authors
- Abe, Masayuki
- Abramsky, S.
- Clausen, Jens
- Diaz, Joseph
- Dowek, Gilles
- Franciosa, Paolo Giu...
- Hellwagner, Hermann
- Hsieh, Raymond
- Maibaum, T.S.E.
- Mark, David M.
- Merelo, Juan J.
- Niebert, Peter
- Paulin, Christine
- Ribeiro, Celso C.
- Richter, Michael M.
- Rozenberg, Grzegorz
- Sako, Kazue
- Sarkar, Palash
- Vytopil, Jan
- Wang, Xiaoyun
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms
- Applications of Math...
- Compilers (Computer ...
- Compilers and Interp...
- Computer science
- Computer Science Log...
- Computer science—Mat...
- Cryptography
- Cryptology
- Data encryption (Com...
- Discrete mathematics
- Discrete Mathematics...
- Formal Languages and...
- Machine theory
- Mathematics
- Numerical Analysis
- Numerical analysis
- Software engineering
- Software Engineering
- Theory of Computatio...
- Show more
- Show less