|
|
|
Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu.
by Qin, Shengchao [editor.] | Qiu, Zongyan [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
|
|
|
|
Computational Geometry [electronic resource] : XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers / edited by Alberto Márquez, Pedro Ramos, Jorge Urrutia.
by Márquez, Alberto [editor.] | Ramos, Pedro [editor.] | Urrutia, Jorge [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
|
|
|
|
Complexity of Constraints [electronic resource] : An Overview of Current Research Themes / edited by Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer.
by Creignou, Nadia [editor.] | Kolaitis, Phokion G [editor.] | Vollmer, Heribert [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
|
|
|
|
Theoretical Aspects of Computing -- ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari.
by Cerone, Antonio [editor.] | Pihlajasaari, Pekka [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
|
|
|
|
Learning Theory [electronic resource] : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings / edited by Hans Ulrich Simon, Gábor Lugosi.
by Simon, Hans Ulrich [editor.] | Lugosi, Gábor [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 Collective Intelligence [electronic resource] : 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II / edited by Ngoc Thanh Nguyen, Lazaros Iliadis, Yannis Manolopoulos, Bogdan Trawiński.
by Nguyen, Ngoc Thanh [editor.] | Iliadis, Lazaros [editor.] | Manolopoulos, Yannis [editor.] | Trawiński, Bogdan [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
|
|
|
|
Topics in Cryptology -- CT-RSA 2011 [electronic resource] : The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011, Proceedings / edited by Aggelos Kiayias.
by Kiayias, Aggelos [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I / edited by Luca Aceto, Monika Henzinger, Jiří Sgall.
by Aceto, Luca [editor.] | Henzinger, Monika [editor.] | Sgall, Jiří [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
|
|
|
|
Theory of Cryptography [electronic resource] : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings / edited by Amit Sahai.
by Sahai, Amit [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
|
|
|
|
Artificial Immune Systems [electronic resource] : 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings / edited by Christian Jacob, Marcin Pilat, Peter Bentley, Jonathan Timmis.
by Jacob, Christian [editor.] | Pilat, Marcin [editor.] | Bentley, Peter [editor.] | Timmis, Jonathan [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings / edited by Joachim Gudmundsson, Julián Mestre, Taso Viglas.
by Gudmundsson, Joachim [editor.] | Mestre, Julián [editor.] | Viglas, Taso [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 in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings / edited by Raffaele Giancarlo, Sridhar Hannenhalli.
by Giancarlo, Raffaele [editor.] | Hannenhalli, Sridhar [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
|
|
|
|
Modern Approaches in Applied Intelligence [electronic resource] : 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part I / edited by Kishan G. Mehrotra, Chilukuri Krishna Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali.
by Mehrotra, Kishan G [editor.] | Mohan, Chilukuri Krishna [editor.] | Oh, Jae C [editor.] | Varshney, Pramod K [editor.] | Ali, Moonis [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
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings / edited by Sergei Artemov, Anil Nerode.
by Artemov, Sergei [editor.] | Nerode, Anil [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
|
|
|
|
Computational Collective IntelligenceTechnologies and Applications [electronic resource] : Third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, Proceedings, Part I / edited by Piotr Jedrzejowicz, Ngoc-Thanh Nguyen, Kiem Hoang.
by Jedrzejowicz, Piotr [editor.] | Nguyen, Ngoc-Thanh [editor.] | Hoang, Kiem [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
|
|
|
|
Scale Space and Variational Methods in Computer Vision [electronic resource] : Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 -- June 2, 2011, Revised Selected Papers / edited by Alfred M. Bruckstein, Bart M. ter Haar Romeny, Alexander M. Bronstein, Michael M. Bronstein.
by Bruckstein, Alfred M [editor.] | ter Haar Romeny, Bart M [editor.] | Bronstein, Alexander M [editor.] | Bronstein, Michael M [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
|
|
|
|
Computational Collective Intelligence. Technologies and Applications [electronic resource] : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III / edited by Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc-Thanh Nguyen.
by Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Nguyen, Ngoc-Thanh [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
|
|
|
|
Advances in Neural Networks - ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part III / edited by Jun Wang, Xiaofeng Liao, Zhang Yi.
by Wang, Jun [editor.] | Liao, Xiaofeng [editor.] | Yi, Zhang [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
|
|
|
|
Deep Structure, Singularities, and Computer Vision [electronic resource] : First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers / edited by Ole Fogh Olsen, Luc Florack, Arjan Kuijper.
by Olsen, Ole Fogh [editor.] | Florack, Luc [editor.] | Kuijper, Arjan [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
|
|
|
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 18th International Symposium, AAECC-18, Tarragona, Sapin, June 8-12, 2009, Proceedings / edited by Maria Bras-Amorós, Tom Høholdt.
by Bras-Amorós, Maria [editor.] | Høholdt, Tom [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
|
