This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations.  Subsequent chapters move from the qualitative aspects of...

We often hear about software projects that are late, over budget, or unable to satisfy customer needs. Yet some organizations are able to manage project after project successfully with desired results. In this book, Pankaj Jalote looks at one such organization, Infosys...

This book is a detailed discussion of the Diesel Combustion phenomena like ignition delay, fuel air mixing, rate of heat release, and emissions of smoke, particulate and nitric oxide. The book enables quantitative evaluation of these important phenomena and parameters. Most importantly, it attempts to model them with constants that are...

Drawing on the author's over thirty years of expertise in compiler development, research, and instruction, Trustworthy Compilers introduces and analyzes the concept of trustworthy compilers and the principles...