|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Ad-Hoc, Mobile and Wireless Networks [electronic resource] : 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009, Proceedings / edited by Pedro M. Ruiz, J. J. Garcia-Luna-Aceves.
by Ruiz, Pedro M [editor.] | Garcia-Luna-Aceves, J. J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings / edited by Michael Jacobson, Michael Locasto, Payman Mohassel, Reihaneh Safavi-Naini.
by Jacobson, Michael [editor.] | Locasto, Michael [editor.] | Mohassel, Payman [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2011 Workshops, RLCPS and WECSR, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / edited by George Danezis, Sven Dietrich, Kazue Sako.
by Danezis, George [editor.] | Dietrich, Sven [editor.] | Sako, Kazue [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected Papers / edited by Jim Blythe.
by Blythe, Jim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Privacy [electronic resource] : 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings / edited by Willy Susilo, Yi Mu, Jennifer Seberry.
by Susilo, Willy [editor.] | Mu, Yi [editor.] | Seberry, Jennifer [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Energy Efficient Data Centers [electronic resource] : First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers / edited by Jyrki Huusko, Hermann de Meer, Sonja Klingert, Andrey Somov.
by Huusko, Jyrki [editor.] | de Meer, Hermann [editor.] | Klingert, Sonja [editor.] | Somov, Andrey [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / edited by Lionel Briand, Clay Williams.
by Briand, Lionel [editor.] | Williams, Clay [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.
by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Data Integration in the Life Sciences [electronic resource] : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings / edited by Marcos Da Silveira, Cédric Pruski, Reinhard Schneider.
by Da Silveira, Marcos [editor.] | Pruski, Cédric [editor.] | Schneider, Reinhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - ASIACRYPT 2017 [electronic resource] : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I / edited by Tsuyoshi Takagi, Thomas Peyrin.
by Takagi, Tsuyoshi [editor.] | Peyrin, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology - ICISC 2015 [electronic resource] : 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers / edited by Soonhak Kwon, Aaram Yun.
by Kwon, Soonhak [editor.] | Yun, Aaram [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Traffic Monitoring and Analysis [electronic resource] : 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012, Proceedings / edited by Antonio Pescapè, Luca Salgarelli, Xenofontas Dimitropoulos.
by Pescapè, Antonio [editor.] | Salgarelli, Luca [editor.] | Dimitropoulos, Xenofontas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Data and Applications Security and Privacy XXVI [electronic resource] : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13, 2012, Proceedings / edited by Nora Cuppens-Boulahia, Frederic Cuppens, Joaquin Garcia-Alfaro.
by Cuppens-Boulahia, Nora [editor.] | Cuppens, Frederic [editor.] | Garcia-Alfaro, Joaquin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers / edited by Emmanuel Prouff.
by Prouff, Emmanuel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Designing Smart Homes [electronic resource] : The Role of Artificial Intelligence / edited by Juan Carlos Augusto, Chris D. Nugent.
by Augusto, Juan Carlos [editor.] | Nugent, Chris D [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / edited by Claude Carlet, M. Anwar Hasan, Vishal Saraswat.
by Carlet, Claude [editor.] | Hasan, M. Anwar [editor.] | Saraswat, Vishal [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Technology-Enabled Innovation for Democracy, Government and Governance [electronic resource] : Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings / edited by Andrea Kö, Christine Leitner, Herbert Leitold, Alexander Prosser.
by Kö, Andrea [editor.] | Leitner, Christine [editor.] | Leitold, Herbert [editor.] | Prosser, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Decision and Game Theory for Security [electronic resource] : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings / edited by Arman (MHR) Khouzani, Emmanouil Panaousis, George Theodorakopoulos.
by Khouzani, Arman (MHR) [editor.] | Panaousis, Emmanouil [editor.] | Theodorakopoulos, George [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security Practice and Experience [electronic resource] : 12th International Conference, ISPEC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / edited by Feng Bao, Liqun Chen, Robert H. Deng, Guojun Wang.
by Bao, Feng [editor.] | Chen, Liqun [editor.] | Deng, Robert H [editor.] | Wang, Guojun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
