Your search returned 13673 results. Subscribe to this search

|
Mathematical Methods for Curves and Surfaces [electronic resource] : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers / edited by Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Mørken, Larry L. Schumaker.

by Floater, Michael [editor.] | Lyche, Tom [editor.] | Mazure, Marie-Laurence [editor.] | Mørken, Knut [editor.] | Schumaker, Larry L [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Theoretical Aspects of Computing - ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / edited by Dang Van Hung, Deepak Kapur.

by Hung, Dang Van [editor.] | Kapur, Deepak [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Multi-Agent Based Simulation XVII [electronic resource] : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers / edited by Luis Gustavo Nardin, Luis Antunes.

by Nardin, Luis Gustavo [editor.] | Antunes, Luis [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

LATIN 2012: Theoretical Informatics [electronic resource] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012, Proceedings / edited by David Fernández-Baca.

by Fernández-Baca, David [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Graph-Theoretic Concepts in Computer Science [electronic resource] : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers / edited by Hans L. Bodlaender, Gerhard J. Woeginger.

by Bodlaender, Hans L [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Similarity Search and Applications [electronic resource] : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings / edited by Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl.

by Beecks, Christian [editor.] | Borutta, Felix [editor.] | Kröger, Peer [editor.] | Seidl, Thomas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Statistical Language and Speech Processing [electronic resource] : 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings / edited by Nathalie Camelin, Yannick Estève, Carlos Martín-Vide.

by Camelin, Nathalie [editor.] | Estève, Yannick [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings / edited by Deepak D'Souza, K. Narayan Kumar.

by D'Souza, Deepak [editor.] | Narayan Kumar, K [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

SDL 2017: Model-Driven Engineering for Future Internet [electronic resource] : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings / edited by Tibor Csöndes, Gábor Kovács, György Réthy.

by Csöndes, Tibor [editor.] | Kovács, Gábor [editor.] | Réthy, György [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Web and Internet Economics [electronic resource] : 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings / edited by Nikhil R. Devanur, Pinyan Lu.

by R. Devanur, Nikhil [editor.] | Lu, Pinyan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Learning and Intelligent Optimization [electronic resource] : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers / edited by Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev.

by Battiti, Roberto [editor.] | Kvasov, Dmitri E [editor.] | Sergeyev, Yaroslav D [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Future and Emerging Trends in Language Technology. Machine Learning and Big Data [electronic resource] : Second International Workshop, FETLT 2016, Seville, Spain, November 30 -December 2, 2016, Revised Selected Papers / edited by José F Quesada, Francisco-Jesús Martín Mateos, Teresa López Soto.

by Quesada, José F [editor.] | Martín Mateos, Francisco-Jesús [editor.] | López Soto, Teresa [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Topics in Theoretical Computer Science [electronic resource] : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings / edited by Mohammad Reza Mousavi, Jiří Sgall.

by Mousavi, Mohammad Reza [editor.] | Sgall, Jiří [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Progress in Cryptology - INDOCRYPT 2013 [electronic resource] : 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings / edited by Goutam Paul, Paul Vaudenay.

by Paul, Goutam [editor.] | Vaudenay, Paul [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron van der Meyden, Jan-Georg Smaus.

by van der Meyden, Ron [editor.] | Smaus, Jan-Georg [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

Selected Areas in Cryptography - SAC 2017 [electronic resource] : 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers / edited by Carlisle Adams, Jan Camenisch.

by Adams, Carlisle [editor.] | Camenisch, Jan [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Natural Language Processing and Chinese Computing [electronic resource] : 6th CCF International Conference, NLPCC 2017, Dalian, China, November 8-12, 2017, Proceedings / edited by Xuanjing Huang, Jing Jiang, Dongyan Zhao, Yansong Feng, Yu Hong.

by Huang, Xuanjing [editor.] | Jiang, Jing [editor.] | Zhao, Dongyan [editor.] | Feng, Yansong [editor.] | Hong, Yu [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Membrane Computing [electronic resource] : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.

by Gheorghe, Marian [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Mathematical Aspects of Computer and Information Sciences [electronic resource] : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings / edited by Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos.

by Blömer, Johannes [editor.] | Kotsireas, Ilias S [editor.] | Kutsia, Temur [editor.] | Simos, Dimitris E [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Theory and Applications of Models of Computation [electronic resource] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings / edited by Jin-Yi Cai, Barry S. Cooper, Hong Zhu.

by Cai, Jin-Yi [editor.] | Cooper, Barry S [editor.] | Zhu, Hong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available