Limit Search Results
Author
SpringerLink (Online service)
(430)
Kim, Tai-hoon. editor.
(11)
Huang, De-Shuang. editor.
(6)
Bouchon-Meunier, Bernadette. editor.
(5)
Greco, Salvatore. editor.
(5)
Language
Subject
Computer science.
(424)
Information storage and retrieval systems.
(157)
Computer Communication Networks.
(144)
Computer software.
(137)
Software engineering.
(112)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
432 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Author 
Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34188-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Provenance and Annotation of Data and Processes 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers
Provenance and Annotation of Data and Processes 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers
Author 
Groth, Paul. editor. Frew, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34222-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34396-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
Author 
Hamadi, Youssef. editor. Schoenauer, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Author 
Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Verber, Domen. editor. Cipolla-Ficarra, Miguel. editor. Kammüller, Florian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34010-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Human Behavior Understanding Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings
Human Behavior Understanding Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings
Author 
Salah, Albert Ali. editor. Ruiz-del-Solar, Javier. editor. Meriçli, Çetin. editor. Oudeyer, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34014-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34026-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34032-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III
Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III
Author 
Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34487-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings
Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings
Author 
Narasimhan, Priya. editor. Triantafillou, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
Author 
Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35173-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Machine Learning in Medical Imaging Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers
Machine Learning in Medical Imaging Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers
Author 
Wang, Fei. editor. Shen, Dinggang. editor. Yan, Pingkun. editor. Suzuki, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action