|
|
|
Security Protocols [electronic resource] : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcom, Michael Roe.
by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcom, James A [editor.] | Roe, Michael [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
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings / edited by Miroslaw Kutylowski, Maciej Gebala, Witold Charatonik.
by Kutylowski, Miroslaw [editor.] | Gebala, Maciej [editor.] | Charatonik, Witold [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
|
|
|
|
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos.
by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [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
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012, Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Jake K. Aggarwal.
by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Aggarwal, Jake K [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
|
|
|
|
Architecture of Computing Systems - ARCS 2008 [electronic resource] : 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings / edited by Theo Ungerer, Christian Hochberger, Rainer G. Spallek.
by Ungerer, Theo [editor.] | Hochberger, Christian [editor.] | Spallek, Rainer G [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
|
|
|
|
Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings / edited by Margus Veanes, Jan Tretmans, Wolfgang Grieskamp.
by Veanes, Margus [editor.] | Tretmans, Jan [editor.] | Grieskamp, Wolfgang [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
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings / edited by Jérôme Lang, Fangzhen Lin, Ju Wang.
by Lang, Jérôme [editor.] | Lin, Fangzhen [editor.] | Wang, Ju [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
|
|
|
|
Euro-Par 2008 Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings / edited by Emilio Luque, Tomas Margalef, Domingo Benítez.
by Luque, Emilio [editor.] | Margalef, Tomas [editor.] | Benítez, Domingo [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
|
|
|
|
Cellular Automata [electronic resource] : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings / edited by Samira El Yacoubi, Bastien Chopard, Stafania Bandini.
by El Yacoubi, Samira [editor.] | Chopard, Bastien [editor.] | Bandini, Stafania [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
|
|
|
|
Membrane Computing [electronic resource] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / edited by David Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.
by Corne, David [editor.] | Frisco, Pierluigi [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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
|
|
|
|
Research and Advanced Technology for Digital Libraries [electronic resource] : 10th European Conference, EDCL 2006, Alicante Spain, September 17-22, 2006, Proceedings / edited by Julio Gonzalo, Constantino Thanos, M. Felisa Verdejo, Rafael C. Carrasco.
by Gonzalo, Julio [editor.] | Thanos, Constantino [editor.] | Verdejo, M. Felisa [editor.] | Carrasco, Rafael C [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
|
|
|
|
Bio-Inspired Computing and Applications [electronic resource] : 7th International Conference on Intelligent Computing, ICIC2011, Zhengzhou, China, August 11-14. 2011, Revised Papers / edited by De-Shuang Huang, Yong Gan, Prashan Premaratne, Kyungsook Han.
by Huang, De-Shuang [editor.] | Gan, Yong [editor.] | Premaratne, Prashan [editor.] | Han, Kyungsook [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
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings / edited by Javier Lopez, Simone Fischer-Hübner, Costas Lambrinoudakis.
by Lopez, Javier [editor.] | Fischer-Hübner, Simone [editor.] | Lambrinoudakis, Costas [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
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, José Correa.
by Goemans, Michel [editor.] | Correa, José [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
|
|
|
|
Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu.
by Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [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
|
|
|
|
Recent Advances in Constraints [electronic resource] : 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / edited by François Fages, Francesca Rossi, Sylvain Soliman.
by Fages, François [editor.] | Rossi, Francesca [editor.] | Soliman, Sylvain [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
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II / edited by Vincent Aleven, Judy Kay, Jack Mostow.
by Aleven, Vincent [editor.] | Kay, Judy [editor.] | Mostow, Jack [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
|
|
|
|
CONCUR 2008 - Concurrency Theory [electronic resource] : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings / edited by Franck van Breugel, Marsha Chechik.
by van Breugel, Franck [editor.] | Chechik, Marsha [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
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle.
by De Nivelle, Hans [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
|
|
|
|
Model Driven Architecture - Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings / edited by Ina Schieferdecker, Alan Hartman.
by Schieferdecker, Ina [editor.] | Hartman, Alan [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
|
