E-Books - Operating systems

Grundkurs Betriebssysteme

Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation, Virtualisierung

Price for Eshop: 586 Kč (€ 23.4)

Format: E-Book, Publisher: Springer Fachmedien Wiesbaden

Availability: E-book delivered electronically online

Grundkurs Betriebssysteme

Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation, Virtualisierung

Price for Eshop: 844 Kč (€ 33.8)

Format: E-Book, Publisher: Springer Fachmedien Wiesbaden

Availability: E-book delivered electronically online

Grundkurs Betriebssysteme

Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

Price for Eshop: 704 Kč (€ 28.2)

Format: E-Book, Publisher: Springer Fachmedien Wiesbaden

Availability: E-book delivered electronically online

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: 1501 Kč (€ 60.0)

Format: E-Book, Publisher: CRC Press

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

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