Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
Author 
Wang, Farn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11562436
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Author 
Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11569596
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
Author 
Syrotiuk, Violet R. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561354
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings
Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings
Author 
Bozanis, Panayiotis. editor. Houstis, Elias N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573036
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Author 
Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11589976
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings
Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings
Author 
Jin, Hai. editor. Reed, Daniel. editor. Jiang, Wenbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11577188
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
Author 
Yi, Kwangkeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575467
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings
Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings
Author 
Li, Stan Z. editor. Sun, Zhenan. editor. Tan, Tieniu. editor. Pankanti, Sharath. editor. Chollet, Gérard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11569947
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Author 
Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576280
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Author 
Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106923
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Author 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106663
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for RoboCup 2004: Robot Soccer World Cup VIII
RoboCup 2004: Robot Soccer World Cup VIII
Author 
Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106671
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets