Limit Search Results
Author
SpringerLink (Online service)
(388)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(6)
Gavrilova, Marina L. editor.
(5)
Hou, Zeng-Guang. editor.
(5)
Language
English
(388)
Publication Date
-
2013
(388)
Subject
Artificial intelligence.
(388)
Computer science.
(381)
Information Systems Applications (incl. Internet).
(119)
Information Storage and Retrieval.
(109)
Information storage and retrieval systems.
(109)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
388 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 Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Author 
Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03161-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
Author 
Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332970.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03200-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers
Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers
Author 
Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Author 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number 
ONLINE(334041.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Author 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Author 
Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334099.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36008-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
Author 
Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334176.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36321-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
Author 
Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36337-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers
Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers
Author 
Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor. Riaño, David. editor.
Preferred Shelf Number 
ONLINE(334204.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36438-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action