E-Books - Operating systems

Combinatorics of Set Partitions

Price for Eshop: 1566 Kč (€ 62.6)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Price for Eshop: 2098 Kč (€ 83.9)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Leveraging Applications of Formal Methods, Verification and Validation

5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Design, Specification and Verification of Interactive Systems '98

Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Evaluating Children's Interactive Products

Principles and Practices for Interaction Designers

Price for Eshop: 985 Kč (€ 39.4)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Biomimetic and Biohybrid Systems

8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Die Informatisierung des Alltags

Leben in smarten Umgebungen

Price for Eshop: 586 Kč (€ 23.4)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Docker: Up & Running

Shipping Reliable Containers in Production

Price for Eshop: 844 Kč (€ 33.8)

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

Availability: E-book delivered electronically online