E-Books - Mathematical theory of computation

Algebraic Approach To Compiler Design, An

Price for Eshop: 845 Kč (€ 33.8)

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

Availability: E-book delivered electronically online

Complexity and Approximation

Combinatorial Optimization Problems and Their Approximability Properties

Price for Eshop: 1689 Kč (€ 67.6)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Algorithm Design for Computer System Design

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Learning Systems

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Reduktionssysteme

Rechnen und Schlieen in gleichungsdefinierten Strukturen

Price for Eshop: 1042 Kč (€ 41.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Spline and Spline Wavelet Methods with Applications to Signal and Image Processing

Volume II: Non-Periodic Splines

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Macroscopic Quantum Coherence and Quantum Computing

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer US

Availability: E-book delivered electronically online

Mathematical Logic and Computation

Price for Eshop: 1746 Kč (€ 69.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online