Refine your search
Availability
-
Authors
- Bast, Hannah
- Johnsen, Einar Broch
- Kavallieros, Dimitrios
- Kolokotronis, Nicholas
- Korzen, Claudius
- Marwedel, Peter
- Meyer, Ulrich
- Morik, Katharina
- Müller, Peter
- Panda, Dhabaleswar K.
- Penschuck, Manuel
- Sargsyan, Gohar
- Sergey, Ilya
- Shoham, Sharon
- Viglietta, Giovanni
- Vizel, Yakir
- Wimmer, Manuel
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Computer networking & communications
- Computer science
- Natural language & machine translation
- computer networks
- computer programming
- computer systems
- distributed computer systems
- distributed systems
- embedded systems
- formal languages
- formal logic
- linguistics
- mathematics
- microprocessor chips
- model checking
- network protocols
- parallel processing systems
- software quality
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages