Skip to main content

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...
  • Developments in Language Theory

    29th International Conference, DLT 2025, Seoul, South Korea, August 19–22, 2025, Proceedings

    Edición de Sang-Ki Ko, Florin Manea ...
    Series series Springer Nature Proceedings Computer Science
    This LNCS conference volume constitutes the proceedings of the29th International Conference on Developments in Language Theory, DLT 2025, in Seoul, South Korea, in August 2025.The 18 full papers and 2 invited papers included in this book were carefully reviewed and selected from 38 submissions. They presented current developments in formal languages and automata. Its scope is very general and ... Leer más

    $125.09 USD

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

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

    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 ... Leer más

    $143.99 USD

  • Developments in Language Theory

    28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings

    Edición de Joel D. Day, Florin Manea ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 28th International Conference on Developments in Language Theory, DLT 2024, held in Göttingen, Germany, during August 12–16, 2024.The 17 full papers and 4 invited papers included in this book were carefully reviewed and selected from 26 submissions. They presented current developments in formal languages and automata. The scope is very general ... Leer más

    $98.99 USD

  • Twenty Years of Theoretical and Practical Synergies

    20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during July 8–12, 2024The 26 full papers and 2 short papers included in this book were carefully reviewed and selected from 43 submissions. This CIE 2024 focus on development of computability-related science, ranging over mathematics, computer science and ... Leer más

    $170.99 USD

  • Connecting with Computability

    17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings

    Series series Springer Nature Proceedings excluding Computer Science
    This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually.The 48 full papers presented in this volume were carefully reviewed and selected from 50 submissions. CiE promotes the development of computability-related science, ranging over mathematics, ... Leer más

    $49.99 USD

  • Revolutions and Revelations in Computability

    18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022.The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was “Revolutions and revelations in computability”. This alludes to the revolutionary developments we have seen in ... Leer más

    $62.99 USD

  • Unity of Logic and Computation

    19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023.The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows:Degree theory; Proof Theory; Computability; ... Leer más

    $71.99 USD

  • Combinatorics on Words

    10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

    Edición de Dirk Nowotka, Florin Manea ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Combinatorics on Words, WORDS 2015, held in Kiel, Germany, in September 2015 under the auspices of the EATCS.The 14 revised full papers presented were carefully reviewed and selected from 22 submissions. The main object in the contributions are words, finite or infinite sequences of symbols over a finite ... Leer más

    $49.99 USD

  • Descriptional Complexity of Formal Systems

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

    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 ... Leer más

    $49.99 USD

  • Sailing Routes in the World of Computation

    14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and ... Leer más

    $49.99 USD

  • Unveiling Dynamics and Complexity

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

    Edición de 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 ... Leer más

    $49.99 USD

  • Beyond the Horizon of Computability

    16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic.The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development ... Leer más

    $49.99 USD