Limit Search Results
Author
SpringerLink (Online service)
(148)
Köppen, Mario. editor.
(6)
Badica, Costin. editor.
(4)
Roy, Rajkumar. editor.
(4)
Abraham, Ajith. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(148)
Engineering.
(101)
Engineering mathematics.
(81)
Computer science.
(25)
Information systems.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
148 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Particle Filters for Random Set Models
Particle Filters for Random Set Models
Author 
Ristic, Branko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6316-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Search Theory A Game Theoretic Perspective
Search Theory A Game Theoretic Perspective
Author 
Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Preferred Shelf Number 
ONLINE(332129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Geometry of Knowledge for Intelligent Systems
Geometry of Knowledge for Intelligent Systems
Author 
Resconi, Germano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333167.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27972-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Neuromathematik und Assoziativmaschinen
Neuromathematik und Assoziativmaschinen
Author 
Bentz, Hans-Joachim. author. Dierks, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337305.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37938-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Novelty, Information and Surprise
Novelty, Information and Surprise
Author 
Palm, Günther. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
Author 
Barthelmeß, Ulrike. author. Furbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Author 
Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31612-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for The Playful Machine Theoretical Foundation and Practical Realization of Self-Organizing Robots
The Playful Machine Theoretical Foundation and Practical Realization of Self-Organizing Robots
Author 
Der, Ralf. author. Martius, Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20253-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Hybrid Optimization The Ten Years of CPAIOR
Hybrid Optimization The Ten Years of CPAIOR
Author 
van Hentenryck, Pascal. editor. Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1644-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Intelligent Systems: Approximation by Artificial Neural Networks
Intelligent Systems: Approximation by Artificial Neural Networks
Author 
Anastassiou, George A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21431-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Learning Spaces Interdisciplinary Applied Mathematics
Learning Spaces Interdisciplinary Applied Mathematics
Author 
Falmagne, Jean-Claude. author. Doignon, Jean-Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01039-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action