E-Books - Computer programming / software development

Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Retrogame Archeology

Exploring Old Computer Games

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Essential Dynamic HTML fast

Price for Eshop: 844 Kč (€ 33.8)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Advances in GPU Research and Practice

Price for Eshop: 2730 Kč (€ 109.2)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Algorithms - ESA 2006

14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Logic for Programming, Artificial Intelligence, and Reasoning

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

UML 2004 - The Unified Modeling Language

Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online