Limit Search Results
Author
SpringerLink (Online service)
(14254)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(53)
Taniar, David. editor.
(46)
Apduhan, Bernady O. editor.
(44)
Language
Publication Date
-
2013
(1663)
2011
(1535)
2012
(1450)
2010
(1342)
2009
(1266)
Subject
Computer science.
(11616)
Artificial intelligence.
(3776)
Software engineering.
(3217)
Computer Communication Networks.
(2799)
Information systems.
(2505)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14937 Results Found Subscribe to search results
000000000000DEFAULT
Print
1045. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1046. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1047. 
Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Author 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1048. 
Cover image for Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers
Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers
Author 
Kwon, Taekyoung. editor. Lee, Mun-Kyu. editor. Kwon, Daesung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334470.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37682-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1049. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Author 
Aldewereld, Huib. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334477.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37756-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1050. 
Cover image for Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II
Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II
Author 
Batyrshin, Ildar. editor. Mendoza, Miguel González. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334483.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37798-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1051. 
Cover image for Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
Author 
Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.
Preferred Shelf Number 
ONLINE(334485.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37804-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1052. 
Cover image for Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Author 
Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334486.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37807-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1053. 
Cover image for Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334494.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37890-4
Format: 
Availability 
Online Library~1
Available:
Copies:
1054. 
Cover image for Health Information Science Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings
Health Information Science Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings
Author 
Huang, Guangyan. editor. Liu, Xiaohui. editor. He, Jing. editor. Klawonn, Frank. editor. Yao, Guiqing. editor.
Preferred Shelf Number 
ONLINE(334496.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1055. 
Cover image for Transactions on Edutainment X
Transactions on Edutainment X
Author 
Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Iurgel, Ido. editor. Petta, Paolo. editor.
Preferred Shelf Number 
ONLINE(334501.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37919-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1056. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action