Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions and problems from cryptology. This book takes account of this situation, and therefore its subject is what may be dubbed "cryptocomplexity'', a...

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

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

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

Gorton's book helps resolve this predicament. It concisely describes...