- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- 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 €Livraison sous 1 à 4 semaines90,95 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines151,95 €Livraison sous 1 à 4 semaines -
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
90,95 €Livraison sous 1 à 4 semaines90,95 €Livraison sous 1 à 4 semaines -
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
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
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
213,95 €Livraison sous 1 à 4 semaines213,95 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines238,45 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines151,95 €Livraison sous 1 à 4 semaines -
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
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines64,95 €Livraison sous 1 à 4 semaines -
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
88,45 €Livraison 1 à 2 semaines88,45 €Livraison 1 à 2 semaines -
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 €Livraison sous 1 à 4 semaines70,45 €Livraison sous 1 à 4 semaines -
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
83,95 €Livraison 1 à 4 semaines83,95 €Livraison 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines75,95 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines64,95 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines216,95 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines86,95 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines173,45 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines238,45 €Livraison sous 1 à 4 semaines -
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 €Livraison sous 1 à 4 semaines64,95 €Livraison sous 1 à 4 semaines
19 sur 19 résultat(s) affiché(s)