E-Books - Mathematical theory of computation

Automated Deduction in Geometry

5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Mathematical Software -- ICMS 2014

4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Chinese Lexical Semantics

20th Workshop, CLSW 2019, Beijing, China, June 28-30, 2019, Revised Selected Papers

Price for Eshop: 3084 Kč (€ 123.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Algorithms and Computation

19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Principles and Practice of Constraint Programming

24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Integrated Methods for Optimization

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer US

Availability: E-book delivered electronically online

Parallel Symbolic Computation Pasco '94 - Proceedings Of The First International Symposium

Price for Eshop: 1003 Kč (€ 40.1)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Introducing Microsoft Quantum Computing for Developers

Using the Quantum Development Kit and Q#

Price for Eshop: 1549 Kč (€ 62.0)

Format: E-Book, Publisher: Apress

Availability: E-book delivered electronically online