Limit Search Results
Author
SpringerLink (Online service)
(46)
Kotzé, Paula. editor.
(4)
Lindgaard, Gitte. editor.
(4)
Marsden, Gary. editor.
(4)
Wesson, Janet. editor.
(4)
Language
Publication Date
-
2013
(46)
Subject
Artificial intelligence.
(46)
Computer science.
(46)
Software engineering.
(46)
Information Systems Applications (incl. Internet).
(17)
Mathematical Logic and Formal Languages.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
46 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Personal Web A Research Agenda
The Personal Web A Research Agenda
Author 
Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.
Preferred Shelf Number 
ONLINE(334876.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39995-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II
Author 
Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335018.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40849-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I
Author 
Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335019.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40852-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Author 
Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335043.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings
On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings
Author 
Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.
Preferred Shelf Number 
ONLINE(335044.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41030-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Author 
Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.
Preferred Shelf Number 
ONLINE(335169.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44927-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Author 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335196.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action