E-Books - Software Engineering

Artificial General Intelligence

8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

SOFSEM 2012: Theory and Practice of Computer Science

38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Price for Eshop: 115 Kč (€ 4.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Simulation als betriebliche Entscheidungshilfe

Band 2

Price for Eshop: 1042 Kč (€ 41.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Fuzzy-Methoden

Praxisrelevante Rechenmodelle und Fuzzy-Programmiersprachen

Price for Eshop: 2358 Kč (€ 94.3)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Value-Based Software Engineering

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Security and Quality in Cyber-Physical Systems Engineering

With Forewords by Robert M. Lee and Tom Gilb

Price for Eshop: 3464 Kč (€ 138.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online