Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

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...


1 - 12 de 12 resultados para “peter jipsen”
Skip side bar filters

  • Relational and Algebraic Methods in Computer Science

    18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings

    Edición de Uli Fahrenberg, Peter Jipsen, Michael Winter ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020. The conference was cancelled due to the COVID-19 pandemic.The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from ... Leer más

    $49.99 USD

  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    de Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono ...
    Series Libro 151 - Studies in Logic and the Foundations of Mathematics
    The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the ... Leer más

    $139.99 USD

La gente que leyó estos también disfrutó

  • Computability Theory

    An Introduction to Recursion Theory

    de Herbert B. Enderton ...
    Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion ... Leer más

    $56.99 USD

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Edición de Christel Baier, Ugo Dal Lago ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... Leer más

    Gratis

  • 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

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

    Gratis

  • 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

    Edición de Naoki Kobayashi, James Worrell ...
    Series Libro 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: ... Leer más

    Gratis

  • Lambda Calculus with Types

    de Henk Barendregt, Wil Dekkers, Richard Statman ...
    Series series Perspectives in Logic
    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types ... Leer más

    $89.99 USD

  • Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Edición de Mikołaj Bojańczyk, Alex Simpson ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... Leer más

    Gratis

  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    de Bart Jacobs ...
    Series Libro 59 - Cambridge Tracts in Theoretical Computer Science
    The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts ... Leer más

    $164.99 USD

  • Automated Deduction – CADE 29

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

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

    Gratis

  • Automated Reasoning

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

    Edición de Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt ...
    Series Libro 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: ... Leer más

    Gratis

  • A First Course in Computational Algebraic Geometry

    de Wolfram Decker, Gerhard Pfister ...
    Series series AIMS Library of Mathematical Sciences
    A First Course in Computational Algebraic Geometry is designed for young students with some background in algebra who wish to perform their first experiments in computational geometry. Originating from a course taught at the African Institute for Mathematical Sciences, the book gives a compact presentation of the basic theory, with particular emphasis on explicit computational examples using the ... Leer más

    $18.99 USD