Introduction to The Personal Software Process

Practical Decision Making: An Introduction to the Analytic Hierarchy Process (AHP) Using Super Decisions V2

Enrique Mu, "Practical Decision Making: An Introduction to the Analytic Hierarchy Process (AHP) Using Super Decisions V2"
2016 | ISBN-10: 3319338609 | 128 pages | PDF | 6 MB

Introduction to the Analytic Hierarchy Process [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Dec. 26, 2015
Introduction to the Analytic Hierarchy Process [Repost]

Matteo Brunelli - Introduction to the Analytic Hierarchy Process
Published: 2014-12-12 | ISBN: 331912501X | PDF | 83 pages | 1.79 MB

Introduction to the Analytic Hierarchy Process (SpringerBriefs in Operations Research)  eBooks & eLearning

Posted by Nice_smile) at March 18, 2015
Introduction to the Analytic Hierarchy Process (SpringerBriefs in Operations Research)

Introduction to the Analytic Hierarchy Process (SpringerBriefs in Operations Research) by Matteo Brunelli
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.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Adam Chlipala
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.

A Recursive Introduction to the Theory of Computation  eBooks & eLearning

Posted by Sangviniy at March 23, 2017
A Recursive Introduction to the Theory of Computation

A Recursive Introduction to the Theory of Computation (Texts in Computer Science) by Carl Smith
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.

Introduction to the Pharmaceutical Sciences [Repost]  eBooks & eLearning

Posted by tanas.olesya at March 21, 2017
Introduction to the Pharmaceutical Sciences [Repost]

Introduction to the Pharmaceutical Sciences: An Integrated Approach by Nita K. Pandit
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.

What Everyone Needs to Know about Tax: An Introduction to the UK Tax System  eBooks & eLearning

Posted by Underaglassmoon at March 14, 2017
What Everyone Needs to Know about Tax: An Introduction to the UK Tax System

What Everyone Needs to Know about Tax: An Introduction to the UK Tax System
Wiley | English | April 3, 2017 | ISBN-10: 1119375789 | 168 pages | PDF | 652 kb

by James Hannam (Author)

Philosophy, Law and the Family: A New Introduction to the Philosophy of Law  eBooks & eLearning

Posted by nebulae at March 11, 2017
Philosophy, Law and the Family: A New Introduction to the Philosophy of Law

Laurence D. Houlgate, "Philosophy, Law and the Family: A New Introduction to the Philosophy of Law"
English | ISBN: 3319511203 | 2017 | 300 pages | PDF | 2 MB

An Introduction to the New Testament Manuscripts and their Texts (repost)  eBooks & eLearning

Posted by arundhati at Feb. 26, 2017
An Introduction to the New Testament Manuscripts and their Texts (repost)

D. C. Parker, "An Introduction to the New Testament Manuscripts and their Texts"
2008 | ISBN: 0521895537, 0521719895 | PDF | 400 pages | 2 MB
Introduction to the History of Christianity: First Century to the Present Day- A Worldwide Story- People and Movements

Introduction to the History of Christianity: First Century to the Present Day- A Worldwide Story- People and Movements, 400 Pictures, Maps, And Diagrams by Tim Dowley
English | 1995 | ISBN: 0800629353 | 688 Pages | EPUB | 18.90 MB