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 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:
15. 
Cover image for Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Author 
Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333703.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33389-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Credibilistic Programming An Introduction to Models and Applications
Credibilistic Programming An Introduction to Models and Applications
Author 
Li, Xiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334188.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36376-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Author 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
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:
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 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:
22. 
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:
23. 
Cover image for Nonlinear Mathematics for Uncertainty and its Applications
Nonlinear Mathematics for Uncertainty and its Applications
Author 
Li, Shoumei. editor. Wang, Xia. editor. Okazaki, Yoshiaki. editor. Kawabe, Jun. editor. Murofushi, Toshiaki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22833-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
Select an Action