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
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | EPUB | 0.1 MB

Introduction to Frontend Web Development For Beginners  eBooks & eLearning

Posted by naag at Feb. 14, 2017
Introduction to Frontend Web Development For Beginners

Introduction to Frontend Web Development For Beginners
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 4.5 Hours | Lec: 48 | 655 MB
Genre: eLearning | Language: English

Learn to program for the web using HTML ,CSS, JAVASCRIPT
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.