Limit Search Results
Author
SpringerLink (Online service)
(11590)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(39)
Gervasi, Osvaldo. editor.
(39)
Gavrilova, Marina L. editor.
(36)
Language
Publication Date
-
2013
(1522)
2011
(1414)
2012
(1330)
2010
(1264)
2009
(1196)
Subject
Artificial intelligence.
(3262)
Software engineering.
(2980)
Computer Communication Networks.
(2721)
Information systems.
(2469)
Computer software.
(2011)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11662 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings
Author 
Matsumoto, Yuji. editor. Sproat, Richard W. editor. Wong, Kam-Fai. editor. Zhang, Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11940098
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings
Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings
Author 
Asano, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11940128
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Author 
Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11940197
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Progress in Cryptology - INDOCRYPT 2006 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings
Progress in Cryptology - INDOCRYPT 2006 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings
Author 
Barua, Rana. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11941378
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Artificial Reality and Tele-Existence 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006. Proceedings
Advances in Artificial Reality and Tele-Existence 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006. Proceedings
Author 
Pan, Zhigeng. editor. Cheok, Adrian. editor. Haller, Michael. editor. Lau, Rynson W. H. editor. Saito, Hideo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11941354
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings
AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings
Author 
Sattar, Abdul. editor. Kang, Byeong-ho. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11941439
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
Author 
Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-49823-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Rough Sets and Current Trends in Computing 5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings
Rough Sets and Current Trends in Computing 5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings
Author 
Greco, Salvatore. editor. Hata, Yutaka. editor. Hirano, Shoji. editor. Inuiguchi, Masahiro. editor. Miyamoto, Sadaaki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11908029
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings
Author 
Min, Geyong. editor. Martino, Beniamino. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Rünger, Gudula. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11942634
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Web Based Learning – ICWL 2006 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers
Advances in Web Based Learning – ICWL 2006 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers
Author 
Liu, Wenyin. editor. Li, Qing. editor. W.H. Lau, Rynson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11925293
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Service Availability Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers
Service Availability Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers
Author 
Penkler, Dave. editor. Reitenspiess, Manfred. editor. Tam, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11955498
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
Author 
Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11955757
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action