Fortress Introduction to The Gospels

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
Global Supply Chain and Operations Management: A Decision-Oriented Introduction to the Creation of Value

Global Supply Chain and Operations Management: A Decision-Oriented Introduction to the Creation of Value (Springer Texts in Business and Economics) by Dmitry Ivanov, Alexander Tsipoulanidis, Jörn Schönberger
2016 | ISBN: 3319242156 | English | 445 pages | PDF | 13 MB

An Introduction to the Languages of the World, 2 edition  eBooks & eLearning

Posted by nebulae at Feb. 21, 2017
An Introduction to the Languages of the World, 2 edition

Anatole Lyovin, "An Introduction to the Languages of the World, 2 edition"
English | ISBN: 0195149882 | 2017 | 544 pages | PDF | 7 MB

Introduction to the Design and Analysis of Algorithms, 3 edition  eBooks & eLearning

Posted by nebulae at Feb. 21, 2017
Introduction to the Design and Analysis of Algorithms, 3 edition

Anany Levitin, "Introduction to the Design and Analysis of Algorithms, 3 edition"
English | ISBN: 027376411X | 2012 | 592 pages | PDF | 2 MB

Introduction to the Practice of Statistics, 6th Edition (repost)  eBooks & eLearning

Posted by interes at Feb. 20, 2017
Introduction to the Practice of Statistics, 6th Edition (repost)

Introduction to the Practice of Statistics, 6th Edition by David S. Moore, George P. McCabe, Bruce Craig
English | 2007 | ISBN: 1429216220 | 709 pages | PDF | 19 MB

Introduction to the Reading of Lacan: The Unconscious Structured Like a Language  eBooks & eLearning

Posted by tarantoga at Feb. 18, 2017
Introduction to the Reading of Lacan: The Unconscious Structured Like a Language

Joël Dor, Judith Feher Gurewich, "Introduction to the Reading of Lacan: The Unconscious Structured Like a Language"
ISBN: 1892746042 | 1998 | EPUB | 296 pages | 4 MB
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.
Spectral Theory and Quantum Mechanics: With an Introduction to the Algebraic Formulation

Valter Moretti, "Spectral Theory and Quantum Mechanics: With an Introduction to the Algebraic Formulation"
ISBN: 8847028345 | 2013 | EPUB | 728 pages | 8 MB
An Introduction to the Analysis of Paths on a Riemannian Manifold (Mathematical Surveys and Monographs)

An Introduction to the Analysis of Paths on a Riemannian Manifold (Mathematical Surveys and Monographs) by Daniel W. Stroock
English | 2000 | ISBN: 0821838393 | 269 Pages | PDF | 6.75 MB