Refine your search
Availability
-
Authors
- Calmet, Jacques
- Dang, Zhe
- Düntsch, Ivo
- Harju, Tero
- Ibarra, Oscar H.
- Ida, Tetsuo
- Ito, Masami
- Karhumäki, Juhani
- Kuznetsov, Sergei O.
- Lepistö, Arto
- MacCaull, Wendy
- Medina, Raoul
- Missaoui, Rokia
- Obiedkov, Sergei
- Schmidt, Jürg
- Schmidt, Stefan
- Toyama, Masafumi
- Wang, Dongming
- Winter, Michael
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra
- Algorithm Analysis a...
- Artificial Intellige...
- Artificial intellige...
- Computation by Abstr...
- Computational comple...
- Computer Science
- Computer science
- Computer software
- Data mining
- Data Mining and Know...
- Discrete Mathematics...
- Electronic data proc...
- Logic design
- Logics and Meanings ...
- Mathematical Logic a...
- Order, Lattices, Ord...
- Software engineering
- Software Engineering
- Symbolic and Algebra...
- Show more
- Show less