Introduction to The Personal Software Process

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

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
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.
Design Science: Introduction to the Needs, Scope and Organization of Engineering Design Knowledge

Design Science: Introduction to the Needs, Scope and Organization of Engineering Design Knowledge By Vladimir Hubka Dipl.-Ing., Dr., Dr.h.c., W. Ernst Eder MSc, P.Eng.
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.
The Brain and the Inner World: An Introduction to the Neuroscience of Subjective Experience [Repost]

Mark Solms, Oliver Turnbull - The Brain and the Inner World: An Introduction to the Neuroscience of Subjective Experience
Published: 2002-01-01 | ISBN: 1855759829, 1590510356 | EPUB + MOBI | 342 pages | 4.26 MB
Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures (2nd edition) [Repost]

James Robert Brown - Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures (2nd edition)
Published: 2008-01-17 | ISBN: 0415960479, 0415960487 | PDF | 264 pages | 1.33 MB
An Introduction to the Language of Category Theory (Compact Textbooks in Mathematics) [Repost]

An Introduction to the Language of Category Theory (Compact Textbooks in Mathematics) by Steven Roman
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.
Introduction to the Theory of Matroids (Lecture Notes in Economics and Mathematical Systems)

R. v. Randow, "Introduction to the Theory of Matroids (Lecture Notes in Economics and Mathematical Systems)"
English | 1975 | ISBN: 3540071776 | 106 pages | PDF | 2.8 MB