E-Books - Mathematical theory of computation

Lambda-Calculus and Combinators

An Introduction

Price for Eshop: 1915 Kč (€ 76.6)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Think Before You Compute

A Prelude to Computational Fluid Dynamics

Price for Eshop: 1070 Kč (€ 42.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Provably Correct Systems

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Recursion-Theoretic Hierarchies

Price for Eshop: 4252 Kč (€ 170.1)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Spectral Theory & Computational Methods of Sturm-Liouville Problems

Price for Eshop: 6202 Kč (€ 248.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Spectral Theory & Computational Methods of Sturm-Liouville Problems

Price for Eshop: 6202 Kč (€ 248.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Unsupervised Learning

Foundations of Neural Computation

Price for Eshop: 1920 Kč (€ 76.8)

Format: E-Book, Publisher: The MIT Press

Availability: E-book delivered electronically online

Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Price for Eshop: 1182 Kč (€ 47.3)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Mathematics of Program Construction

12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online