|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / edited by José Nelson Amaral.
by Amaral, José Nelson [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Communications and Multimedia Security [electronic resource] : 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings / edited by Herbert Leitold, Evangelos Markatos.
by Leitold, Herbert [editor.] | Markatos, Evangelos [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
|
|
|
|
Information Security and Privacy [electronic resource] : 19th Australasian Conference, ACISP 2014, Wollongong, NSW, Australia, July 7-9, 2014. Proceedings / edited by Willy Susilo, Yi Mu.
by Susilo, Willy [editor.] | Mu, Yi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / edited by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen.
by D'Souza, Deepak [editor.] | Lal, Akash [editor.] | Larsen, Kim Guldstrand [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / edited by José Proença, Markus Lumpe.
by Proença, José [editor.] | Lumpe, Markus [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
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings / edited by Marc Dacier, Michael Bailey, Michalis Polychronakis, Manos Antonakakis.
by Dacier, Marc [editor.] | Bailey, Michael [editor.] | Polychronakis, Michalis [editor.] | Antonakakis, Manos [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
|
|
|
|
Provable Security [electronic resource] : First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings / edited by Willy Susilo, Joseph K. Liu, Yi Mu.
by Susilo, Willy [editor.] | Liu, Joseph K [editor.] | Mu, Yi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008, Revised Papers / edited by Ioannis G. Tollis, Maurizio Patrignani.
by Tollis, Ioannis G [editor.] | Patrignani, Maurizio [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
|
|
|
|
Advances in Computation and Intelligence [electronic resource] : Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings / edited by Sanyou Zeng.
by Zeng, Sanyou [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings / edited by Alejandro López-Ortiz.
by López-Ortiz, Alejandro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings / edited by Bart Preneel, Frederik Vercauteren.
by Preneel, Bart [editor.] | Vercauteren, Frederik [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 11th Annunal International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007, Proceedings / edited by Terry Speed, Haiyan Huang.
by Speed, Terry [editor.] | Huang, Haiyan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Theory of Cryptography [electronic resource] : 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007, Proceedings / edited by Salil P. Vadhan.
by Vadhan, Salil P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Learning Classifier Systems [electronic resource] : 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers / edited by Jaume Bacardit, Will Browne, Jan Drugowitsch, Ester Bernadó-Mansilla, Martin V. Butz.
by Bacardit, Jaume [editor.] | Browne, Will [editor.] | Drugowitsch, Jan [editor.] | Bernadó-Mansilla, Ester [editor.] | Butz, Martin V [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Advances in Intrusion Detection [electronic resource] : 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers / edited by Alfonso Valdes, Diego Zamboni.
by Valdes, Alfonso [editor.] | Zamboni, Diego [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
|
|
|
|
Dependable Computing [electronic resource] : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings / edited by Marco Vieira, Joao Carlos Cunha.
by Vieira, Marco [editor.] | Cunha, Joao Carlos [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
|
|
|
|
Theory of Cryptography [electronic resource] : 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / edited by Yevgeniy Dodis, Jesper Buus Nielsen.
by Dodis, Yevgeniy [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Frontiers in Algorithmics [electronic resource] : Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings / edited by Franco P. Preparata, Xiaodong Wu, Jianping Yin.
by Preparata, Franco P [editor.] | Wu, Xiaodong [editor.] | Yin, Jianping [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms -- ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / edited by Leah Epstein, Paolo Ferragina.
by Epstein, Leah [editor.] | Ferragina, Paolo [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
|
|
|
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik.
by Blazy, Sandrine [editor.] | Chechik, Marsha [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
|
