Refine your search
Availability
-
Authors
- Can Erten (1)
- Dejan Ničković (2)
- Peter Jipsen (1)
- Viorica Sofronie-Stokkermans (2)
- Andreas Harth (2)
- Axel Legay, Tiziana Margaria (2)
- Daniel Kroening, Corina S. Pasareanu (2)
- Djamal Benslimane, Ernesto Damiani, William I. Gro... (2)
- Erzs�bet Csuhaj-Varj�, Martin Dietzfelbinger, Zolt... (2)
- James F. Peters, Andrzej Skowron (2)
- M. Elena Renda, Miroslav Bursa, Andreas Holzinger,... (2)
- Mehdi Dastani, Marjan Sirjani (2)
- Nicolas Peltier (2)
- Petra Perner (2)
- Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Fr... (1)
- Sergei Artemov, Anil Nerode (2)
- Shaoying Liu, Zhenhua Duan (3)
- Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsc... (2)
- Swarat Chaudhuri, Azadeh Farzan (2)
- Tiziana Margaria, Bernhard Steffen (4)
- Show more
- Show less
-
Item types
- E-Book (635)
-
Locations
- 2nd Floor - General Stack (2)
- Online (633)
-
Series
-
Topics
- Algorithm Analysis and Problem Complexity (6)
- Computer Systems Organization and Communication N... (10)
- Database Management (6)
- Information Systems and Communication Service (6)
- Information Systems Applications (incl.Internet) (7)
- Logics and Meanings of Programs (11)
- Mathematical Logic and Formal Languages (25)
- Mathematics of Computing (4)
- Programming Languages, Compilers, Interpreters (20)
- Programming Techniques (11)
- Software Engineering (15)
- Software Engineering/Programming and Operating Sy... (3)
- Special Purpose and Application-Based Systems (3)
- Theory of Computation (4)
- Computer Science (54)
- Computer System Implementation (3)
- Information Systems and Communication Service (4)
- Mathematical Logic and Formal Languages (6)
- Programming Languages, Compilers, Interpreters (9)
- Theory of Computation (4)
- Show more
- Show less