Posted by **roxul** at Jan. 10, 2017

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

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 **step778** at Sept. 21, 2017

2008 | pages: 384 | ISBN: 0321496841 | PDF | 4,4 mb

Posted by **IrGens** at Sept. 18, 2017

English | January 1, 1980 | ISBN: 091912304X | EPUB | 288 pages | 3.1 MB

Posted by **Underaglassmoon** at Sept. 15, 2017

World Scientific | English | Aug 2017 | ISBN-10: 9813221879 | 160 pages | PDF | 3.52 mb

by Simone Di Cola (Author), Kung-kiu Lau (Author)

Posted by **arundhati** at Sept. 13, 2017

2017 | ISBN-10: 9632848446 | 295 pages | PDF | 7 MB

Posted by **First1** at Sept. 1, 2017

English | April 7th, 2016 | ISBN: 383709331X | 172 pages | EPUB | 7.93 MB

BPMN (Business Process Model and Notation) is the established standard for business process modeling. Only a few years after its first publication, it has gained widespread adoption in practice. All important modeling tools support BPMN diagramming.