|
|
|
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer.
by Bjørner, Nikolaj [editor.] | de Boer, Frank [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
|
|
|
|
Database Theory - ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings / edited by Thomas Schwentick, Dan Suciu.
by Schwentick, Thomas [editor.] | Suciu, Dan [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
|
|
|
|
Auditory Display [electronic resource] : 6th International Symposium, CMMR/ICAD 2009, Copenhagen, Denmark, May 18-22, 2009, Revised Papers / edited by Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen.
by Ystad, Sølvi [editor.] | Aramaki, Mitsuko [editor.] | Kronland-Martinet, Richard [editor.] | Jensen, Kristoffer [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
|
|
|
|
Towards a Service-Based Internet [electronic resource] : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008, Proceedings / edited by Petri Mähönen, Klaus Pohl, Thierry Priol.
by Mähönen, Petri [editor.] | Pohl, Klaus [editor.] | Priol, Thierry [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
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings / edited by Thanaruk Theeramunkong, Boonserm Kijsirikul, Nick Cercone, Tu-Bao Ho.
by Theeramunkong, Thanaruk [editor.] | Kijsirikul, Boonserm [editor.] | Cercone, Nick [editor.] | Ho, Tu-Bao [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
|
|
|
|
Brain Informatics [electronic resource] : International Conference, BI 2012, Macau, China, December 4-7, 2012, Proceedings / edited by Fabio Zanzotto, Shusaku Tsumoto, Niels Taatgen, Yiyu Y. Yao.
by Zanzotto, Fabio [editor.] | Tsumoto, Shusaku [editor.] | Taatgen, Niels [editor.] | Yao, Yiyu Y [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
|
|
|
|
Progress in Cryptology - Mycrypt 2005 [electronic resource] : First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings / edited by Ed Dawson, Serge Vaudenay.
by Dawson, Ed [editor.] | Vaudenay, Serge [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
|
|
|
|
Information Security and Privacy [electronic resource] : 16th Australisian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011, Proceedings / edited by Udaya Parampalli, Philip Hawkes.
by Parampalli, Udaya [editor.] | Hawkes, Philip [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
|
|
|
|
Advances in Machine Learning and Cybernetics [electronic resource] : 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers / edited by Daniel S. Yeung, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan.
by Yeung, Daniel S [editor.] | Liu, Zhi-Qiang [editor.] | Wang, Xi-Zhao [editor.] | Yan, Hong [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
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 14th International Conference, CICLing 2013, Karlovasi, Samos, Greece, March 24-30, 2013, Proceedings, Part II / edited by Alexander Gelbukh.
by Gelbukh, 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
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part I / edited by Hiroyuki Kitagawa, Yoshiharu Ishikawa, Wenjie Li, Chiemi Watanabe.
by Kitagawa, Hiroyuki [editor.] | Ishikawa, Yoshiharu [editor.] | Li, Wenjie [editor.] | Watanabe, Chiemi [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
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / edited by George Danezis.
by Danezis, George [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.
by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [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
|
|
|
|
Discovery Science [electronic resource] : 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012, Proceedings / edited by Jean-Gabriel Ganascia, Philippe Lenca, Jean-Marc Petit.
by Ganascia, Jean-Gabriel [editor.] | Lenca, Philippe [editor.] | Petit, Jean-Marc [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] : 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers / edited by Nicolas Christin, Reihaneh Safavi-Naini.
by Christin, Nicolas [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013, Proceedings / edited by Rafael Accorsi, Silvio Ranise.
by Accorsi, Rafael [editor.] | Ranise, Silvio [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
|
|
|
|
Hybrid Artificial Intelligent Systems, Part II [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings / edited by Manuel Grana Romay, Alexandre Manhaes Savio.
by Romay, Manuel Grana [editor.] | Savio, Alexandre Manhaes [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
|
|
|
|
Theory of Cryptography [electronic resource] : Sixth Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009, Proceedings / edited by Omer Reingold.
by Reingold, Omer [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 Bioinformatics and Computational Biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012, Proceedings / edited by Marcilio C.P. de Souto, Maricel G. Kann.
by C.P. de Souto, Marcilio [editor.] | Kann, Maricel G [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 Cryptology -- ICISC 2013 [electronic resource] : 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers / edited by Hyang-Sook Lee, Dong-Guk Han.
by Lee, Hyang-Sook [editor.] | Han, Dong-Guk [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
|
