Refine your search
Availability
-
Authors
- Aspinall, David
- Blümlein, Johannes
- Carette, Jacques
- Chan, Chi-kong
- Detinko, Alla
- Didimo, Walter
- Flannery, Dane
- Fleuriot, Jacques
- Gerdt, Vladimir P.
- Ghosh, Subir Kumar
- Gonthier, Georges
- Grossi, Davide
- Gupta, Ashutosh
- Hasegawa, Masahito
- Hayes, John P.
- Heckel, Reiko
- Henzinger, Thomas A.
- Huang, Huaxin
- Ida, Tetsuo
- SpringerLink (Online service)
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Algorithm Analysis and Problem Complexity
- Algorithms
- Artificial Intelligence (incl. Robotics)
- Artificial intelligence
- Computer Graphics
- Computer Science
- Computer Science, general
- Computer graphics
- Computer logic
- Computer science
- Computers
- Discrete Mathematics in Computer Science
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Mathematical logic
- Mathematics
- Mathematics of Computing
- Software Engineering
- Software engineering
- Symbolic and Algebraic Manipulation
- Show more
- Show less
-
Languages
