Refine your search
Availability
-
Authors
- Can Erten (1)
- Dejan Ničković (2)
- Viorica Sofronie-Stokkermans (2)
- Axel Legay, Tiziana Margaria (2)
- Bernhard K. Aichernig, Carlo A. Furia (1)
- Clark Barrett, Misty Davies, Temesghen Kahsai (1)
- Dimitris Kolovos, Manuel Wimmer (1)
- Ina Schaefer, Ioannis Stamelos (1)
- Jasmin Christian Blanchette, Nikolai Kosmatov (1)
- Kerstin Lemke-Rust, Michael Tunstall (1)
- Lindsay Groves, Jing Sun (1)
- Mehdi Dastani, Marjan Sirjani (2)
- Milena Lakicevic (1)
- Nicola Olivetti, Ashish Tiwari (1)
- Nicolas Peltier (2)
- Petra Perner (2)
- Sandrine Blazy, Marsha Chechik (1)
- Shaoying Liu, Zhenhua Duan (3)
- Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsc... (2)
- Tiziana Margaria, Bernhard Steffen (4)
- Show more
- Show less
-
Item types
- E-Book (344)
-
Locations
- 2nd Floor - General Stack (1)
- Online (343)
-
Series
-
Topics
- Algorithm Analysis and Problem Complexity (2)
- Computer System Implementation (2)
- Computer Systems Organization and Communication N... (6)
- Information Systems and Communication Service (4)
- Logic Design (2)
- Logics and Meanings of Programs (7)
- Mathematical Logic and Formal Languages (7)
- Programming Languages, Compilers, Interpreters (20)
- Programming Techniques (11)
- Software Engineering (11)
- Special Purpose and Application-Based Systems (2)
- Theory of Computation (3)
- Computer Science (30)
- Computer System Implementation (3)
- Information Systems and Communication Service (3)
- Logics and Meanings of Programs (2)
- Programming Languages, Compilers, Interpreters (9)
- Programming Techniques (2)
- Special Purpose and Application-Based Systems (3)
- Theory of Computation (4)
- Show more
- Show less
