Discrete mathematics is quickly becoming one of the most important areas of mathematical research, with applications to cryptography, linear programming, coding theory and the theory of computing. This book is aimed at undergraduate mathematics and computer science students interested in developing a feeling for what mathematics is all about,...

Since its birth in 1996, Session Initiation Protocol (SIP) has grown up. As a richer, much more robust...

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...

This is the first handbook to cover comprehensively both software engineering and knowledge engineering - two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge...

Engineering graphics is the process of defining an object graphically before it is constructed and used by consumers. Previously, this process for producing a drawing involved the use of drawing aids such as pencils, ink pens, triangles, T-squares, and so forth to place an idea on paper before making changes and producing blue-line...

"Modeling" has become one of the primary concerns in modern Software Engineering. The reason is simple: starting development processes from clear and succinct models has proven to foster not only quality but also productivity. With the advance of modeling there also came a desire for automatic code generation from models....