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 “jan ramon”
Skip side bar filters

  • Inductive Logic Programming

    24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

    Edited by Jesse Davis, Jan Ramon ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014.The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic, multi ... Read more

    $49.99 USD

People who read this also enjoyed

  • Inductive Logic Programming

    23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

    Edited by Gerson Zaverucha, Vítor Santos Costa, Aline Paes ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013.The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical ... Read more

    $40.99 USD

  • Formal Techniques for Distributed Objects, Components, and Systems

    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

    Edited by Elvira Albert, Ivan Lanese ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.The 18 revised full papers presented were carefully reviewed andselected from 44 ... Read more

    $49.49 USD

  • Developments in Language Theory

    20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

    Edited by Srečko Brlek, Christophe Reutenauer ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics ... Read more

    $49.49 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

    Edited by Axel Legay, Tiziana Margaria ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... Read more

    $49.49 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.99 USD

  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

    $49.99 USD

  • 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

  • Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

    Edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal ... Read more

    $40.99 USD

  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

    $89.09 USD

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

    Edited by Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... Read more

    $49.99 USD

  • Computer Safety, Reliability, and Security

    SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

    Edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016.The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE ... Read more

    $49.49 USD