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
(581)
Publication Date
-
2013
(580)
2009
(1)
Subject
Artificial Intelligence (incl. Robotics).
(580)
Artificial intelligence.
(580)
Computer science.
(381)
Engineering.
(198)
Computational Intelligence.
(171)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
581 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings
Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings
Author 
Tenbrink, Thora. editor. Stell, John. editor. Galton, Antony. editor. Wood, Zena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332890.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Author 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332892.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings
Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings
Author 
Železný, Miloš. editor. Habernal, Ivan. editor. Ronzhin, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332893.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01931-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
Author 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332993.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03753-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Author 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332994.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03756-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advances in Information Technology 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings
Advances in Information Technology 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings
Author 
Papasratorn, Borworn. editor. Charoenkitkarn, Nipon. editor. Vanijja, Vajirasak. editor. Chongsuphajaisiddhi, Vithida. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332996.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03783-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Puzzles in Logic, Languages and Computation The Green Book
Puzzles in Logic, Languages and Computation The Green Book
Author 
Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34372-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Puzzles in Logic, Languages and Computation The Red Book
Puzzles in Logic, Languages and Computation The Red Book
Author 
Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333842.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34378-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Evolution of Semantic Systems
Evolution of Semantic Systems
Author 
Küppers, Bernd-Olaf. editor. Hahn, Udo. editor. Artmann, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333917.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34997-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Multiagent Systems and Applications Volume 2: Development Using the GORITE BDI Framework
Multiagent Systems and Applications Volume 2: Development Using the GORITE BDI Framework
Author 
Jarvis, Dennis. author. Jarvis, Jacqueline. author. Ronnquist, Ralph. author. Jain, Lakhmi C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333693.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33320-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Advanced Techniques in Web Intelligence-2 Web User Browsing Behaviour and Preference Analysis
Advanced Techniques in Web Intelligence-2 Web User Browsing Behaviour and Preference Analysis
Author 
Velásquez, Juan D. editor. Palade, Vasile. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333695.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33326-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets