Refine your search
Availability
-
Authors
- Brown, Stephen D.
- Dastani, Mehdi
- Güdemann, Matthias
- Hölzl, Matthias
- Imam, Neena
- Koornneef, Floor
- Kroening, Daniel
- Mano, M. Morris
- Martí-Oliet, Narciso
- Núñez, Manuel
- Păsăreanu, Corina S.
- Rumpe, Bernhard
- Taraate, Vaibbhav
- van Gulijk, Coen
- Voronkov, Andrei
- Vranesic, Zvonko G.
- Wimmer, Manuel
- Xiao, Liquan
- Yi, Wang
- Ölveczky, Peter Csab...
- Show more
- Show less
-
Collections
-
Holding libraries
-
Home libraries
-
Item types
-
Locations
-
Series
- Communications in Co...
- Computer Communicati...
- Information Systems ...
- Lecture Notes in Art...
- Lecture Notes in Bio...
- McGraw-Hill series i...
- Milli Eğitim Bakanlı...
- Programming and Soft...
- Saunders College Pub...
- Security and Cryptol...
- Seçkin | Teknik
- Theoretical Computer...
- Transactions on Petr...
- Show more
- Show less
-
Topics
- Algorithm Analysis a...
- Artificial Intellige...
- Artificial intellige...
- Computation by Abstr...
- Computational comple...
- Computer Communicati...
- Computer science
- Computer software
- Discrete Mathematics...
- Information Systems
- Logic circuits
- Logic design
- Logics and Meanings ...
- Management of Comput...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Show more
- Show less