Learn IT - Books tags formal

Open Source Approaches in Spatial Data Handling (Advances in Geographic Information Science)

Springer, 2008

During the last several years there has been a significant coalescence of interest in Open Source Geospatial (OSG) or, as it is also known and referred to in this book, Free and Open Source for Geospatial (FOSS4G) software technology. This interest has served to fan embers from pre-existing FOSS4G efforts, that were focused on both standalone...

MCITP: Windows Server 2008 Enterprise Administrator Study Guide: (Exam 70-647)

Sybex, 2009

Learn everything about Microsoft’s brand new MCITP: Windows Server 2008 Enterprise Administrator exam with the helpful information in MCITP: Windows Server 2008 Enterprise Administrator Study Guide (Exam 70-647, with CD). Find complete exam coverage, including exam objectives, real-world scenarios, hands-on exercises, and...

Fundamentals of Digital Television Transmission

John Wiley & Sons, 2000

Many engineers familiar with analog television broadcast systems are now faced with designing, operating, and maintaining digital television systems. A major reason for this introductory book is to make the transition from analog to digital television broadcasting as painless as possible for these engineers. The emphasis is on radio-frequency (RF)...

David Busch's Nikon D60 Guide to Digital SLR Photography

Course Technology PTR, 2008

Have you unpacked your new Nikon D60 digital SLR camera and want to get started right away taking great pictures? "David Busch’s Nikon D60 Guide to Digital SLR Photography" will show you how, when, and, most importantly, why to use all the cool features and functions of your camera to take eye-popping photographs. Introductory...

David Busch's Canon EOS Digital Rebel XSi/450D Guide to Digital SLR Photography

Course Technology PTR, 2008

As the new owner of a Digital Rebel XSi/450 you are serious about photography and want to take professional-looking photographs. You also want to quickly and easily discover how, when, and why to use the most important features of your cutting-edge camera. "Canon EOS Digital Rebel XSi/450 Guide to Digital SLR Photography" provides you...

Pro Tools 101 Official Courseware, Version 7.4 (Book & DVD Rom)

Course Technology PTR, 2007

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.4 software, this new edition from the definitive authority on Pro Tools covers everything you need to know to complete a Pro Tools project. Learn...

David Busch's Digital Infrared Pro Secrets

Course Technology PTR, 2007

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

Networks-on-Chips: Theory and Practice (Embedded Multi-core Systems)

CRC Press, 2009

This book addresses many challenging topics related to the NoC research area. It starts by studying 3D NoC architectures and progresses to a discussion of NoC resource allocation, processor traffic modeling, and formal verification. NoC protocols are examined at different layers of abstraction. Also, several emerging research issues in NoC...

How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics

Princeton Press, 2007

To many outsiders, mathematicians appear to think like computers, grimly grinding away with a strict formal logic and moving methodically--even algorithmically--from one black-and-white deduction to another. Yet mathematicians often describe their most important breakthroughs as creative, intuitive responses to ambiguity, contradiction, and...

Touch of Class: Learning to Program Well with Objects and Contracts

Springer, 2009

From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding. Meyer builds his presentation on a rich object-oriented software system supporting graphics and multimedia, which students can use to produce...

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press, 2009

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that...

Introducing English Linguistics (Cambridge Introductions to Language and Linguistics)

Cambridge University Press, 2009

'Just the textbook for those who prefer a thorough introduction to historical, social, and textual aspects of English before tackling formal linguistics.' Bill Kretzschmar, University of Georgia

Are you looking for a genuine introduction to the linguistics of English that provides a broad overview of the subject that sustains...

Result Page: 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37