Posted by **arundhati** at Oct. 16, 2016

2016 | ISBN-10: 3319338609 | 128 pages | PDF | 6 MB

Posted by **ChrisRedfield** at Dec. 26, 2015

Published: 2014-12-12 | ISBN: 331912501X | PDF | 83 pages | 1.79 MB

Posted by **Nice_smile)** at March 18, 2015

English | 2015 | ISBN: 331912501X | ISBN-13: 978-3319125015 | 83 Pages | PDF | 2 MB

The Analytic Hierarchy Process (AHP) has been one of the foremost mathematical methods for decision making with multiple criteria and has been widely studied in the operations research literature as well as applied to solve countless real-world problems.

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 **libr** at May 25, 2017

English | 2009 | ISBN: 0860372480 | 200 pages | EPUB | 4,6 MB

Posted by **thingska** at May 22, 2017

English | 2008 | ISBN: 8180385590, 9788180385599 | 200 Pages | PDF | 91.77 MB

Posted by **roxul** at May 21, 2017

2013 | ISBN: 032190575X | 592 pages | EPUB | 40 MB

Posted by **libr** at May 19, 2017

English | 2011 | ISBN: 1590308840 | 288 pages | EPUB | 3,6 MB

Posted by **tarantoga** at May 19, 2017

ISBN: 0750962992 | 2015 | EPUB | 160 pages | 2 MB

Posted by **naag** at May 19, 2017

English | 2014 | ISBN-10: 1501000861 | 756 pages | PDF + AZW3 | 1.17 Mb

If you want to learn how to program in Python, but don't know where to start read on.