Scientific Programming and Computer Architecture
by Divakar Viswanath
Publisher: The MIT Press 2017
Number of pages: 624
This book examines and explains a variety of scientific programming models with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity. Throughout this book, the premise is to 'get under the hood', and the discussion is tied to specific programs.
Home page url
Download or read it online for free here:
by Mathias Ekstedt - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
by Michael R. Lyu - John Wiley & Sons Ltd.
Software fault tolerance techniques involve error detection, exception handling, monitoring mechanisms and error recovery. This book also focuses on identification, application, formulation and evaluation of current software tolerance techniques.
by Shane Pinder - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
by Leslie Lamport - Addison-Wesley Professional
This book shows how to write unambiguous specifications of complex computer systems. It provides a complete reference manual for the TLA+, the language developed by the author for writing simple and elegant specifications of algorithms and protocols.