Introduction Computer Science Pdf

Software Engineering and Testing: An Introduction (Computer Science)  eBooks & eLearning

Posted by mrhbod at Sept. 11, 2009
Software Engineering and Testing: An Introduction (Computer Science)

Software Engineering and Testing: An Introduction (Computer Science)
By B. B. Agarwal, S. P. Tayal, M. Gupta

Publisher: Jones & Bartlett Publishers | 515 pages | 2009-03-15 | ISBN: 1934015555 | English | PDF | 11.92 MB

Introduction to Computer Science and Programming ( video)  Video

Posted by crazylife at Nov. 13, 2009
Introduction to Computer Science and Programming ( video)

Introduction to Computer Science and Programming
Video Lectures | MPEG4 Video 480x360 25.00fps | AAC 44100Hz stereo 1411Kbps | 24 lectures, (40 :50) minutes/lecture | 2.7 GB

This subject is aimed at students with little or no programming experience. It aims to provide students with an understanding of the role computation can play in solving problems. It also aims to help students, regardless of their major, to feel justifiably confident of their ability to write small programs that allow them to accomplish useful goals. The class will use the Python™ programming language.

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

Hashing in Computer Science: Fifty Years of Slicing and Dicing (repost)  eBooks & eLearning

Posted by interes at Feb. 3, 2017
Hashing in Computer Science: Fifty Years of Slicing and Dicing  (repost)

Hashing in Computer Science: Fifty Years of Slicing and Dicing by Alan G. Konheim
English | 2010 | ISBN: 0470344733 | 386 pages | PDF | 4,8 MB