Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing, 9, Band 9)

Wo zu kaufen (1) Eigenschaften
Gesponsert
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing, 9, Band 9)
Medimops DE
146.98 EUR
Preis aktualisiert am: 15-09-2026 21:08:43
Siehe Produktangebot

Allgemein

Marke
Springer US
MPN
Springer US 13905884
ISBN
Springer US 1441951768

Eigenschaften

Ähnliche Produkte

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Produkt anzeigen
Critical Online Reasoning: Validierung neu entwickelter Aufgaben zur Erfassung und Förderung des kritischen Umgangs mit Online-Medien (BestMasters)
Critical Online Reasoning: Validierung neu entwickelter Aufgaben zur Erfassung und Förderung des kritischen Umgangs mit Online-Medien (BestMasters)
Produkt anzeigen
Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)
Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)
Produkt anzeigen
Boolean Reasoning: The Logic of Boolean Equations
Boolean Reasoning: The Logic of Boolean Equations
Produkt anzeigen
An Investigation of College Students' Covariational Reasonings: Reasoning About Change
An Investigation of College Students' Covariational Reasonings: Reasoning About Change
Produkt anzeigen
基于差异逃离及风险偏好的Team Reasoning状态游离博弈模型
基于差异逃离及风险偏好的Team Reasoning状态游离博弈模型
Produkt anzeigen
Menü