Refine your search
Availability
-
Authors
- Blockeel, Hendrik
- Bock, Hans Georg
- Cohen, Serge
- Fomin, Fedor V.
- Freivalds, Rūsiņš
- Groen, Frans C. A.
- Guo, Chengan
- Hou, Zeng-Guang
- Kersting, Kristian
- Kwiatkowska, Marta
- Kösters, Holger
- Nagel, Wolfgang E.
- Nielsen, Frank
- Nijssen, Siegfried
- Resch, Michael M.
- Sako, Kazue
- Shafarevich, Igor R.
- Tan, Ying
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- Bolyai Society Mathe...
- Differential-Algebra...
- Geometry and Computi...
- Intelligent Systems ...
- Lecture Notes in Bus...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Lecture Notes in Mat...
- Mathematical Enginee...
- Mathématiques et App...
- Probability and Its ...
- Springer Finance
- Springer Monographs ...
- Springer Proceedings...
- Springer Theses, Rec...
- SpringerBriefs in El...
- Studies in Computati...
- Studies in Fuzziness...
- Texts in Computation...
- Understanding Comple...
- Show more
- Show less
-
Topics