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.
Understanding Windows CardSpace: An Introduction to the Concepts and Challenges of Digital Identities

Vittorio Bertocci, Garrett Serack, Caleb Baker, "Understanding Windows CardSpace: An Introduction to the Concepts and Challenges of Digital Identities"
2008 | pages: 384 | ISBN: 0321496841 | PDF | 4,4 mb

Alchemy: An Introduction to the Symbolism and the Psychology  eBooks & eLearning

Posted by IrGens at Sept. 18, 2017
Alchemy: An Introduction to the Symbolism and the Psychology

Alchemy: An Introduction to the Symbolism and the Psychology by Marie-Louise von Franz
English | January 1, 1980 | ISBN: 091912304X | EPUB | 288 pages | 3.1 MB

An Introduction To Component-based Software Development  eBooks & eLearning

Posted by Underaglassmoon at Sept. 15, 2017
An Introduction To Component-based Software Development

An Introduction To Component-based Software Development
World Scientific | English | Aug 2017 | ISBN-10: 9813221879 | 160 pages | PDF | 3.52 mb

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

An Introduction to the Grammar of Sumerian  eBooks & eLearning

Posted by arundhati at Sept. 13, 2017
An Introduction to the Grammar of Sumerian

Gabor Zolyomi, "An Introduction to the Grammar of Sumerian"
2017 | ISBN-10: 9632848446 | 295 pages | PDF | 7 MB

BPMN 2.0:Introduction to the Standard for Business Process Modeling  eBooks & eLearning

Posted by First1 at Sept. 1, 2017
BPMN 2.0:Introduction to the Standard for Business Process Modeling

BPMN 2.0:Introduction to the Standard for Business Process Modeling by Thomas Allweyer
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.