The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity...

If you have an idea you want to get down on electronic paper, Visio 2007 is for you, and so is this book! They're both flexible and user-friendly. Here's how to use...

The first book available on C++ programming that is written specifically for a mathematical audience, C++ for Mathematicians omits the language's more obscure features in favor of the aspects of greatest utility for mathematical work. Emphasizing the essential role of practice as part of the learning process, the book is ideally designed...

This Java handbook makes a practical tutorial on Java 2D and Java 3D for computer professionals. It contains in-depth coverage of basic computer graphics concepts and techniques, and introduces advanced graphic features to an audience mostly trained in the Java language. Chapter topics include mathematical background for computer graphics,...

Software Sizing, Estimation, and Risk Management: When Performance is Measured Performance Improves is a practical, hands-on discussion of the software estimation, planning, and control process. This includes critical factors that impact estimates, methods for selecting and applying appropriate measures to projects, proper software sizing, and...

Computer Busses is a comprehensive guide to busses, from the high-level software interface to the low-level, electrical characteristics and helps readers choose the most appropriate bus for each particular application. The author uses a top-down approach and organizes his presentation into five main areas: PC interfaces, Local busses,...

The book covers numerical methods for solving a wide range of problems, from...