Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 60 Treffer.


Theory of Computation

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer London, Auflage 1, 418 Seiten

Erscheinungsdatum: 08.05.2006

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Languages and Compilation

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer London, Auflage 2, 399 Seiten

Erscheinungsdatum: 23.08.2016

64,19 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Specification of Software Systems

Produktform: Buch / Einband - flex.(Paperback)


Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Verlag: Springer London, Auflage 2, 646 Seiten

Erscheinungsdatum: 21.04.2013

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Guide to Intelligent Data Analysis

How to Intelligently Make Sense of Real Data

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer London, Auflage 1, 394 Seiten

Erscheinungsdatum: 05.09.2012

64,19 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Understanding Concurrent Systems

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer London, Auflage 1, 530 Seiten

Erscheinungsdatum: 03.12.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Verification of Sequential and Concurrent Programs

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer London, Auflage 3, 502 Seiten

Erscheinungsdatum: 14.03.2012

85,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Fundamentals of Parameterized Complexity

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer London, Auflage 1, 763 Seiten

Erscheinungsdatum: 17.12.2013

139,09 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Specification of Software Systems

Produktform: Buch / Einband - fest (Hardcover)


Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Verlag: Springer London, Auflage 2, 646 Seiten

Erscheinungsdatum: 28.03.2011

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Explorations in Quantum Computing

Produktform: Buch / Einband - fest (Hardcover)


describes quantum computing in simple terms, and describes key technological hurdles that must be overcome in order to make quantum computers a reality. The text includes executable software simulations to illustrate the concepts and material.

Verlag: Springer London, Auflage 2, 717 Seiten

Erscheinungsdatum: 27.12.2010

96,29 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Guide to Reliable Distributed Systems

Building High-Assurance Applications and Cloud-Hosted Services

Produktform: Buch / Einband - flex.(Paperback)


This book describes the key concepts, principles and implementation options for creating high-assurance cloud computing solutions, beginning with a broad technical overview, and moving through the challenges of reliability and fault-tolerance.

Verlag: Springer London, Auflage 1, 730 Seiten

Erscheinungsdatum: 22.02.2014

60,98 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel