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 **Sangviniy** at March 23, 2017

English | Oct. 14, 1994 | ISBN: 0387943323 | 148 Pages | PDF | 2.26 MB

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms.

Posted by **tanas.olesya** at March 21, 2017

English | 1 Oct. 2011 | ISBN: 1609130014 | 375 Pages | PDF | 88 MB

This unique textbook provides an introductory, yet comprehensive overview of the pharmaceutical sciences. It is the first text of its kind to pursue an interdisciplinary approach.

Posted by **Underaglassmoon** at March 14, 2017

Wiley | English | April 3, 2017 | ISBN-10: 1119375789 | 168 pages | PDF | 652 kb

by James Hannam (Author)

Posted by **nebulae** at March 11, 2017

English | ISBN: 3319511203 | 2017 | 300 pages | PDF | 2 MB

Posted by **arundhati** at Feb. 26, 2017

2008 | ISBN: 0521895537, 0521719895 | PDF | 400 pages | 2 MB

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

English | 1995 | ISBN: 0800629353 | 688 Pages | EPUB | 18.90 MB