Computer Science

Transactions on Engineering Technologies: World Congress on Engineering and Computer Science 2014

Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao - Transactions on Engineering Technologies: World Congress on Engineering and Computer Science 2014
Published: 2015-07-07 | ISBN: 9401772355, 9402404112 | PDF | 573 pages | 19.38 MB
Discovering Computer Science: Interdisciplinary Problems, Principles, and Python Programming

Jessen Havill, "Discovering Computer Science: Interdisciplinary Problems, Principles, and Python Programming"
English | ISBN: 148225414X | 2016 | 750 pages | PDF | 64 MB
Bioinformatics Challenges at the Interface of Biology and Computer Science: Mind the Gap

Bioinformatics Challenges at the Interface of Biology and Computer Science: Mind the Gap by Teresa K. Attwood, Stephen R. Pettifer, David Thorne
2016 | ISBN: 047003548X, 0470035501 | English | 424 pages | PDF | 12 MB

Principles of Data Mining (Undergraduate Topics in Computer Science) [Repost]  eBooks & eLearning

Posted by hill0 at Feb. 20, 2017
Principles of Data Mining (Undergraduate Topics in Computer Science) [Repost]

Principles of Data Mining (Undergraduate Topics in Computer Science) by Max Bramer
English | 17 Nov. 2016 | ISBN: 1447173066 | 544 Pages | PDF | 4.23 MB

This book explains the principal techniques of data mining, for classification, association rule mining and clustering. Each topic is clearly explained and illustrated by detailed examples, with a focus on algorithms rather than mathematical formalism.

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.

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