Hankin Introduction to The Lambda Calculus For Computer Scientists

Help Me! Guide to iPhone 6S for Seniors: Introduction to the iPhone 6S for Beginners  eBooks & eLearning

Posted by AlenMiler at March 1, 2016
Help Me! Guide to iPhone 6S for Seniors: Introduction to the iPhone 6S for Beginners

Help Me! Guide to the iPhone 6S for Seniors: Introduction to the iPhone 6S for Beginners by Charles Hughes
English | Feb. 18, 2016 | ISBN: 153008069X | 328 Pages | MOBI/EPUB/PDF (conv) | 19.46 MB

Need help with the iPhone 6S? Are you new to the iPhone? The Guide to iPhone 6S for Seniors is a book written specifically for those who have difficulty using electronics, such as phones, personal computers, and tablet computers.

An Introduction to the Fractional Calculus and Fractional Differential Equations [Repost]  eBooks & eLearning

Posted by tanas.olesya at Dec. 17, 2015
An Introduction to the Fractional Calculus and Fractional Differential Equations [Repost]

An Introduction to the Fractional Calculus and Fractional Differential Equations by Kenneth S. Miller
English | 6 July 1993 | ISBN: 0471588849 | 376 Pages | PDF | 10 MB

Commences with the historical development of fractional calculus, its mathematical theory–particularly the Riemann-Liouville version. Numerous examples and theoretical applications of the theory are presented. Features topics associated with fractional differential equations.

Pluralsight - Introduction to the Java API for WebSockets  eBooks & eLearning

Posted by Max-X at June 16, 2015
Pluralsight - Introduction to the Java API for WebSockets

Pluralsight - Introduction to the Java API for WebSockets
English | 2+ Hours | .MP4 | aac, 44100 Hz, stereo | h264, yuv420p, 1024x768, 15.00 fps | 442MB
Genre: E-learning
An Introduction to the Regularity Theory for Elliptic Systems, Harmonic Maps and Minimal Graphs (2nd edition)

Mariano Giaquinta, Luca Martinazzi, "An Introduction to the Regularity Theory for Elliptic Systems, Harmonic Maps and Minimal Graphs (2nd edition)"
2013 | ISBN-10: 8876424423 | 369 pages | PDF | 2 MB
An Introduction to the Fractional Calculus and Fractional Differential Equations

Kenneth S. Miller, Bertram Ross, "An Introduction to the Fractional Calculus and Fractional Differential Equations"
English | 1993 | ISBN: 0471588849 | PDF | pages: 376 | 10,8 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.

An Introduction to the Bond Markets  eBooks & eLearning

Posted by Specialselection at Jan. 21, 2014
An Introduction to the Bond Markets

Patrick J. Brown, "An Introduction to the Bond Markets"
English | 2006-05-18 | ISBN: 0470015837 | 245 pages | PDF | 1.3 mb
Bitcoin Blockchain: A compact introduction to the blockchain of Bitcoin (Applied software science Book 2)

Bitcoin Blockchain: A compact introduction to the blockchain of Bitcoin (Applied software science Book 2)
2017 | English | ASIN: B01N13QFOK | 26 pages | PDF + EPUB (conv) | 2.65 Mb

Introduction to the Calculus of Variations [Repost]  eBooks & eLearning

Posted by tanas.olesya at April 22, 2017
Introduction to the Calculus of Variations  [Repost]

Introduction to the Calculus of Variations by Bernard Dacorogna
English | 8 Nov. 2004 | ISBN: 186094499X, 1860945082 | 240 Pages | PDF | 4 MB

The calculus of variations is one of the oldest subjects in mathematics, yet is very much alive and is still evolving.

Logic for Computer Scientists (repost)  eBooks & eLearning

Posted by roxul at April 12, 2017
Logic for Computer Scientists (repost)

Uwe Schöning, "Logic for Computer Scientists"
2010 | ISBN-10: 0817645721 | 236 pages | PDF | 2 MB