Refine your search
Availability
-
Authors
- Baier, Christel
- Beyer, Dirk
- Biere, Armin
- Bours, Patrick
- Bouyer, Patricia
- Chen, Jian-Jia
- Dal Lago, Ugo
- Fisman, Dana
- Guerra, Esther
- Huisman, Marieke
- Johnsen, Einar Broch
- Kang, Kyungtae
- Liao, Yuan-Fu
- Müller, Peter
- Parker, David
- Pleva, Matúš
- Pruncu, Catalin I.
- Rosu, Grigore
- Russo, Alessandra
- Schröder, Lutz
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Computer networking & communications
- Computer science
- Control Structures and Microprogramming
- Formal methods and theory of security
- Mathematical theory of computation
- Natural language & machine translation
- Software Engineering
- Theory of Computation
- artificial intelligence
- embedded systems
- formal logic
- formal methods
- model checking
- parallel processing systems
- program compilers
- semantics
- software engineering
- verification
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages