Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Pascal Plus Data Structures, Algorithms, and Advanced Programming
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...
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.

The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a...

A Distributed Pi-Calculus
A Distributed Pi-Calculus
Distributed 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
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 Secrets
David Busch's Digital Infrared Pro Secrets
Infrared 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

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 Courseware
Pro Tools 101: Official Courseware
Digidesign'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
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)
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?
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...
Distributed Multimedia Information Retrieval: SIGIR 2003 Workshop on Distributed Information Retrieval
Distributed Multimedia Information Retrieval: SIGIR 2003 Workshop on Distributed Information Retrieval
During the last decade companies, governments, and research groups worldwide have directed significant effort towards the creation of sophisticated digital libraries across a variety of disciplines. As digital libraries proliferate, in a variety of media, and from a variety of sources, problems of resource selection and data...
Professional Verification: A Guide to Advanced Functional Verification
Professional Verification: A Guide to Advanced Functional Verification
Professional 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...
unlimited object storage image
Result Page: 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 
©2020 LearnIT (support@pdfchm.net) - Privacy Policy