Limit Search Results
Author
SpringerLink (Online service)
(69)
Even, Guy. editor.
(2)
Filipe, Joaquim. editor.
(2)
Obaidat, Mohammad S. editor.
(2)
Agrawal, Manindra. editor.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
71 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Operational Semantics and Verification of Security Protocols
Operational Semantics and Verification of Security Protocols
Author 
Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78636-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Crossing of Heaven Memoirs of a Mathematician
The Crossing of Heaven Memoirs of a Mathematician
Author 
Gustafson, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22558-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers
e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers
Author 
Obaidat, Mohammad S. editor. Tsihrintzis, George A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25206-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Data Security and Security Data 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers
Data Security and Security Data 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers
Author 
MacKinnon, Lachlan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25704-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings
Author 
Askoxylakis, Ioannis. editor. Pöhls, Henrich C. editor. Posegga, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30955-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Author 
Even, Guy. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31104-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
Author 
Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31131-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Author 
Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31155-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Progress in Cryptology - AFRICACRYPT 2012 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings
Progress in Cryptology - AFRICACRYPT 2012 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings
Author 
Mitrokotsa, Aikaterini. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31410-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012. Proceedings
Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012. Proceedings
Author 
Domingo-Ferrer, Josep. editor. Tinnirello, Ilenia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings
Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings
Author 
Chim, Tat Wing. editor. Yuen, Tsz Hon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34129-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action