Computer Science BooksPrograming Theory Books

Theory in Programming Practice

Theory in Programming Practice

Theory in Programming Practice

This note explains the following topics: Text Compression, Error Detection and Correction, Cryptography, Finite State Machines, Recursion and Induction, Relational Database.

Author(s):

s250 Pages
Similar Books
Coding and Cryptography

Coding and Cryptography

Coding theory includes the study of compression codes which enable us to send messages cheaply and error correcting codes which ensure that messages remain legible even in the presence of errors. Topics covered includes: Codes and alphabets, Huffman’s algorithm, Shannon’s noiseless coding theorem , Hamming’s breakthrough, Shannon’s noisy coding theorem , Linear codes, Polynomials and fields , Cyclic codes, Stream ciphers, Asymmetric systems, Commutative public key systems, Trapdoors and signatures.

s104 Pages
Coding Theory and Applications

Coding Theory and Applications

This book has been written as lecture notes for students who need a grasp of the basic principles of linear codes. Topics covered includes: Shannon theory and coding, Coding theory, Decoding of linear codes and MacWilliams identity, Coding theory - Constructing New Codes, Coding theory - Bounds on Codes, Reed-Muller codes, Fast decoding of RM codes and higher order RM codes.

s154 Pages
Programming Language Concepts Lecture Notes

Programming Language Concepts Lecture Notes

This note explains the following topics: Object-oriented programming, Data encapsulation with classes, Subclasses and inheritance, Abstract classes, Exception handling, Reflection, Concurrent programming, Functional programming, Logic programming, Scripting languages.

s182 Pages
Essential Coding Theory

Essential Coding Theory

This book explains the following topics: Linear Codes, Probability as Fancy Counting and the q-ary Entropy Function, Combinatorics, The Greatest Code of Them All: Reed-Solomon Codes, What Happens When the Noise is Stochastic: Shannon's Theorem, Bridging the Gap Between Shannon and Hamming: List Decoding, Code Constructions, Code Concatenation, Algorithms, Decoding Concatenated Codes, Efficiently Achieving the Capacity of the BSCp, Efficient Decoding of Reed-Solomon Codes, Efficiently Achieving List Decoding Capacity, Applications.

sNA Pages
Structure and Interpretation of Computer Programs

Structure and Interpretation of Computer Programs

This note covers the following topics: Functions, Values and Side Effects, Control and Higher-Order Functions, Environments and Lambda, Newton's Method and Recursion, Data Abstraction, Sequences and Iterables, Objects, Lists, and Dictionaries, Mutable Data Types, Object-Oriented Programming, Inheritance, Generic Functions, Coercion and Recursive Data, Functional Programming, Declarative Programming, Unification, MapReduce, Parallelism.

sNA Pages
Theory     in Programming Practice (PDF 250P)

Theory in Programming Practice (PDF 250P)

Covered topics are: Text Compression, Error Detection and Correction, Cryptography, Finite State Machines, Recursion and Induction, Relational Database, String Matching and Parallel Recursion.

s250 Pages
A Practical Theory of Programming (E. Hehner)

A Practical Theory of Programming (E. Hehner)

This note covers the following topics: Basic Theories, Basic Data Structures, Function Theory, Program Theory, Programming Language, Recursive Definition, Theory Design and Implementation, Concurrency and Interaction.

s242 Pages
Structure and Interpretation of Computer Programs, 2nd Edition, (H. Abelson, G.J. Sussman) Videos

Structure and Interpretation of Computer Programs, 2nd Edition, (H. Abelson, G.J. Sussman) Videos

This book emphasizes the role of computer languages as vehicles for expressing knowledge and it presents basic principles of abstraction and modularity, together with essential techniques for designing and implementing computer languages.

sNA Pages
How to Think Like a Computer Scientist

How to Think Like a Computer Scientist

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
Programming from Specifications (Carroll Morgan)

Programming from Specifications (Carroll Morgan)

Currently this section contains no detailed description for the page, will update this page soon.

s Pages