 |
|
|
|
Pascal Plus Data Structures, Algorithms, and Advanced Programming
Until recently there has not been much consensus among educators on
what formal education is necessary for a computer professional. It has always
been considered essential to have a great deal of mathematical knowledge,
as \vell as an understanding of computer hardware. Software education,
however, often consisted of the teaching... | | | | A Distributed Pi-CalculusDistributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the... |
|
Children's Learning in a Digital World"Playing computer video games can be just what you need to get a job." Could such a statement ever be true? Computer games, software, and networking technologies are often viewed as threats to the social, emotional, and physical well being and development of children. However, such beliefs are often unfounded.
This new... | | David Busch's Digital Infrared Pro SecretsInfrared photography can provide unique and flattering portraits, eye-catching close-ups of flowers, travel photographs unlike any you've ever seen before, and, if you know a few tricks, a new perspective on sports photography. You may have seen infrared photos without even being aware that they are infrared images! This full-color, hands-on book... | | The Definitive Guide to SUSE Linux Enterprise Server 12
The Definitive Guide to SUSE Linux Enterprise Server 12 is a task-oriented book designed for self-study as well as classroom environments, which will also serve you as a reference guide. The book covers all skills that system administrators typically need to posses to administer SUSE Linux Enterprise Server in corporate environments.... |
|
Pro Tools 101: Official CoursewareDigidesign's Official Pro Tools 101 Courseware takes a comprehensive approach to learning the fundamentals of Pro Tools/HD, Pro Tools LE, or Pro Tools M-Powered systems. Now updated for Pro Tools 7 software, this new edition from the definitive authority on Pro Tools covers everything you need to know to complete a Pro Tools project. Learn to build... | | Fundamentals of Economics
Based on the comprehensive two-semester text by the same authors, this version of Economics "boils down" the formal economic theories and concepts into their essential parts, emphasizing domestic and international applications and policy issues. Fundamentals of Economics is a concise but thorough survey of economics for instructors... | | Active Rules in Database Systems (Monographs in Computer Science)
A timely survey of the field from the point of view of some of the subject's most active researchers. Divided into several parts organized by theme, the book first covers the underlying methodology regarding active rules, followed by formal specification, rule analysis, performance analysis, and support tools. It then moves on to the... |
|
Software for Dependable Systems: Sufficient Evidence?Critical systems are often subject to certiication: a formal assurance that the system has met relevant technical standards designed to ensure it will not unduly endanger the public and can be depended upon to deliver its intended service safely and securely. Today, certiication1 of the dependability of a software-based system usually relies more... | | | | Professional Verification: A Guide to Advanced Functional VerificationProfessional Verification is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on how to solve the problems that verification teams face. Professional Verification is based on the experiences of advanced... |
|
|
| Result Page: 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 |
