Computer Science BooksComputer Science Books

Introduction to Computer Science

Introduction to Computer Science

Introduction to Computer Science

This note covers the following topics: Computing: The Functional Way, Computing Tool, Algorithms: Design and Refinement, Technical Completeness and Algorithms, Introducing Reals, Correctness, Termination and Complexity, Compound Data, Higher Order Functions and Structured Data, Imperative Programming.

Author(s):

s710 Pages
Similar Books
Introduction to Theoretical Computer Science

Introduction to Theoretical Computer Science

This note covers Mathematical background, Computation and representation, Finite computation, Uniform computation, Efficient algorithms, Randomized computation and advanced topics.

s656 Pages
Overview of Computer Science

Overview of Computer Science

This Book contains following topics: Algorithm, Data Representation, Logic, Machine Organization, Moore’s Law, Computer Security, Computer science, Numbers and counting, Algorithmic Complexity, Software Development, Python references and Examples Python problems.

s238 Pages
CS Unplugged

CS Unplugged

This PDF covers the following topics related to Computer Science : Data the raw material—Representing information, Putting Computers to Work—Algorithms, Telling Computers What To Do—Representing Procedures, Really hard problems—Intractability, Sharing secrets and fighting crime-Cryptography, The human face of computing-Interacting with computers.

s243 Pages
Mathematics for Computer Science

Mathematics for Computer Science

This PDF covers the following topics related to Computer Science :Intro to Proofs, Well Ordering Principle, Logical Formulas, Mathematical Data Types, Induction, Recursive Data Types, Infinite Sets, Number Theory, Directed Graphs and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs, Sums and Asymptotics, Cardinality Rules, Generating Functions, Events and Probability Spaces, Conditional Probability, Random Variables, Deviation From the Mean, Random Walks.

s427 Pages
Logic for Computer Science

Logic for Computer Science

The PDF covers the following topics related to Computer Science : Introduction to Logics, Propositional Calculus, Predicate Calculus, Applications of Predicate Calculus, Automated Deduction in Propositional Calculus, Automated Deduction in Predicate Calculus, Second-Order Logic, Second-Order Quantifier Elimination, Modal Logics, Temporal Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.

s125 Pages
Lecture Notes On High Performance Computing

Lecture Notes On High Performance Computing

This lecture note explains the following topics: Cluster Computing, Scalable Parallel Computer Architectures, Components for Clusters, Cluster Middleware and Single System Image, Evolution of Metacomputing, Load Sharing and Balancing, Grid Computing, Cloud Computing, Virtual Machine and its Provisioning, Time and Space-shared Provisioning.

s69 Pages