Limit Search Results
Author
SpringerLink (Online service)
(188)
Cao, Longbing. editor.
(4)
Gelbukh, Alexander. editor.
(4)
Kotzé, Paula. editor.
(4)
Lee, Jangmyung. editor.
(4)
Language
English
(188)
Publication Date
-
2013
(188)
Subject
Artificial intelligence.
(188)
Computer science.
(175)
Information Systems Applications (incl. Internet).
(74)
Information Storage and Retrieval.
(63)
Information storage and retrieval systems.
(63)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
188 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
Author 
Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332965.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03092-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings
Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings
Author 
Jatowt, Adam. editor. Lim, Ee-Peng. editor. Ding, Ying. editor. Miura, Asako. editor. Tezuka, Taro. editor.
Preferred Shelf Number 
ONLINE(332973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings
Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings
Author 
Garoufallou, Emmanouel. editor. Greenberg, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332974.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03437-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Author 
Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332979.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03524-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Author 
Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03680-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering
Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering
Author 
Yang, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333474.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31698-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Intelligent Autonomous Systems 12 Volume 1 Proceedings of the 12th International Conference IAS-12, held June 26-29, 2012, Jeju Island, Korea
Intelligent Autonomous Systems 12 Volume 1 Proceedings of the 12th International Conference IAS-12, held June 26-29, 2012, Jeju Island, Korea
Author 
Lee, Sukhan. editor. Cho, Hyungsuck. editor. Yoon, Kwang-Joon. editor. Lee, Jangmyung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333775.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33926-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Intelligent Autonomous Systems 12 Volume 2 Proceedings of the 12th International Conference IAS-12, held June 26-29, 2012, Jeju Island, Korea
Intelligent Autonomous Systems 12 Volume 2 Proceedings of the 12th International Conference IAS-12, held June 26-29, 2012, Jeju Island, Korea
Author 
Lee, Sukhan. editor. Cho, Hyungsuck. editor. Yoon, Kwang-Joon. editor. Lee, Jangmyung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333777.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33932-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA)
Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA)
Author 
Satapathy, Suresh Chandra. editor. Udgata, Siba K. editor. Biswal, Bhabendra Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35314-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Author 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE(334064.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action