Your search returned 13673 results. Subscribe to this search

|
An Introduction to the Planning Domain Definition Language [electronic resource] / by Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.

by Haslum, Patrik [author.] | Lipovetzky, Nir [author.] | Magazzeni, Daniele [author.] | Muise, Christian [author.] | SpringerLink (Online service).

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

Algorithms and Models for the Web Graph [electronic resource] : 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings / edited by Megan Dewar, Paweł Prałat, Przemysław Szufel, François Théberge, Małgorzata Wrzosek.

by Dewar, Megan [editor.] | Prałat, Paweł [editor.] | Szufel, Przemysław [editor.] | Théberge, François [editor.] | Wrzosek, Małgorzata [editor.] | SpringerLink (Online service).

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

Financial Cryptography and Data Security [electronic resource] : 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers / edited by Radu Sion.

by Sion, Radu [editor.] | SpringerLink (Online service).

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

Parallel Processing and Applied Mathematics [electronic resource] : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski.

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Wasniewski, Jerzy [editor.] | SpringerLink (Online service).

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings / edited by Davide Ciucci, Masahiro Inuiguchi, Yiyu Yao, Dominik Slezak, Guoyin Wang.

by Ciucci, Davide [editor.] | Inuiguchi, Masahiro [editor.] | Yao, Yiyu [editor.] | Slezak, Dominik [editor.] | Wang, Guoyin [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Digital Libraries for Open Knowledge [electronic resource] : 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings / edited by Eva Méndez, Fabio Crestani, Cristina Ribeiro, Gabriel David, João Correia Lopes.

by Méndez, Eva [editor.] | Crestani, Fabio [editor.] | Ribeiro, Cristina [editor.] | David, Gabriel [editor.] | Lopes, João Correia [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 for Social Media, Third Edition [electronic resource] / by Anna Atefeh Farzindar, Diana Inkpen.

by Farzindar, Anna Atefeh [author.] | Inkpen, Diana [author.] | SpringerLink (Online service).

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

Graph-Theoretic Concepts in Computer Science [electronic resource] : 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, Proceedings / edited by Andreas Brandstädt, Ekkehard Köhler, Klaus Meer.

by Brandstädt, Andreas [editor.] | Köhler, Ekkehard [editor.] | Meer, Klaus [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

Theory of Graded-Bandgap Thin-Film Solar Cells [electronic resource] / by Faiz Ahmad, Akhlesh Lakhtakia, Peter B. Monk.

by Ahmad, Faiz [author.] | Lakhtakia, Akhlesh [author.] | Monk, Peter B [author.] | SpringerLink (Online service).

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

Perspectives on Business Intelligence [electronic resource] / by Raymond T. Ng, Patricia C. Arocena, Denilson Barbosa, Giuseppe Carenini, Luiz Gomes, Stephan Jou, Anthony Leung, Evangelos Milios, Renée J. Miller, John Mylopoulos, Rachel A Pottinger, Frank Tompa, Eric Yu.

by Ng, Raymond T [author.] | Arocena, Patricia C [author.] | Barbosa, Denilson [author.] | Carenini, Giuseppe [author.] | Gomes, Luiz [author.] | Jou, Stephan [author.] | Leung, Anthony [author.] | Milios, Evangelos [author.] | Miller, Renée J [author.] | Mylopoulos, John [author.] | Pottinger, Rachel A [author.] | Tompa, Frank [author.] | Yu, Eric [author.] | 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

The Semantic Web - ISWC 2018 [electronic resource] : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part I / edited by Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl.

by Vrandečić, Denny [editor.] | Bontcheva, Kalina [editor.] | Suárez-Figueroa, Mari Carmen [editor.] | Presutti, Valentina [editor.] | Celino, Irene [editor.] | Sabou, Marta [editor.] | Kaffee, Lucie-Aimée [editor.] | Simperl, Elena [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

Computational Processing of the Portuguese Language [electronic resource] : 13th International Conference, PROPOR 2018, Canela, Brazil, September 24-26, 2018, Proceedings / edited by Aline Villavicencio, Viviane Moreira, Alberto Abad, Helena Caseli, Pablo Gamallo, Carlos Ramisch, Hugo Gonçalo Oliveira, Gustavo Henrique Paetzold.

by Villavicencio, Aline [editor.] | Moreira, Viviane [editor.] | Abad, Alberto [editor.] | Caseli, Helena [editor.] | Gamallo, Pablo [editor.] | Ramisch, Carlos [editor.] | Gonçalo Oliveira, Hugo [editor.] | Paetzold, Gustavo Henrique [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

Visual Information Retrieval Using Java and LIRE [electronic resource] / by Mathias Lux, Oge Marques.

by Lux, Mathias [author.] | Marques, Oge [author.] | 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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac.

by Enea, Constantin [editor.] | Piskac, Ruzica [editor.] | SpringerLink (Online service).

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

Computational Topology in Image Context [electronic resource] : 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings / edited by Rebeca Marfil, Mariletty Calderón, Fernando Díaz del Río, Pedro Real, Antonio Bandera.

by Marfil, Rebeca [editor.] | Calderón, Mariletty [editor.] | Díaz del Río, Fernando [editor.] | Real, Pedro [editor.] | Bandera, Antonio [editor.] | SpringerLink (Online service).

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

Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers / edited by Ruzica Piskac, Philipp Rümmer.

by Piskac, Ruzica [editor.] | Rümmer, Philipp [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

Advances in Cryptology - ASIACRYPT 2018 [electronic resource] : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III / edited by Thomas Peyrin, Steven Galbraith.

by Peyrin, Thomas [editor.] | Galbraith, Steven [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

Semantic Technology [electronic resource] : 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26-28, 2018, Proceedings / edited by Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki.

by Ichise, Ryutaro [editor.] | Lecue, Freddy [editor.] | Kawamura, Takahiro [editor.] | Zhao, Dongyan [editor.] | Muggleton, Stephen [editor.] | Kozaki, Kouji [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

The Semantic Web [electronic resource] : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2-6, 2019, Proceedings / edited by Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J.G. Gray, Vanessa Lopez, Armin Haller, Karl Hammar.

by Hitzler, Pascal [editor.] | Fernández, Miriam [editor.] | Janowicz, Krzysztof [editor.] | Zaveri, Amrapali [editor.] | Gray, Alasdair J.G [editor.] | Lopez, Vanessa [editor.] | Haller, Armin [editor.] | Hammar, Karl [editor.] | SpringerLink (Online service).

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

Monte Carlo Methods Utilizing Mathematica® [electronic resource] : Applications in Inverse Transform and Acceptance-Rejection Sampling / by Sujaul Chowdhury.

by Chowdhury, Sujaul [author.] | SpringerLink (Online service).

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