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 **tanas.olesya** at April 22, 2017

English | 8 Nov. 2004 | ISBN: 186094499X, 1860945082 | 240 Pages | PDF | 4 MB

The calculus of variations is one of the oldest subjects in mathematics, yet is very much alive and is still evolving.

Posted by **libr** at April 21, 2017

English | 2012 | ISBN: 1841697400 , 1841697419 | 328 pages | PDF | 3 MB

Posted by **interes** at April 19, 2017

English | 2007 | ISBN: 0826217133 | 232 pages | PDF | 1 MB

Posted by **ksveta6** at April 14, 2017

2003 | ISBN: 0470844582 | English | 336 pages | EPUB | 0.7 MB

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

2017 | English | ASIN: B06Y5QJPL1 | 143 pages | PDF + EPUB (conv) | 1.28 Mb

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

English | 1997 | ISBN: 1872870465, 9781872870465 | 174 Pages | PDF | 7.96 MB