Limit Search Results
Author
SpringerLink (Online service)
(3145)
Kim, Tai-hoon. editor.
(49)
Yung, Moti. editor.
(30)
Yang, Laurence T. editor.
(26)
Apduhan, Bernady O. editor.
(25)
Language
Publication Date
-
2011
(436)
2010
(388)
2012
(374)
2018
(321)
2013
(280)
Subject
Computer science.
(2721)
Software engineering.
(1161)
Information systems.
(1057)
Artificial intelligence.
(922)
Computer software.
(873)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3149 Results Found Subscribe to search results
000000000000DEFAULT
Print
1813. 
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:
1814. 
Cover image for Transactions on Data Hiding and Multimedia Security V
Transactions on Data Hiding and Multimedia Security V
Author 
Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14298-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1815. 
Cover image for Efficient Secure Two-Party Protocols Techniques and Constructions
Efficient Secure Two-Party Protocols Techniques and Constructions
Author 
Hazay, Carmit. author. Lindell, Yehuda. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14303-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1816. 
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:
1817. 
Cover image for Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings
Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings
Author 
Ortiz, Ángel. editor. Franco, Rubén Darío. editor. Gasquet, Pedro Gómez. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14341-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1818. 
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:
1819. 
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:
1820. 
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:
1821. 
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:
1822. 
Cover image for Information, Security and Cryptology – ICISC 2009 12th International Conference, Seoul, Korea, December 2-4, 2009, Revised Selected Papers
Information, Security and Cryptology – ICISC 2009 12th International Conference, Seoul, Korea, December 2-4, 2009, Revised Selected Papers
Author 
Lee, Donghoon. editor. Hong, Seokhie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14423-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1823. 
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:
1824. 
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:
Select an Action