Computer Science Epub

Lynda - Computer Science Principles Lab: C#  eBooks & eLearning

Posted by U.N.Owen at Feb. 16, 2017
Lynda - Computer Science Principles Lab: C#

Lynda - Computer Science Principles Lab: C#
Size: 260 MB | Duration: 2h 1m | Video: AVC (.mp4) 1280x720 30fps | Audio: AAC 48KHz 2ch
Genre: eLearning | Level: Beginner | Language: English

C# is a versatile programming language used in many different ways.
Pervasive Computing: Engineering Smart Systems (Undergraduate Topics in Computer Science)

Pervasive Computing: Engineering Smart Systems (Undergraduate Topics in Computer Science) by Natalia Silvis-Cividjian
English | 16 Mar. 2017 | ISBN: 331951654X | 210 Pages | PDF | 7.45 MB

This book provides a concise introduction to Pervasive Computing, otherwise known as Internet of Things (IoT) and Ubiquitous Computing (Ubicomp) which addresses the seamless integration of computing systems within everyday objects.
Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science)

Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science) by Nicolas Halbwachs
English | 1993 | ISBN: 1441951334 | 174 Pages | DJVU | 1.64 MB
Principles of 3D Image Analysis and Synthesis (The Springer International Series in Engineering and Computer Science)

Principles of 3D Image Analysis and Synthesis (The Springer International Series in Engineering and Computer Science) by Bernd Girod
English | 2002 | ISBN: 1441949828 | 466 Pages | DJVU | 8.05 MB

Recent Advances in Computer Science and Information Engineering  eBooks & eLearning

Posted by tanas.olesya at Feb. 13, 2017
Recent Advances in Computer Science and Information Engineering

Recent Advances in Computer Science and Information Engineering (Lecture Notes in Electrical Engineering) by Zhihong Qian
English | 6 Feb. 2012 | ISBN: 3642257658 | 849 Pages | PDF | 16 MB

Computer Science and its Applications: CSA 2012 (Repost)  eBooks & eLearning

Posted by roxul at Feb. 12, 2017
Computer Science and its Applications: CSA 2012 (Repost)

Sang-Soo Yeo, Yi Pan, Yang Sun Lee and Hang Bae Chang, "Computer Science and its Applications: CSA 2012 "
English | ISBN: 9400756984 | 2012 | 600 pages | PDF | 33 MB

Mathematics of Discrete Structures for Computer Science (Repost)  eBooks & eLearning

Posted by AvaxGenius at Feb. 11, 2017
Mathematics of Discrete Structures for Computer Science (Repost)

Mathematics of Discrete Structures for Computer Science By Gordon J. Pace
English | PDF | 302 Pages | 2012 | ISBN : 3642298397 | 2.18 MB

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems.
Valider Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening
English | 28 Jan. 2017 | ISBN: 3662504960 | 380 Pages | PDF | 3.72 MB

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning,
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.
Data Structures and Algorithm Analysis in C++, Third Edition (Dover Books on Computer Science)(Repost)

Data Structures and Algorithm Analysis in C++, Third Edition (Dover Books on Computer Science) by Dr. Clifford A. Shaffer
English | 2011 | ISBN: 048648582X | 624 Pages | PDF | 2.67 MB