Posted by **interes** at April 23, 2014

English | 2013 | ISBN: 1461436303 | 371 pages | PDF | 4,3 MB

A Logical Introduction to Proof is a unique textbook that uses a logic-first approach to train and guide undergraduates through a transition or “bridge” course between calculus and advanced mathematics courses. The author’s approach prepares the student for the rigors required in future mathematics courses and is appropriate for majors in mathematics, computer science, engineering, as well as other applied mathematical sciences.

Posted by **arundhati** at Oct. 6, 2013

2013 | ISBN: 1461436303 | 371 pages | PDF | 4,1 MB

Posted by **libr** at Feb. 25, 2017

English | 2009 | ISBN: 0073531049 | 384 pages | PDF | 7,5 MB

Posted by **naag** at Feb. 25, 2017

MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 3 Hours | Lec: 78 | 701 MB

A software engineer's starter guide to Apache Maven using step-by-step tutorials.

Posted by **ksveta6** at Feb. 22, 2017

2015 | ISBN: 149872292X | English | 317 pages | PDF | 2 MB

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.

Posted by **Nice_smile)** at Feb. 15, 2017

English | 2005 | ISBN: 1551116170 | 224 Pages | PDF | 1.36 MB

Posted by **Nice_smile)** at Feb. 15, 2017

English | 2010 | ISBN: 0898716918 | 452 Pages | PDF | 6.50 MB

Posted by **ChrisRedfield** at Feb. 14, 2017

Published: 2009-07-07 | ISBN: 047025954X | PDF | 237 pages | 2.99 MB