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 **AvaxGenius** at July 21, 2017

English | PDF | 1996 | 261 Pages | ISBN : 3540199977 | 27.46 MB

It is the aim of this study to present a framework for the design of technical systems. This can be achieved through a general Design Science, a knowledge system in which products are seen as objects to be developed within engineering design processes. The authors have developed this design science from a division of the knowledge system along two axes. One deals with knowledge about technical systems and design processes while the other presents descriptive statements.

Posted by **ChrisRedfield** at July 21, 2017

Published: 2002-01-01 | ISBN: 1855759829, 1590510356 | EPUB + MOBI | 342 pages | 4.26 MB

Posted by **ChrisRedfield** at July 21, 2017

Published: 2008-01-17 | ISBN: 0415960479, 0415960487 | PDF | 264 pages | 1.33 MB

Posted by **hill0** at July 20, 2017

English | 13 Jan. 2017 | ISBN: 3319419161 | 184 Pages | PDF | 4.03 MB

This textbook provides an introduction to elementary category theory, with the aim of making what can be a confusing and sometimes overwhelming subject more accessible. In writing about this challenging subject, the author has brought to bear all of the experience he has gained in authoring over 30 books in university-level mathematics.

Posted by **Willson** at July 19, 2017

English | 1975 | ISBN: 3540071776 | 106 pages | PDF | 2.8 MB