Limit Search Results
Author
SpringerLink (Online service)
(55)
Project Muse.
(40)
Ayache, Nicholas. editor.
(3)
Delingette, Hervé. editor.
(3)
Golland, Polina. editor.
(3)
Language
Subject
Computer science.
(49)
Artificial intelligence.
(26)
Software engineering.
(23)
Computer software.
(18)
Computer Communication Networks.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
210 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Author 
Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Author 
Bikakis, Antonis. editor. Giurca, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32689-9
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Author 
Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
Author 
Durand-Lose, Jérôme. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32894-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Author 
Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32897-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
Author 
Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32986-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Author 
Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Author 
Cerro, Luis Fariñas. editor. Herzig, Andreas. editor. Mengin, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33353-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Green Communications and Networking First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011, Revised Selected Papers
Green Communications and Networking First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011, Revised Selected Papers
Author 
Rodrigues, Joel J. P. C. editor. Zhou, Liang. editor. Chen, Min. editor. Kailas, Aravind. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33368-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I
Author 
Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33415-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II
Author 
Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III
Author 
Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33454-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action