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 “arnold beckmann”
Skip side bar filters

  • Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

    21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings

    Edited by Arnold Beckmann, Isabel Oitavem, Florin Manea ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025.The 27 full papers included in this book were carefully reviewed and selected from 49 submissions. They focus on computability-related science, ranging over mathematics, computer science and applications in various natural and engineering ... Read more

    $143.09 USD

  • Evolving Computability

    11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

    Edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015.The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and ... Read more

    $49.99 USD

  • Pursuit of the Universal

    12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

    Edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic ... Read more

    $49.99 USD

People who read these also enjoyed

  • DNA Computing and Molecular Programming

    22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

    Edited by Yannick Rondelez, Damien Woods ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Conference on DNA Computing and Molecular Programming, DNA 22, held Munich, Germany, in September 16The 11 full papers presented together with 10 invited and tutorial talks were carefully selected from 55 submissionsResearch in DNA computing and molecular programming draws together mathematics, computer science, physics, ... Read more

    $49.99 USD

  • DNA Computing and Molecular Programming

    23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings

    Edited by Robert Brijder, Lulu Qian ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017. The 16 full papers presented were carefully selected from 23 submissions. Research in DNA computing aims to draw together mathematics, computerscience, physics, chemistry, biology, and nanotechnology to address the analysis ... Read more

    $49.99 USD

  • Descriptional Complexity of Formal Systems

    17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

    Edited by Jeffrey Shallit, Alexander Okhotin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is ... Read more

    $49.99 USD

  • Descriptional Complexity of Formal Systems

    18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

    Edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit ...
    Series series Springer Nature Proceedings Computer Science
    his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kind of ... Read more

    $49.49 USD

  • Hybrid Metaheuristics

    10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

    Edited by Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Mario Pavone, El-Ghazali Talbi, Alessandro Di Nuovo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Workshop on Hybrid Metaheuristics, HM 2016, held in Plymouth, UK, in June 2016.The 15 revised full papers presented were carefully reviewed and selected from 43 submissions. The selected papers are of interest for all the researchers working on integrating metaheuristics with other areas for solving both optimization and ... Read more

    $49.99 USD

  • Topics in Theoretical Computer Science

    The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

    Edited by Mohammad Reza Mousavi, Mohammed Taghi Hajiaghayi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015.The 10 full papers presented together with 3 invited talks were carefully reviewed and selected from 48 submissions. The papers feature novel and high-quality research in all areas of theoretical ... Read more

    $49.99 USD

  • Unveiling Dynamics and Complexity

    13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

    Edited by Jarkko Kari, Florin Manea, Ion Petre ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017.The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in ... Read more

    $49.99 USD

  • Implementation and Application of Automata

    20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

    Edited by Frank Drewes ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015.The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, ... Read more

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