Limit Search Results
Author
SpringerLink (Online service)
(1297)
Anglin, Steve. editor.
(28)
Beckner, Mark. editor.
(28)
Buckingham, Ewan. editor.
(28)
Cornell, Gary. editor.
(28)
Language
Subject
Computer science.
(1264)
Information systems.
(424)
Computer Communication Networks.
(375)
Artificial intelligence.
(344)
Software engineering.
(322)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1365 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Author 
Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11319-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings
Author 
Kant, Krishna. editor. Pemmaraju, Sriram V. editor. Sivalingam, Krishna M. editor. Wu, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11322-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies
Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies
Author 
Priami, Corrado. editor. Breitling, Rainer. editor. Gilbert, David. editor. Heiner, Monika. editor. Uhrmacher, Adelinde M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11712-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11721-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Author 
Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11747-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Author 
Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Winckler, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11750-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iaşi, Romania, March 21-27, 2010. Proceedings
Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iaşi, Romania, March 21-27, 2010. Proceedings
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12116-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Multiple Classifier Systems 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings
Multiple Classifier Systems 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings
Author 
Gayar, Neamat. editor. Kittler, Josef. editor. Roli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
Author 
Sirisuk, Phaophak. editor. Morgan, Fearghal. editor. El-Ghazawi, Tarek. editor. Amano, Hideharu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12133-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Author 
Cowling, Peter. editor. Merz, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12139-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Intelligent Information and Database Systems Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part I
Intelligent Information and Database Systems Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Le, Manh Thanh. editor. Świątek, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12145-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Author 
Esparcia-Alcázar, Anna Isabel. editor. Ekárt, Anikó. editor. Silva, Sara. editor. Dignum, Stephen. editor. Uyar, A. Şima. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action