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 “malte helmert”
Skip side bar filters

  • KI 2016: Advances in Artificial Intelligence

    39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

    Edited by Franz Wotawa, Malte Helmert, Gerhard Friedrich ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 39th Annual German Conference on Artificial Intelligence, KI 2016, in conjunction with the Österreichische Gesellschaft für Artificial Intelligence, ÖGAI, held in Klagenfurt, Austria, in September 2016.The 8 revised full technical papers presented together with 12 technical communications, and 16 extended abstracts were carefully reviewed and ... Read more

    $49.49 USD

People who read this also enjoyed

  • Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

    Edited by Anna-Lena Lamprecht ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 ... Read more

    $49.49 USD

  • Multi-Agent Systems and Agreement Technologies

    13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

    Edited by Michael Rovatsos, George Vouros, Vicente Julian ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS 2015, and the Third International Conference on Agreement Technologies, AT 2015, held in Athens, Greece, in December 2015.The 36 papers presented in this volume were carefully reviewed and selected from 65 submissions. They are organized in topical sections named: coordination and ... Read more

    $49.49 USD

  • Cellular Automata and Discrete Complex Systems

    22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

    Edited by Matthew Cook, Turlough Neary ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular Automata and Discrete ComplexSystems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016.This volume contains 3 invited talks in full-paper length and 12 regularpapers, which were carefully reviewed and selected from a total of 23submissions. The papers feature research on ... Read more

    $49.49 USD

  • Multi-Agent Systems and Agreement Technologies

    14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

    Edited by Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016.The 43 papers and 2 invited papers presented in this volume were carefully reviewed and selected from 68 submissions. The papers cover thematic areas as agent and ... Read more

    $49.49 USD

  • Cellular Automata and Discrete Complex Systems

    23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

    Edited by Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017.The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature ... Read more

    $49.49 USD

  • Multi-Agent Systems

    12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

    Edited by Nils Bulling ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions. They are organized in topical sections named: agent-based models, trust and reputation; coordination, coalitions and ... Read more

    $49.49 USD

  • Using Event-B for Critical Device Software Systems

    by Neeraj Kumar Singh ...
    Series series Computer Science (R0)
    Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker. ... Read more

    $89.09 USD

  • Statistical Language and Speech Processing

    5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

    Edited by Nathalie Camelin, Yannick Estève, Carlos Martín-Vide ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th InternationalConference on Statistical Language and Speech Processing, SLSP 2017,held in Le Mans, France, in October 2017.The 21 full papers presented were carefully reviewed and selected from39 submissions. The papers cover topics such as anaphora and conferenceresolution; authorship identification, plagiarism and spam filtering;computer ... Read more

    $49.49 USD

  • Computational Methods in Systems Biology

    13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

    Edited by Jérémie Bourdon, Olivier Roux ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks ... Read more

    $49.49 USD

  • Quantitative Evaluation of Systems

    14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

    Edited by Nathalie Bertrand, Luca Bortolussi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and ... Read more

    $49.49 USD

  • Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

    Edited by Thierry Lecomte, Leila Ribeiro ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Read more

    $49.49 USD