How To Design Programs An Introduction To Programming and Computing (M. Felleisen, et al)
The main focus of this book is the design process that leads from problem statements to well-organized solutions; it deemphasizes the study of programming language details, algorithmic minutiae, and specific application domains. It covers the following topics: Processing Simple Forms of Data, Processing Arbitrarily Large Data, Abstracting Designs, Generative Recursion, Accumulating Knowledge, Changing the State of Variables, Changing Compound Values.
Author(s): Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi
NA Pages 
Programming Languages Application and Interpretation
This book contains below topics, Everything we will say about parsing, A first look at interpretation, A first taste of desugaring, Adding functions to the language, Mutation of structures and variables, Recursion and cycles, Garbage collection, Macros, Control and threads, Checking program invariants statically with types.
Author(s): Shriram Krishnamurthi, Brown University
207 Pages
Theory in Programming Practice
Jayadev Misras Theory in Programming Practice is quite informative for the essentials of programming theory, especially with practical implications. The text includes compression techniques for data, reducing data size without loss of integrity, methods for detection and correction of errors in data transmission, and cryptography techniques for securing information from unauthorized access. Notes Also familiarize the reader with finite state machinesso very crucial in modeling and analyzing computations processes. Misra on recursion and induction Basic concepts that exist in the world of programming and designing algorithms. Relational databasesa topic thats very relevant to the management of structured data. Of course, the entire resource caters to both theoretical and practical knowledge, making this resource quite helpful in understanding core programming concepts and their implementations.
Author(s): Jayadev Misra
250 Pages
