A Visual Introduction to The Fourth Dimension

A Visual Introduction to the Fourth Dimension (Rectangular 4D Geometry)  eBooks & eLearning

Posted by arundhati at June 1, 2015
A Visual Introduction to the Fourth Dimension (Rectangular 4D Geometry)

Chris McMullen, "A Visual Introduction to the Fourth Dimension (Rectangular 4D Geometry)"
2013 | ISBN: 0615750044 | 92 pages | EPUB, MOBI, AZW3 | 22 MB
Bitcoin Blockchain: A compact introduction to the blockchain of Bitcoin (Applied software science Book 2)

Bitcoin Blockchain: A compact introduction to the blockchain of Bitcoin (Applied software science Book 2)
2017 | English | ASIN: B01N13QFOK | 26 pages | PDF + EPUB (conv) | 2.65 Mb
Atlas of Global Development: A Visual Guide to the World's Greatest Challenges (World Bank Atlas)(Repost)

Atlas of Global Development: A Visual Guide to the World's Greatest Challenges (World Bank Atlas) by World Bank
English | 2011 | ISBN: 9780821385838, B004VFUOO2 | 144 Pages | PDF | 29.15 MB

A Faithful Guide to Philosophy: A Christian Introduction to the Love of Wisdom  eBooks & eLearning

Posted by thingska at March 25, 2017
A Faithful Guide to Philosophy: A Christian Introduction to the Love of Wisdom

A Faithful Guide to Philosophy: A Christian Introduction to the Love of Wisdom by Peter S Williams
English | 2013 | ISBN: 1842278118 | 456 Pages | EPUB | 1.09 MB

A Recursive Introduction to the Theory of Computation  eBooks & eLearning

Posted by Sangviniy at March 23, 2017
A Recursive Introduction to the Theory of Computation

A Recursive Introduction to the Theory of Computation (Texts in Computer Science) by Carl Smith
English | Oct. 14, 1994 | ISBN: 0387943323 | 148 Pages | PDF | 2.26 MB

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms.

Harmonograph: A Visual Guide to the Mathematics of Music  eBooks & eLearning

Posted by ksveta6 at March 11, 2017
Harmonograph: A Visual Guide to the Mathematics of Music

Harmonograph: A Visual Guide to the Mathematics of Music (Wooden Books) by Anthony Ashton
2003 | ISBN: 0802714099 | English | 64 pages | PDF | 20 MB

Philosophy, Law and the Family: A New Introduction to the Philosophy of Law  eBooks & eLearning

Posted by nebulae at March 11, 2017
Philosophy, Law and the Family: A New Introduction to the Philosophy of Law

Laurence D. Houlgate, "Philosophy, Law and the Family: A New Introduction to the Philosophy of Law"
English | ISBN: 3319511203 | 2017 | 300 pages | PDF | 2 MB
Atlas of Global Development: A Visual Guide to the World's Greatest Challenges (World Bank Atlas)

Atlas of Global Development: A Visual Guide to the World's Greatest Challenges (World Bank Atlas) by World Bank
English | Apr. 8, 2013 | ISBN: 0821397575 | 147 Pages | PDF | 80 MB

COMPLETELY REVISED AND UPDATED
Published in association with Harper Collins, the completely revised and updated fourth edition of the Atlas of Global Development is a comprehensive guide to the most critical issues facing our changing world today.
A visual guide to global issues – easy-to-read graphical presentation with every topic presented by colorful world maps, tables, graphs, and photographs.

A Gentle Introduction to Stata, Fourth Edition (repost)  eBooks & eLearning

Posted by interes at Feb. 19, 2017
A Gentle Introduction to Stata, Fourth Edition (repost)

A Gentle Introduction to Stata, Fourth Edition by Alan C. Acock
English | 2014 | ISBN: 1597181420 | 500 pages | PDF | 6,4 MB
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Adam Chlipala
English | Dec. 6, 2013 | ISBN: 0262026651 | 369 Pages | PDF | 4 MB

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.