Ihre Suche ergab 15 Treffer.
Algorithms for Constructing Computably Enumerable Sets
Produktform: Buch / Einband - fest (Hardcover)
64,19 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Multi-Valued Logic for Decision-Making Under Uncertainty
Produktform: Buch / Einband - fest (Hardcover)
ca. 213,99 € inkl. MwSt.
Preis kann sich ändern
kostenloser Versand
vorbestellbar
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
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