Skip to main content

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Meilleures séries dans ce pays : Canada

1-12 sur 12 résultats pour « michael fellows »
Skip side bar filters
  • Computability and Complexity

    Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

    Collections series Computer Science (R0)
    This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his 60th birthday.The Festschrift contains papers and laudations that showcase the broad and important scientific, leadership and mentoring contributions made by Rod during his distinguished career. The volume contains 42 papers presenting ... En savoir plus

    $64.09 CAD

Les lecteurs de ce roman ont aussi aimé

  • Implementation and Application of Automata

    21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

    Modifié par Yo-Sub Han, Kai Salomaa ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016.The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and ... En savoir plus

    $64.99 CAD

  • Topics in Theoretical Computer Science

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

    Collections 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 ... En savoir plus

    $64.99 CAD

  • Developments in Language Theory

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

    Collections 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 ... En savoir plus

    $64.99 CAD

  • Descriptional Complexity of Formal Systems

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

    Collections 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 ... En savoir plus

    $64.09 CAD

  • Descriptional Complexity of Formal Systems

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

    Collections 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 ... En savoir plus

    $64.09 CAD

  • Machines, Computations, and Universality

    7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

    Modifié par Benedek Nagy, Jerome Durand-Lose ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015.The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, ... En savoir plus

    $60.99 CAD

  • Computer Science -- Theory and Applications

    10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical ... En savoir plus

    $64.99 CAD

  • Computer Science – Theory and Applications

    11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016.The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: ... En savoir plus

    $64.99 CAD

  • Descriptive Set Theoretic Methods in Automata Theory

    Decidability and Topological Complexity

    Collections series Computer Science (R0)
    The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between ... En savoir plus

    $64.99 CAD

  • DNA Computing and Molecular Programming

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

    Modifié par Yannick Rondelez, Damien Woods ...
    Collections 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, ... En savoir plus

    $64.99 CAD

  • DNA Computing and Molecular Programming

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

    Modifié par Robert Brijder, Lulu Qian ...
    Collections 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 ... En savoir plus

    $64.09 CAD