Limit Search Results
Author
SpringerLink (Online service)
(1018)
Guo, Minyi. editor.
(6)
Yang, Laurence T. editor.
(6)
Dongarra, Jack. editor.
(5)
Jain, Lakhmi. editor.
(5)
Language
Subject
Computer science.
(970)
Artificial intelligence.
(291)
Information systems.
(289)
Software engineering.
(285)
Computer Communication Networks.
(256)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1062 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Nearest Neighbor Search A Database Perspective
Nearest Neighbor Search A Database Perspective
Author 
Papadopoulos, Apostolos N. author. Manolopoulos, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27544-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Author 
Bierman, Gavin. editor. Koch, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11601524
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Transactions on Computational Systems Biology III
Transactions on Computational Systems Biology III
Author 
Priami, Corrado. editor. Merelli, Emanuela. editor. Gonzalez, Pablo. editor. Omicini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599128
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Journal on Data Semantics IV
Journal on Data Semantics IV
Author 
Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11603412
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Information Hiding 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005. Revised Selected Papers
Information Hiding 7th International Workshop, IH 2005, Barcelona, Spain, June 6-8, 2005. Revised Selected Papers
Author 
Barni, Mauro. editor. Herrera-Joancomartí, Jordi. editor. Katzenbeisser, Stefan. editor. Pérez-González, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558859
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
Author 
Banâtre, Jean-Pierre. editor. Fradet, Pascal. editor. Giavitto, Jean-Louis. editor. Michel, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527800
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Author 
Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11580850
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings
Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings
Author 
Lowe, David. editor. Gaedke, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31484-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11574859
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
Author 
Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137278
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Audio- and Video-Based Biometric Person Authentication 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005. Proceedings
Audio- and Video-Based Biometric Person Authentication 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005. Proceedings
Author 
Kanade, Takeo. editor. Jain, Anil. editor. Ratha, Nalini K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31638-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action