Refine your search
Availability
-
Authors
- Gabriel Ciobanu (1)
- Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada (1)
- Borut Robič (1)
- Budhu, Muni (1)
- Das, Braja M. (2)
- Davide Grossi, Olivier Roy, Huaxin Huang (1)
- Farhad Arbab (1)
- Gupta, Sharat Chandra (1)
- Halmos, Paul R. (1)
- Hanson, Walter E. (1)
- Masahito Hasegawa (1)
- Mihai Codescu, Razvan Diaconescu, Ionu? ?u?u (1)
- Nicholsen, Shierry Weber [tr.] (1)
- Paola Bonizzoni, Vasco Brattka, Benedikt L�we (1)
- Phillip James, Markus Roggenbach (1)
- Sergei Artemov, Anil Nerode (1)
- Sivakugan, Nagaratnam (1)
- Thornburn, Thomas H. (1)
- Wiebe van der Hoek, Wesley H. Holliday, Wen-fang W... (1)
- Wolf, John P. [eds.] (1)
- Show more
- Show less
-
Collections
- Non-fiction (7)
-
Item types
- Book (11)
- E-Book (17)
- Text/Reserve Book (5)
-
Locations
-
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)
- Mathematics ; Arithmetic--Foundations ; Set theory (1)
- Social science ; philosophy; Foundations of Social... (1)
- Software Engineering (1)
- Soil mechanics ; Foundations ; Engineering geology... (1)
- Theory of Computation (1)
- Show more
- Show less