Limit Search Results
Author
SpringerLink (Online service)
(136)
Wiley InterScience (Online service)
(14)
ScienceDirect (Online service)
(7)
Dongarra, Jack. editor.
(5)
Albada, Geert Dick. editor.
(4)
Language
Subject
Computer science.
(99)
Electronic data processing.
(54)
Computer software.
(40)
Artificial intelligence.
(37)
Medical records -- Data processing.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
243 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Author 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings
Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings
Author 
Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72792-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
Author 
Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72823-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73001-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers
Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers
Author 
Ideker, Trey. editor. Bafna, Vineet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73060-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings
Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings
Author 
Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73074-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings
User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings
Author 
Conati, Cristina. editor. McCoy, Kathleen. editor. Paliouras, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73078-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Artificial Markets Modeling Methods and Applications
Artificial Markets Modeling Methods and Applications
Author 
Consiglio, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73135-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
Author 
Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
Author 
Schmorrow, Dylan D. editor. Reeves, Leah M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73216-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Data Integration in the Life Sciences 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings
Data Integration in the Life Sciences 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings
Author 
Cohen-Boulakia, Sarah. editor. Tannen, Val. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73255-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Information Processing in Medical Imaging 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007. Proceedings
Information Processing in Medical Imaging 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007. Proceedings
Author 
Karssemeijer, Nico. editor. Lelieveldt, Boudewijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73273-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action