Refine your search
Availability
-
Authors
- Balakrishnan, N.
- Bjørner, D.
- Decker, Reinhold
- Dehne, F.
- Diekert, Volker
- Griebel, Michael
- Howlett, Robert J.
- Jain, L. C.
- Jungnickel, Dieter
- Kittler, Josef
- Langtangen, Hans Pet...
- Nagel, Wolfgang E.
- Pardalos, Panos M.
- Quirk, Thomas J.
- Rehm, Georg
- Roli, Fabio
- Sack, J.-R.
- Uszkoreit, Hans
- Vichi, Maurizio
- Voronkov, Andrei
- Show more
- Show less
-
Collections
-
Home libraries
-
Item types
-
Series
- Algorithms and Compu...
- International Series...
- Lecture notes in com...
- Lecture Notes in Com...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- Serienbezeichnung
- Springer Optimizatio...
- Springer Proceedings...
- Springer Series in S...
- Springer Texts in St...
- Springer Undergradua...
- SpringerBriefs in St...
- Statistics for Indus...
- Studies in Classific...
- Texts in Computation...
- White Paper Series
- Show more
- Show less
-
Places
- Asia
- Barcelona <1990>
- Budapest (2003)
- Cambridge (2004)
- Coimbra (2004)
- Dagstuhl <2003>
- Darmstadt (2003)
- Graz (2003)
- Honnef <1993>
- Katmandu (2004)
- Klagenfurt <2005>
- Latin America
- Malaysia
- Ottawa (2003)
- Russia (Federation)
- Seattle (Wash., 2004...
- United States
- Utrecht <1992>
- Wien <1992>
- États-Unis
- Show more
- Show less
-
Topics
- Algorithms
- Artificial intellige...
- Combinatorics
- Computer mathematics
- Computer science
- Computer Science
- COMPUTERS
- Expert systems (Comp...
- Formal methods (Comp...
- Informatique
- Mathematics
- Mathematics of Compu...
- Natural language pro...
- Neural networks (Com...
- Probabilities
- Probability Theory a...
- Statistical Theory a...
- Statistics
- Statistics for Engin...
- Show more
- Show less
-
Titles