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 “pascal caron”
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

  • 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

People who read these also enjoyed

  • Computational Complexity

    A Modern Approach

    by Sanjeev Arora, Boaz Barak ...
    This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and ... Read more

    $65.59 USD

  • Automated Deduction – CADE 28

    28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

    Edited by André Platzer, Geoff Sutcliffe ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including ... Read more

    Free

  • 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

  • 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

  • Hashing in Computer Science

    Fifty Years of Slicing and Dicing

    by Alan G. Konheim ...
    Written by one of the developers of the technology, Hashing is both a historical document on the development of hashing and an analysis of the applications of hashing in a society increasingly concerned with security. The material in this book is based on courses taught by the author, and key points are reinforced in sample problems and an accompanying instructor s manual. Graduate students and ... Read more

    $142.00 USD

  • Codes and Rings

    Theory and Practice

    by Minjia Shi, Adel Alahmadi, Patrick Solé ...
    Series Book Volume - - Pure and Applied Mathematics
    Codes and Rings: Theory and Practice is a systematic review of literature that focuses on codes over rings and rings acting on codes. Since the breakthrough works on quaternary codes in the 1990s, two decades of research have moved the field far beyond its original periphery. This book fills this gap by consolidating results scattered in the literature, addressing classical as well as applied ... Read more

    $134.99 USD

  • Nonlinear Programming

    Theory and Algorithms

    by Mokhtar S. Bazaraa, Hanif D. Sherali, C. M. Shetty ...
    COMPREHENSIVE COVERAGE OF NONLINEAR PROGRAMMING THEORY AND ALGORITHMS, THOROUGHLY REVISED AND EXPANDEDNonlinear Programming: Theory and Algorithms—now in an extensively updated Third Edition—addresses the problem of optimizing an objective function in the presence of equality and inequality constraints. Many realistic problems cannot be adequately represented as a linear program owing to the ... Read more

    $158.00 USD

  • 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

  • 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

  • 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