Limit Search Results
Author
SpringerLink (Online service)
(145)
Wiley InterScience (Online service)
(5)
Ayache, Nicholas. editor.
(3)
Delingette, Hervé. editor.
(3)
Golland, Polina. editor.
(3)
Language
Subject
Computer science.
(95)
Electronic data processing.
(58)
Medical records -- Data processing.
(43)
Artificial intelligence.
(39)
Computer software.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
285 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Author 
Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31374-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Author 
Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Author 
Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31662-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Modeling Time in Computing
Modeling Time in Computing
Author 
Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32332-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers
Computational Intelligence for Multimedia Understanding International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers
Author 
Salerno, Emanuele. editor. Çetin, A. Enis. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32436-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Author 
Gupta, Anupam. editor. Jansen, Klaus. editor. Rolim, José. editor. Servedio, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32512-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
Author 
Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33558-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Author 
Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33636-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
Author 
Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33996-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II
Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II
Author 
Liu, Chunfeng. editor. Wang, Leizhen. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34041-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Social Robotics 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012. Proceedings
Social Robotics 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012. Proceedings
Author 
Ge, Shuzhi Sam. editor. Khatib, Oussama. editor. Cabibihan, John-John. editor. Simmons, Reid. editor. Williams, Mary-Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34103-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Author 
Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35308-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action