Bokus

Mai Gehrke – författare

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

6 produkter

  1. Mai Gehrke, Sam van Gool - Topological Duality for Distributive Lattices, Inbunden. Tillgänglighet: Lägg i varukorg

    Topological Duality for Distributive Lattices

    Theory and Applications

    Av Mai Gehrke, Sam van Gool

    Inbunden, 2024

    1123 kr

    Lägg i varukorg

    Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to …

  2. Sam van Gool, Mai Gehrke - Topological Duality for Distributive Lattices, E-bok. Tillgänglighet: Lägg i varukorg

    Topological Duality for Distributive Lattices

    Theory and Applications

    Av Sam van Gool, Mai Gehrke

    E-bok, 2024

    1085 kr

    Lägg i varukorg

  3. Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter - Relational and Algebraic Methods in Computer Science, Häftad. Tillgänglighet: Lägg i varukorg

    Relational and Algebraic Methods in Computer Science

    19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

    Av Uli Fahrenberg, Mai Gehrke m. fl.

    Häftad, 2021

    811 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 …

  4. Michael Winter, Luigi Santocanale, Mai Gehrke, Uli Fahrenberg - Relational and Algebraic Methods in Computer Science, E-bok. Tillgänglighet: Lägg i varukorg

    Relational and Algebraic Methods in Computer Science

    19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

    Av Michael Winter, Luigi Santocanale m. fl.

    E-bok, 2021

    1026 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 …

  5. Maria Manuel Clementino, Mai Gehrke, Jorge Picado - Topology, Algebra and Categories in Logic, Inbunden. Tillgänglighet: Lägg i varukorg

    Topology, Algebra and Categories in Logic

    Lecture Notes of the Coimbra TACL Summer School, 14–18 June 2022

    Av Maria Manuel Clementino, Mai Gehrke m. fl.

    Inbunden, 2026

    660 kr

    Lägg i varukorg

    This book provides a comprehensive introduction to some key subjects in logic, category theory, algebra and topology. Its five chapters contain the written records of the five courses of the 2022 TACL Summer School (Mira, Portugal, June 14-18, 2022), addressed to graduate students and more …

  6. Jorge Picado, Mai Gehrke, Maria Manuel Clementino - Topology, Algebra and Categories in Logic, E-bok. Tillgänglighet: Lägg i varukorg

    Topology, Algebra and Categories in Logic

    Lecture Notes of the Coimbra TACL Summer School, 14-18 June 2022

    Av Jorge Picado, Mai Gehrke m. fl.

    E-bok, 2026

    897 kr

    Lägg i varukorg

    This book provides a comprehensive introduction to some key subjects in logic, category theory, algebra and topology. Its five chapters contain the written records of the five courses of the 2022 TACL Summer School (Mira, Portugal, June 14-18, 2022), addressed to graduate students and more …