Limit Search Results
Author
SpringerLink (Online service)
(580)
Jain, Lakhmi C. editor.
(16)
Abraham, Ajith. editor.
(7)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(7)
Language
English
(580)
Publication Date
-
2013
(580)
Subject
Artificial intelligence.
(580)
Computer science.
(381)
Engineering.
(198)
Computational Intelligence.
(171)
Information Systems Applications (incl. Internet).
(128)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
580 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Author 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334626.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38574-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334790.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39360-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Combinatorial Search: From Algorithms to Systems
Combinatorial Search: From Algorithms to Systems
Author 
Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41647-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Business Information Systems Workshops BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers
Business Information Systems Workshops BIS 2013 International Workshops, Poznań, Poland, June 19-20, 2013, Revised Papers
Author 
Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335139.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41687-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Transactions on Computational Collective Intelligence XI
Transactions on Computational Collective Intelligence XI
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335144.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Transactions on Computational Collective Intelligence XII
Transactions on Computational Collective Intelligence XII
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335221.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53878-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Modelling and Controlling of Behaviour for Autonomous Mobile Robots
Modelling and Controlling of Behaviour for Autonomous Mobile Robots
Author 
Skubch, Hendrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335253.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00811-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Practical OpenCV
Practical OpenCV
Author 
Brahmbhatt, Samarth. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330750.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6080-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Grasping in Robotics
Grasping in Robotics
Author 
Carbone, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331037.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4664-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Principles of Data Mining
Principles of Data Mining
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331086.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action