Ihre Suche ergab 16 Treffer.
Algorithms for Constructing Computably Enumerable Sets
Produktform: Buch / Einband - fest (Hardcover)
64,19 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Produktform: Buch / Einband - flex.(Paperback)
64,19 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Structural Decision Diagrams in Digital Test
Theory and Applications
Produktform: Buch / Einband - fest (Hardcover)
235,39 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Produktform: Buch / Einband - fest (Hardcover)
69,54 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Multi-Valued Logic for Decision-Making Under Uncertainty
Produktform: E-Buch Text Elektronisches Buch in proprietärem
213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
vorbestellbar
Multi-Valued Logic for Decision-Making Under Uncertainty
Produktform: Buch / Einband - fest (Hardcover)
213,99 € inkl. MwSt.
kostenloser Versand
vorbestellbar