- 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
-
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
152,95 €Livraison 1 à 4 semaines152,95 €Livraison 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
83,95 €Pré-commander, date de disponibilité inconnue83,95 €Pré-commander, date de disponibilité inconnue -
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
381,95 €Livraison 2 à 3 semaines381,95 €Livraison 2 à 3 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 -
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
99,45 €Livraison 2 à 3 semaines99,45 €Livraison 2 à 3 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
69,45 €Livraison sous 1 à 4 semaines69,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
106,95 €Livraison 2 à 3 semaines106,95 €Livraison 2 à 3 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
114,45 €Livraison 2 à 3 semaines114,45 €Livraison 2 à 3 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
213,95 €Livraison sous 1 à 4 semaines213,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
129,95 €Livraison 2 à 3 semaines129,95 €Livraison 2 à 3 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
320,45 €Livraison 1 à 2 semaines320,45 €Livraison 1 à 2 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
168,95 €Livraison sous 1 à 4 semaines168,95 €Livraison sous 1 à 4 semaines
15 sur 15 résultat(s) affiché(s)