Limit Search Results
Author
SpringerLink (Online service)
(74)
Hu, Zhanyi. editor.
(4)
Lee, Kyoung Mu. editor.
(4)
Matsushita, Yasuyuki. editor.
(4)
Rehg, James M. editor.
(4)
Language
Publication Date
-
2013
(74)
Subject
Artificial intelligence.
(74)
Computer science.
(69)
Information Systems Applications (incl. Internet).
(27)
Information systems.
(23)
Health Informatics.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
74 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Modelling and Control of Dialysis Systems Volume 1: Modeling Techniques of Hemodialysis Systems
Modelling and Control of Dialysis Systems Volume 1: Modeling Techniques of Hemodialysis Systems
Author 
Azar, Ahmad Taher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333152.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27458-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Transactions on Rough Sets XVI
Transactions on Rough Sets XVI
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number 
ONLINE(334220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Author 
Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.
Preferred Shelf Number 
ONLINE(334532.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38085-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Author 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Author 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334875.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Author 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334877.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39998-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Author 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III
Author 
Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334998.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40760-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II
Author 
Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40763-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I
Author 
Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(335010.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40811-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers
Author 
David, Esther. editor. Kiekintveld, Christopher. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor.
Preferred Shelf Number 
ONLINE(335021.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40864-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action