Refine your search
Availability
-
Authors
- Gabriel Ciobanu (1)
- Sung-Shik Jongmans (1)
- Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada (1)
- Andrei Alexandru (1)
- Borut Robič (1)
- David Makinson (1)
- Davide Grossi, Olivier Roy, Huaxin Huang (1)
- Farhad Arbab (1)
- Gilles Dowek (1)
- Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvi... (1)
- Masahito Hasegawa (1)
- Mihai Codescu, Razvan Diaconescu, Ionu? ?u?u (1)
- Narciso Mart�-Oliet, Miguel Palomino (1)
- Paola Bonizzoni, Vasco Brattka, Benedikt L�we (1)
- Phillip James, Markus Roggenbach (1)
- Roland Meyer, Andr� Platzer, Heike Wehrheim (1)
- Sergei Artemov, Anil Nerode (1)
- Wiebe van der Hoek, Wesley H. Holliday, Wen-fang W... (1)
- Zoran Ognjanović (1)
- Show more
- Show less
-
Item types
- E-Book (17)
-
Locations
- Online (17)
-
Series
-
Topics
- Computational Science and Engineering (1)
- Discrete Mathematics (1)
- Discrete Mathematics in Computer Science (1)
- History of Computing (1)
- History of Mathematical Sciences (1)
- Logics and Meanings of Programs (1)
- Mathematical Logic and Formal Languages (1)
- Mathematical Logic and Foundations (4)
- Mathematics of Computing (1)
- Probability Theory and Stochastic Processes (1)
- Theory of Computation (2)
- Computer Science (5)
- Information Systems and Communication Service (1)
- Mathematical Logic and Foundations (1)
- Software Engineering (1)
- Theory of Computation (1)
- Show more
- Show less