Refine your search
Availability
-
Authors
- Baier, Christel
- Beyer, Dirk
- Cochez, Michael
- Croitoru, Madalina
- Dal Lago, Ugo
- Ferreira, Carla
- Guerra, Esther
- Huisman, Marieke
- Kiefer, Stefan
- Lanese, Ivan
- Marquis, Pierre
- Müller, Peter
- Rudolph, Sebastian
- Russo, Alessandra
- Schultz, Ulrik Pagh
- Schürr, Andy
- Sergey, Ilya
- Stoelinga, Mariëlle
- Tasson, Christine
- Ulidowski, Irek
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Computer science
- Mathematical theory of computation
- Natural Language Processing (NLP)
- Natural language & machine translation
- Theory of Computation
- artificial intelligence
- computer software selection and evaluation
- embedded systems
- formal languages
- formal logic
- formal methods
- model checking
- parallel processing systems
- program compilers
- programming languages
- semantics
- software engineering
- verification
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages