With an analytical and rigorous approach to problem solving and programming techniques, this book is oriented toward engineering. Structure and Interpretation of Computer Programs emphasizes the central role played by different approaches to dealing with time in computational models. Its unique approach makes it appropriate for an...

This significantly revised edition presents a broad introduction to Control Systems and balances new, modern methods with the more classical. It is an excellent text for use as a first course in Control Systems by undergraduate students in all branches of engineering and applied mathematics. The book contains: A comprehensive coverage of...

This book provides an excellent foundation for solving cipher systems. The text describes the fundamental principles of cipher solution plus use of the unilateral frequency distribution in the solution process is covered in some detail. Various unilateral and multilateral systems are carefully discussed. In addition, the text introduces the...

Filled with programming-related examples and...

"Proof" has been and remains one of the concepts which characterises mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated. The authors explore the principle techniques of...

This book describes data structures, methods of organizing large amounts of data, and algorithm analysis, the estimation of the running time of algorithms. As computers become faster and faster, the need for programs that can handle large amounts of input becomes more acute. Paradoxically, this requires more careful attention...