E-Books - Operating systems

Fehlertolerante dezentrale Prozeautomatisierung

Price for Eshop: 1042 Kč (€ 41.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things

25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, Revised and Extended Selected Papers

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

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 II

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 I

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