Related Books
Language: en
Pages: 134
Pages: 134
Type: BOOK - Published: 2015-10-05 - Publisher: Thames & Hudson
This eBook version includes the Preface, Foreword and introductory texts only. Here is an authoritative and beautiful overview of the graphic art produced by ar
Language: en
Pages: 418
Pages: 418
Type: BOOK - Published: 2018-09-18 - Publisher: MIT Press
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a
Language: en
Pages: 302
Pages: 302
Type: BOOK - Published: 1881 - Publisher:
Language: en
Pages: 304
Pages: 304
Type: BOOK - Published: 1881 - Publisher:
Language: en
Pages: 404
Pages: 404
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media
In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti