Computer Science Foundations and Applied Logic – serie

Visar alla böcker i serien Computer Science Foundations and Applied Logic.

20 produkter

1. 

   Algorithms for Constructing Computably Enumerable Sets

   Av Kenneth J. Supowit

   Inbunden, 2023

   859 kr

   Lägg i varukorg

2. 

   Algorithms for Constructing Computably Enumerable Sets

   Av Kenneth J. Supowit

   Häftad, 2024

   859 kr

   Lägg i varukorg

3. 

   Structural Decision Diagrams in Digital Test

   Theory and Applications

   Av Raimund Ubar, Jaan Raik m. fl.

   Inbunden, 2024

   3449 kr

   Lägg i varukorg

4. 

   Structural Decision Diagrams in Digital Test

   Theory and Applications

   Av Raimund Ubar, Jaan Raik m. fl.

   Häftad, 2025

   3129 kr

   Lägg i varukorg

5. 

   Petri Net Primer

   A Compendium on the Core Model, Analysis, and Synthesis

   Av Eike Best, Raymond Devillers

   Inbunden, 2024

   1219 kr

   Lägg i varukorg

6. 

   Petri Net Primer

   A Compendium on the Core Model, Analysis, and Synthesis

   Av Eike Best, Raymond Devillers

   Häftad, 2025

   859 kr

   Lägg i varukorg

7. 

   Guide to Software Verification with Frama-C

   Core Components, Usages, and Applications

   Av Nikolai Kosmatov, Virgile Prevosto m. fl.

   Inbunden, 2024

   1329 kr

   Lägg i varukorg

8. 

   Guide to Software Verification with Frama-C

   Core Components, Usages, and Applications

   Av Nikolai Kosmatov, Virgile Prevosto m. fl.

   Häftad, 2025

   719 kr

   Lägg i varukorg

9. 

   Category Theory Using Haskell

   An Introduction with Moggi and Yoneda

   Av Shuichi Yukita

   Inbunden, 2024

   2849 kr

   Lägg i varukorg

10. 

    Category Theory Using Haskell

    An Introduction with Moggi and Yoneda

    Av Shuichi Yukita

    Häftad, 2025

    1999 kr

    Lägg i varukorg

11. 

    Multi-valued Logic for Decision-Making Under Uncertainty

    Av Evgeny Kagan, Alexander Rybalov m. fl.

    Inbunden, 2025

    2849 kr

    Lägg i varukorg

12. 

    Multi-valued Logic for Decision-Making Under Uncertainty

    Av Evgeny Kagan, Alexander Rybalov m. fl.

    Häftad, 2026

    1999 kr

    Lägg i varukorg

13. 

    Concise Guide to Fault Tree Analysis

    Models, Methods and Algorithms

    Av Mariëlle Stoelinga, Enno Ruijters m. fl.

    Inbunden, 2026

    929 kr

    Lägg i varukorg

14. 

    Proof Assistants and Their Applications in Mathematics and Computer Science

    Av Jasmin Blanchette, Assia Mahboubi

    Inbunden, 2027

    1159 kr

    Kommande

15. 

    Simple Type Theory

    A Practical Logic for Expressing and Reasoning About Mathematical Ideas

    Av William M. Farmer

    Inbunden, 2025

    1149 kr

    Lägg i varukorg

16. 

    Simple Type Theory

    A Practical Logic for Expressing and Reasoning About Mathematical Ideas

    Av William M. Farmer

    Häftad, 2026

    859 kr

    Lägg i varukorg

17. 

    Causal Discovery

    Foundations, Algorithms and Applications

    Av Luis Enrique Sucar

    Inbunden, 2025

    1219 kr

    Lägg i varukorg

18. 

    First-Order Schemata and Inductive Proof Analysis

    Av Alexander Leitsch, David Michael Cerna m. fl.

    Inbunden, 2026

    2279 kr

    Lägg i varukorg

19. 

    Concise Introduction to Alternating-Time Temporal Logics

    A Guide for Understanding the Model-Checking Problem

    Av Stéphane Demri

    Inbunden, 2026

    739 kr

    Lägg i varukorg

20. 

    Simple Type Theory

    A Practical Logic for Expressing and Reasoning About Mathematical Ideas

    Av William M. Farmer

    Häftad, 2024

    1189 kr

    Tillfälligt slut