Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “marcel gehrke”
Skip side bar filters

  • Graph-Based Representation and Reasoning

    26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings

    Edited by Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 26th International Conference on Conceptual Structures, ICCS 2021, held virtually in September 2021.The 12 full papers and 4 short papers presented were carefully reviewed and selected from 25 submissions. The papers focus on the representation of and reasoning with conceptual structures in a variety of contexts. The papers are organized in the ... Read more

    $76.49 USD

People who read this also enjoyed

  • Introduction to Information Retrieval

    by Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze ...
    Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the ... Read more

    $65.59 USD

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Edited by Hana Chockler, Georg Weissenbacher ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

    Free

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    Edited by Shuvendu K. Lahiri, Chao Wang ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

    Free

  • Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

    Edited by Dirk Beyer, Marieke Huisman ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... Read more

    Free

  • Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

    Edited by Dirk Beyer, Marieke Huisman ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... Read more

    Free

  • Gmdh-methodology And Implementation In Matlab

    by Godfrey C Onwubolu ...
    Group method of data handling (GMDH) is a typical inductive modeling method built on the principles of self-organization. Since its introduction, inductive modelling has been developed to support complex systems in prediction, clusterization, system identification, as well as data mining and knowledge extraction technologies in social science, science, engineering, and medicine.This is the first ... Read more

    $38.69 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Edited by Tomáš Vojnar, Lijun Zhang ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Read more

    Free

  • Advances in Intelligent Data Analysis XVIII

    18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings

    Edited by Michael R. Berthold, Ad Feelders, Georg Krempl ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020.The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over ... Read more

    Free

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Edited by Alexandra Silva, K. Rustan M. Leino ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

    Free

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Edited by Isil Dillig, Serdar Tasiran ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

    Free

  • Graph Structures for Knowledge Representation and Reasoning

    6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

    Edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.The 7 revised full papers presented together with 2 invited contributions were reviewed ... Read more

    Free