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 “andreas malcher”
Skip side bar filters

  • Descriptional Complexity of Formal Systems

    26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings

    Edited by Andreas Malcher, Luca Prigioniero ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22–24, 2025.This book includes 15 full papers, carefully reviewed and selected from 20 submissions, as well as 4 abstracts of the invited talks. The conference focus on all aspects of descriptional ... Read more

    $125.99 USD

People who read this also enjoyed

  • Art of Computer Programming, The

    Seminumerical Algorithms, Volume 2

    by Donald Knuth ...
    The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.–Byte, September 1995I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line ... Read more

    $68.39 USD

  • Cryptographic Boolean Functions and Applications

    by Pantelimon Stanica, Thomas W. Cusick ...
    Boolean functions are the building blocks of symmetric cryptographic systems. Symmetrical cryptographic algorithms are fundamental tools in the design of all types of digital security systems (i.e. communications, financial and e-commerce).Cryptographic Boolean Functions and Applications is a concise reference that shows how Boolean functions are used in cryptography. Currently, practitioners who ... Read more

    $57.99 USD

  • 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.99 USD

  • Algebraic Geometry Modeling In Information Theory

    by Edgar Martinez-moro ...
    Series Book 8 - Series On Coding Theory And Cryptology
    Algebraic & geometry methods have constituted a basic background and tool for people working on classic block coding theory and cryptography. Nowadays, new paradigms on coding theory and cryptography have arisen such as: Network coding, S-Boxes, APN Functions, Steganography and decoding by linear programming. Again understanding the underlying procedure and symmetry of these topics needs a whole ... Read more

    $41.99 USD

  • 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

  • Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

    Edited by Naoki Kobayashi, James Worrell ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: ... Read more

    Free

  • Handbook of Discrete and Combinatorial Mathematics

    Edited by Kenneth H. Rosen ...
    Series series Discrete Mathematics and Its Applications
    Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as well as students and reference librarians.The material is presented so that key information can be located and used quickly and easily. Each chapter includes a glossary. Individual topics are covered in sections and subsections within chapters, each of ... Read more

    $375.99 USD

  • 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

  • Computer Science -- Theory and Applications

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

    Edited by Lev D. Beklemishev, Daniil V. Musatov ...
    Series 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 ... Read more

    $49.99 USD

  • Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

    Edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: ... Read more

    Free

  • Theory of Computational Complexity

    by Ding-Zhu Du, Ker-I Ko ...
    Series series Wiley Series in Discrete Mathematics and Optimization
    Praise for the First Edition"... complete, up-to-date coverage of computational complexity theory...the book promises to become the standard reference on computational complexity."—Zentralblatt MATHA thorough revision based on advances in the field of computational complexity and readers’ feedback, the Second Edition of Theory of Computational Complexity presents updates to the principles and ... Read more

    $119.00 USD