Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 13 Treffer.


The Calculus of Computation

Decision Procedures with Applications to Verification

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer Berlin, Auflage 1, 366 Seiten

Erscheinungsdatum: 03.09.2007

74,89 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

The Calculus of Computation

Decision Procedures with Applications to Verification

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer Berlin, Auflage 1, 366 Seiten

Erscheinungsdatum: 19.10.2010

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Sub-Acute Spongiform Encephalopathies

Sponsored by the Commision of the European Communities, Directorate-General for Agriculture, Division for the Coordination of Agricultural Research

Produktform: Buch / Einband - fest (Hardcover)


Proceedings of a Seminar in the CEC Agricultural Research Programme, held in Brussels, November 12-14, 1990

Verlag: Springer Netherland, Auflage 1, 290 Seiten

Erscheinungsdatum: 31.10.1991

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel