Introduction to The h Principl

Introduction to the h-principle (repost)  eBooks & eLearning

Posted by interes at Feb. 1, 2015
Introduction to the h-principle (repost)

Introduction to the h-principle by Y. Eliashberg and N. Mishachev
English | 2002-06-18 | ISBN: 0821832271 | PDF | 206 pages | 1 MB

Introduction to the h-principle  eBooks & eLearning

Posted by ChrisRedfield at Dec. 4, 2013
Introduction to the h-principle

Y. Eliashberg, ‎Nikolai M. Mishachev - Introduction to the h-principle
Published: 2002-06-18 | ISBN: 0821832271 | PDF | 206 pages | 35 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
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.