Rakuten Kobo

Skip side bar filters

Developments in Language Theory

30th International Conference, DLT 2026, Rouen, France, June 30 – July 3, 2026, Proceedings

Edited by Marie-Pierre Béal, Pascal Caron ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th International Conference on Developments in Language Theory, DLT 2026, held in Rouen, France, during June 30 – July 3, 2026.The 22 full papers and 3 invited papers included in this book were carefully reviewed and selected from 49 submissions. They present current developments in the field of formal language theory and its applications. ... Read more

$67.49 USD

This book constitutes the refereed proceedings of the 30th International Conference on Developments in Language Theory, DLT 2026, held in Rouen, France, during June 30 – July 3, 2026.The 22 full papers and 3 invited papers included in this book were carefully reviewed and selected from 49 submissions. They present current developments in the field of formal language theory and its applications.
... Read more
Implementation and Application of Automata

26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings

Edited by Pascal Caron, Ludovic Mignot ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and ... Read more

$62.99 USD

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and
... Read more

Foundations of Software Science and Computation Structures

26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Edited by Orna Kupferman, Pawel Sobocinski ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected ... Read more

Free

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected
... Read more
Principles of Abstract Interpretation

by Patrick Cousot ...

Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal ... Read more

$52.99 USD

Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal
... Read more
Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson ...

Series series Springer Nature Proceedings Computer Science
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving ... Read more

Free

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving
... Read more
Algebraic Geometry for Coding Theory and Cryptography

IPAM, Los Angeles, CA, February 2016

Edited by Kristin E. Lauter, Everett W. Howe, Judy L. Walker ...

Series series Springer Nature Proceedings excluding Computer Science
Covering topics in algebraic geometry, coding theory, and cryptography, this volume presents interdisciplinary group research completed for the February 2016 conference at the Institute for Pure and Applied Mathematics (IPAM) in cooperation with the Association for Women in Mathematics (AWM). The conference gathered research communities across disciplines to share ideas and problems in their ... Read more

$170.09 USD

Covering topics in algebraic geometry, coding theory, and cryptography, this volume presents interdisciplinary group research completed for the February 2016 conference at the Institute for Pure and Applied Mathematics (IPAM) in cooperation with the Association for Women in Mathematics (AWM). The conference gathered research communities across disciplines to share ideas and problems in their
... Read more
An Introduction to Kolmogorov Complexity and Its Applications

by Ming Li, Paul M.B. Vitányi ...

Series series Computer Science (R0)
“The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field.” Journal of Symbolic LogicWritten by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and applications of Kolmogorov complexity. The book presents a thorough treatment of the ... Read more

$76.49 USD

“The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field.” Journal of Symbolic LogicWritten by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and applications of Kolmogorov complexity. The book presents a thorough treatment of the
... Read more
Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Edited by Brigitte Pientka, Cesare Tinelli ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, ... Read more

Free

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations,
... Read more
Implementation and Application of Automata

25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings

Edited by Sebastian Maneth ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and ... Read more

$49.49 USD

This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and
... Read more
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.49 USD

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
Language and Automata Theory and Applications

15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings

Edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, held in Milan, Italy, in March 2021.The 26 full papers presented in this volume were carefully reviewed and selected from 52 submissions. They were organized in topical sections named: algebraic structures; automata; complexity; learning; logics and languages; ... Read more

$49.49 USD

This book constitutes the proceedings of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, held in Milan, Italy, in March 2021.The 26 full papers presented in this volume were carefully reviewed and selected from 52 submissions. They were organized in topical sections named: algebraic structures; automata; complexity; learning; logics and languages;
... Read more
Unity of Logic and Computation

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

Edited by Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea ...

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; ... Read more

$71.99 USD

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;
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Developments in Language Theory

Implementation and Application of Automata

People who read these also enjoyed

Foundations of Software Science and Computation Structures

Principles of Abstract Interpretation

Automated Reasoning

Algebraic Geometry for Coding Theory and Cryptography

An Introduction to Kolmogorov Complexity and Its Applications

Automated Deduction – CADE 29

Implementation and Application of Automata

Implementation and Application of Automata

Language and Automata Theory and Applications

Unity of Logic and Computation

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed