Computer Science BooksPrograming Theory Books

A Practical Theory of Programming (E. Hehner)

Advertisement

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.

Author(s):

s242 Pages
Similar Books
Programming Fundamentals by Kenneth Leroy Busbee

Programming Fundamentals by Kenneth Leroy Busbee

This PDF Programming Fundamentals covers the following topics related to Programing Theory : Introduction to Programming Systems, Data and Operators, Functions, Conditions, Loops, Arrays, Strings and Files, Object-Oriented Programming.

s424 Pages
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.

s250 Pages
Notes on Coding Theory by J.I.Hall

Notes on Coding Theory by J.I.Hall

This note covers the following topics: Sphere Packing and Shannon’s Theorem, Linear Codes, Hamming Codes, Generalized Reed-Solomon Codes, Modifying Codes, Codes over Subfields, Cyclic Codes, Weight and Distance Enumeration.

s204 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
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
Algorithmic Introduction to Coding Theory

Algorithmic Introduction to Coding Theory

This note introduces the theory of error-correcting codes to computer scientists. This theory, dating back to the works of Shannon and Hamming from the late 40's, overflows with theorems, techniques, and notions of interest to theoretical computer scientists. The course will focus on results of asymptotic or algorithmic significance. Principal topics include: Construction and existence results for error-correcting codes, Limitations on the combinatorial performance of error-correcting codes, Decoding algorithms, Applications in computer science.

sNA Pages
A Gentle Introduction to Programming (A. Cumming)

A Gentle Introduction to Programming (A. Cumming)

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

s 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
Patterns for Adaptive Programming (AP)

Patterns for Adaptive Programming (AP)

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

s Pages

Advertisement