E-Books - Systems analysis & design

Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Seeking SRE

Conversations About Running Production Systems at Scale

Price for Eshop: 818 Kč (€ 32.7)

Format: E-Book, Publisher: O'Reilly Media

Availability: E-book delivered electronically online

Seeking SRE

Conversations About Running Production Systems at Scale

Price for Eshop: 818 Kč (€ 32.7)

Format: E-Book, Publisher: O'Reilly Media

Availability: E-book delivered electronically online

Diagnosis and Fault-Tolerant Control

Price for Eshop: 3084 Kč (€ 123.4)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Diagnosis and Fault-Tolerant Control

Price for Eshop: 2098 Kč (€ 83.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

High-Level Information Fusion Management and Systems Design

Price for Eshop: 2983 Kč (€ 119.3)

Format: E-Book, Publisher: Artech House

Availability: E-book delivered electronically online

Handbook on Parallel and Distributed Processing

Price for Eshop: 5055 Kč (€ 202.2)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Informatik

Price for Eshop: 563 Kč (€ 22.5)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Design, Specification and Verification of Interactive Systems '96

Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online