Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 115 Treffer.


Verification of Reactive Systems

Formal Methods and Algorithms

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Berlin, Auflage 1, 602 Seiten

Erscheinungsdatum: 16.10.2003

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Modelling Distributed Systems

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer Berlin, Auflage 1, 154 Seiten

Erscheinungsdatum: 26.09.2007

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Elements of Finite Model Theory

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Berlin, Auflage 1, 318 Seiten

Erscheinungsdatum: 02.07.2004

96,29 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Berlin, Auflage 1, 472 Seiten

Erscheinungsdatum: 14.05.2004

117,69 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Temporal Logic and State Systems

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Berlin, Auflage 1, 436 Seiten

Erscheinungsdatum: 27.03.2008

80,24 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Exact Exponential Algorithms

Produktform: Buch / Einband - fest (Hardcover)


Exact Exponential Algorithms provides an introduction to the area and explains the most common algorithmic techniques involved. Thorough exercises are included, in addition to notes and suggestions for further reading.

Verlag: Springer Berlin, Auflage 1, 206 Seiten

Erscheinungsdatum: 27.10.2010

80,24 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Software Engineering 2

Specification of Systems and Languages

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 780 Seiten

Erscheinungsdatum: 12.02.2010

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Parameterized Complexity Theory

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 495 Seiten

Erscheinungsdatum: 12.02.2010

85,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Introduction to Process Algebra

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Berlin, Auflage 1, 168 Seiten

Erscheinungsdatum: 23.12.1999

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Graphs and Algorithms in Communication Networks

Studies in Broadband, Optical, Wireless and Ad Hoc Networks

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer Berlin, Auflage 1, 426 Seiten

Erscheinungsdatum: 30.11.2009

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel