E-Books - Software Engineering

Effective Prototyping with Excel

A Practical Handbook for Developers and Designers

Price for Eshop: 957 Kč (€ 38.3)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Tool Support for System Specification, Development and Verification

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Relations and Kleene Algebra in Computer Science

10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Use of Formal Specification of Software

June 25-27, 1979, Berlin

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Building and Testing with Gradle

Understanding Next-Generation Builds

Price for Eshop: 475 Kč (€ 19.0)

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

Availability: E-book delivered electronically online

Building and Testing with Gradle

Understanding Next-Generation Builds

Price for Eshop: 422 Kč (€ 16.9)

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

Availability: E-book delivered electronically online

Multiagent System Technologies

6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Algorithms - ESA 2010

18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online