Florin Manea - Böcker

Visar alla böcker från författaren Florin Manea. Handla med fri frakt och snabb leverans.

13 produkter

Kategorier

13 produkter

Del 11558 - Lecture Notes in Computer Science

Computing with Foresight and Industry

15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

AvFlorin Manea,Barnaby Martinm. fl.

Häftad, Engelska, 2019

551 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.

Del 12098 - Lecture Notes in Computer Science

Beyond the Horizon of Computability

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

AvMarcella Anselmo,Gianluca Della Vedovam. fl.

Häftad, Engelska, 2020

551 kr

Skickas inom 10-15 vardagar

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.

Del 12813 - Lecture Notes in Computer Science

Connecting with Computability

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

AvLiesbeth De Mol,Andreas Weiermannm. fl.

Häftad, Engelska, 2021

535 kr

Skickas inom 10-15 vardagar

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.

Del 13359 - Lecture Notes in Computer Science

Revolutions and Revelations in Computability

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

AvUlrich Berger,Johanna N. Y. Franklinm. fl.

Häftad, Engelska, 2022

694 kr

Skickas inom 10-15 vardagar

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.

Del 13967 - Lecture Notes in Computer Science

Unity of Logic and Computation

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

AvGianluca Della Vedova,Besik Dunduam. fl.

Häftad, Engelska, 2023

769 kr

Skickas inom 10-15 vardagar

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; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.

Del 14773 - Lecture Notes in Computer Science

Twenty Years of Theoretical and Practical Synergies

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

AvLudovic Levy Patey,Elaine Pimentelm. fl.

Häftad, Engelska, 2024

1 947 kr

Skickas inom 7-10 vardagar

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.

Del 14791 - Lecture Notes in Computer Science

Developments in Language Theory

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

AvJoel D. Day,Florin Manea

Häftad, Engelska, 2024

725 kr

Skickas inom 10-15 vardagar

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.

Del 15764 - Lecture Notes in Computer Science

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

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

AvArnold Beckmann,Isabel Oitavemm. fl.

Häftad, Engelska, 2025

1 472 kr

Skickas inom 10-15 vardagar

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.

Del 16036 - Lecture Notes in Computer Science

Developments in Language Theory

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

AvSang-Ki Ko,Florin Manea

Häftad, Engelska, 2025

1 422 kr

Skickas inom 7-10 vardagar

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.

Del 9304 - Lecture Notes in Computer Science

Combinatorics on Words

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

AvFlorin Manea,Dirk Nowotka

Häftad, Engelska, 2015

535 kr

Skickas inom 10-15 vardagar

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.

Del 9777 - Lecture Notes in Computer Science

Descriptional Complexity of Formal Systems

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

AvCezar Câmpeanu,Florin Maneam. fl.

Häftad, Engelska, 2016

535 kr

Skickas inom 10-15 vardagar

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.

Del 10307 - Lecture Notes in Computer Science

Unveiling Dynamics and Complexity

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

AvJarkko Kari,Florin Maneam. fl.

Häftad, Engelska, 2017

551 kr

Skickas inom 10-15 vardagar

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;

Del 10936 - Lecture Notes in Computer Science

Sailing Routes in the World of Computation

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

AvFlorin Manea,Russell G. Millerm. fl.

Häftad, Engelska, 2018

535 kr

Skickas inom 10-15 vardagar

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 bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving.

Företag, bibliotek eller offentlig verksamhet?

Florin Manea - Böcker

Computing with Foresight and Industry

Beyond the Horizon of Computability

Connecting with Computability

Revolutions and Revelations in Computability

Unity of Logic and Computation

Twenty Years of Theoretical and Practical Synergies

Developments in Language Theory

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

Developments in Language Theory

Combinatorics on Words

Descriptional Complexity of Formal Systems

Unveiling Dynamics and Complexity

Sailing Routes in the World of Computation

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration