Refine your search
Availability
-
Authors
- Calmet, Jacques
- Dang, Zhe
- Denecke, K.
- Düntsch, Ivo
- Fernau, Henning
- Harju, Tero
- Ibarra, Oscar H.
- Ida, Tetsuo
- Ito, Masami
- Karhumäki, Juhani
- Kohlhase, Michael
- MacCaull, Wendy
- Martín-Vide, Carlos
- Medina, Raoul
- Missaoui, Rokia
- Schmidt, Jürg
- Schmidt, Stefan
- Toyama, Masafumi
- Wang, Dongming
- Winter, Michael
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra
- Artificial intellige...
- Artificial Intellige...
- Computation by Abstr...
- Computational comple...
- Computer science
- Computer Science
- Data mining
- Data Mining and Know...
- Discrete Mathematics...
- Information storage ...
- Information Storage ...
- Logic design
- Logics and Meanings ...
- Mathematical Logic a...
- Mathematics
- Order, Lattices, Ord...
- Software engineering
- Software Engineering
- Symbolic and Algebra...
- Show more
- Show less