Refine your search
Availability
-
Authors
- Baier, Christel
- Berthold, Michael
- Beyer, Dirk
- Bouyer, Patricia
- Dal Lago, Ugo
- Fattahi, Jaouhar
- Feelders, Ad
- Ferreira, Carla
- Fisman, Dana
- Graux, Damien
- Huisman, Marieke
- Jabeen, Hajira
- Janev, Valentina
- Kiefer, Stefan
- Krempl, Georg
- Lanese, Ivan
- McShane, Marjorie
- Müller, Peter
- Nirenburg, Sergei
- Rosu, Grigore
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Computer Systems Organization and Communication Networks
- Computer networking & communications
- Computer science
- Database Management
- Machine learning
- Mathematical theory of computation
- Software Engineering
- artificial intelligence
- databases
- embedded systems
- formal languages
- formal logic
- parallel processing systems
- program compilers
- programming languages
- semantics
- software engineering
- verification
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages