Introduction to The Boost C Libraries

Learning Boost C++ Libraries  eBooks & eLearning

Posted by AlenMiler at Aug. 14, 2015
Learning Boost C++ Libraries

Learning Boost C++ Libraries by Arindam Mukherjee
English | 31 July 2015 | ISBN: 1783551216 | 558 Pages | EPUB/MOBI/PDF (True) | 57.95 MB
With: Code Files

If you are a C++ programmer who has never used Boost libraries before, this book will get you up-to-speed with using them. Whether you are developing new C++ software or maintaining existing code written using Boost libraries, this hands-on introduction will help you decide on the right library and techniques to solve your practical programming problems.

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

Narratology: Introduction to the Theory of Narrative  eBooks & eLearning

Posted by Nice_smile) at Feb. 15, 2017
Narratology: Introduction to the Theory of Narrative

Narratology: Introduction to the Theory of Narrative by Mieke Bal
English | 2009 | ISBN: 0802096875 | 256 Pages | PDF | 2.12 MB

A Brief Introduction to the Philosophy of Mind (Broadview Guides to Philosophy)  eBooks & eLearning

Posted by Nice_smile) at Feb. 15, 2017
A Brief Introduction to the Philosophy of Mind (Broadview Guides to Philosophy)

A Brief Introduction to the Philosophy of Mind (Broadview Guides to Philosophy) by Neil Campbell
English | 2005 | ISBN: 1551116170 | 224 Pages | PDF | 1.36 MB
Introduction to the Geometry of Foliations, Part A: Foliations on Compact Surfaces, Fundamentals for Arbitrary Codimension

Introduction to the Geometry of Foliations, Part A: Foliations on Compact Surfaces, Fundamentals for Arbitrary Codimension, and Holonomy by Gilbert Hector
English | 1986 | ISBN: 3528185015 | 236 Pages | DJVU | 1.62 MB
Ultrathin Magnetic Structures I: An Introduction to the Electronic, Magnetic and Structural Properties (Pt. 1) (repost)

J.A.C. Bland, Bretislav Heinrich "Ultrathin Magnetic Structures I: An Introduction to the Electronic, Magnetic and Structural Properties (Pt. 1)"
English | 2005-05-25 | ISBN: 3540219552 | 350 pages | PDF | 18,4 MB
Introduction to the Theory of Algebraic Functions of One Variable (Mathematical Surveys and Monographs)

Introduction to the Theory of Algebraic Functions of One Variable (Mathematical Surveys and Monographs) by C. C. Chevalley
English | 1951 | ISBN: 0821815067 | 188 Pages | DJVU | 9.96 MB