Computer Science BooksPrograming Theory Books

Programming from Specifications (Carroll Morgan)

Advertisement

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.

Author(s):

s 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
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
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
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
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
Programming from the Ground Up (J. Bartlett)

Programming from the Ground Up (J. Bartlett)

This book covers the following topics: Computer Architecture, Functions, Files, Reading and Writing Simple Records, Developing Robust Programs, Sharing Functions with Code Libraries, Intermediate Memory Topics, High-Level Languages and Optimization.

s326 Pages
Designing and Building Parallel Programs (I. Foster)

Designing and Building Parallel Programs (I. Foster)

This book provides a practitioner's guide for students, programmers, engineers, and scientists who wish to design and build efficient and cost-effective programs for parallel and distributed computer systems. It covers the following topics: Parallel Computers and Computation, Designing Parallel Algorithms, Quantitative Basis for Design, Putting Components Together, Tools, Fortran M, High Performance Fortran, Message Passing Interface and Performance Tools.

sNA Pages
Concepts, Techniques, and Models of Computer Programming (P. Roy, S. Harid, PDF, 939p) Mirror

Concepts, Techniques, and Models of Computer Programming (P. Roy, S. Harid, PDF, 939p) Mirror

This book covers the following topics: Introduction to Programming, General Computation Models, Declarative Programming Techniques, Declarative Concurrency, Relational Programming, Object-Oriented Programming, Encapsulated State, Concurrency and State, Specialized Computation Models, Semantics and Virtual Machines.

s567 Pages
The Programmers Stone (Alan  Colston)

The Programmers Stone (Alan Colston)

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

s Pages
Learning to Program (Alan Gauld)

Learning to Program (Alan Gauld)

Simple Sequences, The Raw Materials, Loops, Branching, Modules & Functions, Handling Files, Handling Text, Error Handling, Regular Expressions, Object Oriented Programming, Event Driven Programming, GUI Programming, Recursion, Python in Practice, Working with Databases, Using the Operating System, Inter-process communications and Network programming.

sNA Pages

Advertisement