Limit Search Results
Author
SpringerLink (Online service)
(166)
Kim, Tai-hoon. editor.
(7)
Gervasi, Osvaldo. editor.
(6)
Ślęzak, Dominik. editor.
(6)
Apduhan, Bernady O. editor.
(4)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
166 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Author 
Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II
Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II
Author 
Zavoral, Filip. editor. Yaghob, Jakub. editor. Pichappan, Pit. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14306-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
Author 
Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14347-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
Author 
Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14379-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers
Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers
Author 
Weyns, Danny. editor. Malek, Sam. editor. Lemos, Rogério. editor. Andersson, Jesper. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14412-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers
Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers
Author 
Lacroix, Zoé. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14415-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Author 
Laneve, Cosimo. editor. Su, Jianwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14458-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings
Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings
Author 
Meghanathan, Natarajan. editor. Boumerdassi, Selma. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings
Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings
Author 
Meghanathan, Natarajan. editor. Boumerdassi, Selma. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14478-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
Author 
Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings
Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings
Author 
Nikolaidis, Ioanis. editor. Wu, Kui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14785-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets