- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
Séries : livres de la série Computer Science Foundations and Applied Logic
-
Petri Net Primer
Eike Best, Raymond Devillers
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of reso... Savoir plus
90,95 €90,95 € -
Multi-Valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan, Alexander Rybalov, Ronald Yager
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collec... Savoir plus
151,95 €151,95 € -
Causal Discovery
Luis Enrique Sucar
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- This book presents an overview of causal discovery , an emergent field with important developments in the last few years, and multiple applications in... Savoir plus
92,45 €92,45 € -
Concise Introduction to Alternating-Time Temporal Logics
Stéphane Demri
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of r... Savoir plus
54,45 €54,45 € -
Structural Decision Diagrams in Digital Test
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model repre... Savoir plus
238,45 €238,45 € -
Category Theory Using Haskell
Shuichi Yukita
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950... Savoir plus
151,95 €151,95 € -
Multi-Valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan, Alexander Rybalov, Ronald Yager
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collec... Savoir plus
216,95 €216,95 € -
Proof Assistants and Their Applications in Mathematics and Computer Science
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checki... Savoir plus
80,45 €80,45 € -
Algorithms for Constructing Computably Enumerable Sets
Kenneth J Supowit
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques ... Savoir plus
64,95 €64,95 € -
Petri Net Primer
Eike Best, Raymond Devillers
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of reso... Savoir plus
64,95 €64,95 € -
Concise Guide to Fault Tree Analysis
Mariëlle Stoelinga, Enno Ruijters, Pavel Krčál
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with applications in amongst others, the aerospace, automotive... Savoir plus
70,45 €70,45 € -
Guide to Software Verification with Frama-C
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial... Savoir plus
54,45 €54,45 € -
Guide to Software Verification with Frama-C
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial... Savoir plus
75,95 €75,95 € -
Category Theory Using Haskell
Shuichi Yukita
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950... Savoir plus
216,95 €216,95 € -
Simple Type Theory
William M Farmer
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reas... Savoir plus
64,95 €64,95 € -
Simple Type Theory
William M Farmer
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about ... Savoir plus
86,95 €86,95 € -
First-Order Schemata and Inductive Proof Analysis
Alexander Leitsch, David Michael Cerna, Anela Lolic
- Livre relié | Anglais | Computer Science Foundations and Applied Logic
- Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs. The book introduces schemata... Savoir plus
173,45 €173,45 € -
Structural Decision Diagrams in Digital Test
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model repre... Savoir plus
238,45 €238,45 € -
Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit
- Livre broché | Anglais | Computer Science Foundations and Applied Logic
- Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques ... Savoir plus
64,95 €64,95 €
19 sur 19 résultat(s) affiché(s)