Posted by **arundhati** at June 1, 2015

2013 | ISBN: 0615750044 | 92 pages | EPUB, MOBI, AZW3 | 22 MB

Posted by **naag** at April 26, 2017

2017 | English | ASIN: B01N13QFOK | 26 pages | PDF + EPUB (conv) | 2.65 Mb

Posted by **thingska** at April 23, 2017

English | 2011 | ISBN: 9780821385838, B004VFUOO2 | 144 Pages | PDF | 29.15 MB

Posted by **thingska** at March 25, 2017

English | 2013 | ISBN: 1842278118 | 456 Pages | EPUB | 1.09 MB

Posted by **Sangviniy** at March 23, 2017

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.

Posted by **ksveta6** at March 11, 2017

2003 | ISBN: 0802714099 | English | 64 pages | PDF | 20 MB

Posted by **nebulae** at March 11, 2017

English | ISBN: 3319511203 | 2017 | 300 pages | PDF | 2 MB

Posted by **lengen** at Feb. 21, 2017

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.

Posted by **interes** at Feb. 19, 2017

English | 2014 | ISBN: 1597181420 | 500 pages | PDF | 6,4 MB

Posted by **lengen** at Feb. 17, 2017

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.