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
37. 
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:
38. 
Cover image for Analysis of Rare Categories
Analysis of Rare Categories
Author 
He, Jingrui. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22813-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Cryptographic Protocol Security Analysis Based on Trusted Freshness
Cryptographic Protocol Security Analysis Based on Trusted Freshness
Author 
Dong, Ling. author. Chen, Kefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24073-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Challenges at the Interface of Data Analysis, Computer Science, and Optimization Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010
Challenges at the Interface of Data Analysis, Computer Science, and Optimization Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010
Author 
Gaul, Wolfgang A. editor. Geyer-Schulz, Andreas. editor. Schmidt-Thieme, Lars. editor. Kunze, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Relationale Datenbanken und SQL in Theorie und Praxis
Relationale Datenbanken und SQL in Theorie und Praxis
Author 
Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28986-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Engineering Secure Two-Party Computation Protocols Design, Optimization, and Applications of Efficient Secure Function Evaluation
Engineering Secure Two-Party Computation Protocols Design, Optimization, and Applications of Efficient Secure Function Evaluation
Author 
Schneider, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30042-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
Author 
Kranakis, Evangelos. editor. Krizanc, Danny. editor. Luccio, Flaminia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30347-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Author 
Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31606-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Author 
Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Author 
Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32202-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Digital Forensics and Watermarking 10th International Workshop, IWDW 2011, Atlantic City, NY, October 23-26, 2011, Revised Selected Papers
Digital Forensics and Watermarking 10th International Workshop, IWDW 2011, Atlantic City, NY, October 23-26, 2011, Revised Selected Papers
Author 
Shi, Yun Qing. editor. Kim, Hyoung-Joong. editor. Perez-Gonzalez, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32205-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
Author 
Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action