|
|
|
| Handbook of Algorithms and Data Structures | |
| This free online book includes the following topics: Basic Concepts, Searching Algorithms, Sorting Algorithms, Selection Algorithms, Arithmetic Algorithms, Text Algorithms, Distributions Derived from Empirical Observation, Asymptotic Expansions. |  |
| Understanding Programming Languages | |
| Understanding Programming Languages explains: what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions. |  |
| Syntax and Semantics of Programming Languages | |
| This free online book presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Includes valuable hands-on laboratory exercises. |  |
| General Programming Concepts: Writing and Debugging Programs | |
| General Programming Concepts: Writing and Debugging Programs is available online for free. | |
| Logic for Computer Science | |
| Logic for Computer Science: Foundations of Automatic Theorem Proving by Jean Gallier is available in ps and pdf formats. | |
|
|
