29 results
Type of media (2)
Availability (3)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
29 results

Your search for Computer Science Foundations and Applied Logic

  1. Cover: Concise Guide to Fault Tree Analysis - Birkhäuser
    Mariëlle Stoelinga | Enno Ruijters | Pavel Krcál
    Concise Guide to Fault Tree Analysis
    Models, Methods and Algorithms
    01/2026
    Birkhäuser
    9783031782879 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: First-Order Schemata and Inductive Proof Analysis - Birkhäuser
    Alexander Leitsch | David Michael Cerna | Anela Lolic
    First-Order Schemata and Inductive Proof Analysis
    01/2026
    Birkhäuser
    9783032057419 (ISBN)
    E-Book
    PDF
    Other editions
    €171.19
    Available for download
  3. Cover: Causal Discovery - Birkhäuser
    Luis Enrique Sucar
    Causal Discovery
    Foundations, Algorithms and Applications
    10/2025
    Birkhäuser
    9783031983450 (ISBN)
    E-Book
    PDF
    Other editions
    €90.94
    Available for download
  4. Cover: Guide to Software Verification with Frama-C - Springer
    Nikolai Kosmatov | Virgile Prevosto | Julien Signoles
    Guide to Software Verification with Frama-C
    Core Components, Usages, and Applications
    07/2024
    1st EDN1st Edition
    Springer
    9783031556081 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Category Theory Using Haskell - Birkhäuser
    Shuichi Yukita
    Category Theory Using Haskell
    An Introduction with Moggi and Yoneda
    12/2024
    1st EDN1st Edition
    Birkhäuser
    9783031685385 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  6. Cover: Structural Decision Diagrams in Digital Test - Birkhäuser
    Raimund Ubar | Jaan Raik | Maksim Jenihhin
    Structural Decision Diagrams in Digital Test
    Theory and Applications
    01/2024
    1st EDN1st Edition
    Birkhäuser
    9783031447341 (ISBN)
    E-Book
    PDF
    Other editions
    €223.63
    Available for download
  7. Cover: Petri Net Primer - Birkhäuser
    Eike Best | Raymond Devillers
    Petri Net Primer
    A Compendium on the Core Model, Analysis, and Synthesis
    01/2024
    Birkhäuser
    9783031482786 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  8. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2023
    1st EDN1st Edition
    Birkhäuser
    9783031211126 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
    New edition available
  9. Cover: Algorithms for Constructing Computably Enumerable Sets - Birkhäuser
    Kenneth J. Supowit
    Algorithms for Constructing Computably Enumerable Sets
    05/2023
    Birkhäuser
    9783031269042 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  10. Cover: Proof Assistants and Their Applications in Mathematics and Computer Science - Springer
    Jasmin Blanchette | Assia Mahboubi
    Proof Assistants and Their Applications in Mathematics and Computer Science
    approx. 11/2026
    Springer
    9783031851896 (ISBN)
    Book
    Hardback
    €80.24
    Not yet published
  11. Cover: Concise Introduction to Alternating-Time Temporal Logics - Birkhäuser
    Stéphane Demri
    Concise Introduction to Alternating-Time Temporal Logics
    A Guide for Understanding the Model-Checking Problem
    04/2026
    Birkhäuser
    9783032118844 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 15-20 days
  12. Cover: Multi-valued Logic for Decision-Making Under Uncertainty - Birkhäuser
    Evgeny Kagan | Alexander Rybalov | Ronald Yager
    Multi-valued Logic for Decision-Making Under Uncertainty
    02/2026
    Birkhäuser
    9783031747649 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €149.79
    Shipment within 15-20 days
  13. Cover: Concise Guide to Fault Tree Analysis - Birkhäuser
    Mariëlle Stoelinga | Enno Ruijters | Pavel Krcál
    Concise Guide to Fault Tree Analysis
    Models, Methods and Algorithms
    01/2026
    Birkhäuser
    9783031782862 (ISBN)
    Book
    Hardback
    Other editions
    €69.54
    Shipment within 15-20 days
  14. Cover: First-Order Schemata and Inductive Proof Analysis - Birkhäuser
    Alexander Leitsch | David Michael Cerna | Anela Lolic
    First-Order Schemata and Inductive Proof Analysis
    01/2026
    Birkhäuser
    9783032057402 (ISBN)
    Book
    Hardback
    Other editions
    €171.19
    Shipment within 15-20 days
  15. Cover: Guide to Software Verification with Frama-C - Springer
    Nikolai Kosmatov | Virgile Prevosto | Julien Signoles
    Guide to Software Verification with Frama-C
    Core Components, Usages, and Applications
    07/2025
    Springer
    9783031556104 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  16. Cover: Category Theory Using Haskell - Birkhäuser
    Shuichi Yukita
    Category Theory Using Haskell
    An Introduction with Moggi and Yoneda
    12/2025
    Birkhäuser
    9783031685408 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €149.79
    Shipment within 15-20 days
  17. Cover: Causal Discovery - Birkhäuser
    Luis Enrique Sucar
    Causal Discovery
    Foundations, Algorithms and Applications
    10/2025
    Birkhäuser
    9783031983443 (ISBN)
    Book
    Hardback
    Other editions
    €90.94
    Shipment within 15-20 days
  18. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2024
    Birkhäuser
    9783031211140 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Exhausted; check different version
  19. Cover: Simple Type Theory - Birkhäuser
    William M. Farmer
    Simple Type Theory
    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    01/2023
    Birkhäuser
    9783031211119 (ISBN)
    Book
    Hardback
    Other editions
    €90.94
    Exhausted; check for reprint
    New edition available
  20. Cover: Petri Net Primer - Birkhäuser
    Eike Best | Raymond Devillers
    Petri Net Primer
    A Compendium on the Core Model, Analysis, and Synthesis
    02/2025
    Birkhäuser
    9783031482809 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 15-20 days
    2. of 2