Limit Search Results
Author
Dongarra, Jack. editor.
(8)
Quarteroni, Alfio. author.
(6)
Wang, Jun. editor.
(6)
Yung, Moti. editor.
(6)
Choo, Hyunseung. editor.
(5)
Language
Subject
Computer science.
(1033)
Artificial intelligence.
(276)
Software engineering.
(266)
Information systems.
(258)
Computer Communication Networks.
(253)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1073 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
Author 
Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34735-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Software Configuration Management Using Vesta
Software Configuration Management Using Vesta
Author 
Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-30852-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Theory of Computation
Theory of Computation
Author 
Kozen, Dexter C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-477-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Constraint-Based Mining and Inductive Databases European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers
Constraint-Based Mining and Inductive Databases European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers
Author 
Boulicaut, Jean-François. editor. Raedt, Luc. editor. Mannila, Heikki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11615576
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
Author 
Hong, Hoon. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11615798
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings
Author 
Fossorier, Marc P. C. editor. Imai, Hideki. editor. Lin, Shu. editor. Poli, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617983
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Journal on Data Semantics V
Journal on Data Semantics V
Author 
Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Chu, Wesley W. editor. Catarci, Tiziana. editor. Sycara, Katia P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617808
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Author 
Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617990
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Recent Advances in Intrusion Detection 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers
Recent Advances in Intrusion Detection 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers
Author 
Valdes, Alfonso. editor. Zamboni, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11663812
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers
Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers
Author 
Bruel, Jean-Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11663430
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings
Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings
Author 
Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11663881
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action