E-Books - Computer programming / software development

Python Packages

Price for Eshop: 1207 Kč (€ 48.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Computer Science - Theory and Applications

14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Objektorientierte Programmierung mit JavaScript

Direktstart fur Einsteiger

Price for Eshop: 704 Kč (€ 28.2)

Format: E-Book, Publisher: Springer Fachmedien Wiesbaden

Availability: E-book delivered electronically online

Testing Commercial-off-the-Shelf Components and Systems

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Price for Eshop: 115 Kč (€ 4.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Price for Eshop: 115 Kč (€ 4.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Price for Eshop: 115 Kč (€ 4.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online