E-Books - Software Engineering

Formal Methods for Components and Objects

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Human-Centered and Error-Resilient Systems Development

IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Human-Centered Software Engineering

7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

SAP S/4 HANA-Systeme in Hyperscaler Clouds

Architektur, Betrieb und Setup von S/4HANA-Systemen in Microsoft Azure, Amazon Web Services und Google Cloud

Price for Eshop: 1239 Kč (€ 49.6)

Format: E-Book, Publisher: Springer Fachmedien Wiesbaden

Availability: E-book delivered electronically online

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Formal Modeling and Analysis of Timed Systems

20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Prufungsaufgaben Informatik

Price for Eshop: 868 Kč (€ 34.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Innovative Internet Computing Systems

International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online