Home | Amazing | Today | Tags | Publishers | Years | Search 
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

After 40 years of practice and theory in compiler construction and 30 years of experience and teaching in software engineering we still observe that safetycritical high-level language programs are certified only together with the corresponding machine code. The reason is that certification institutions do not trust any compiler. And they are...

Windows Phone 7 Made Simple
Windows Phone 7 Made Simple

With Windows Phone 7, Microsoft has created a completely new smartphone operating system that focuses on allowing users to be productive with their smartphone in new ways, while offering seamless integration and use of Microsoft Office Mobile as well as other productivity apps available in the Microsoft App...

The Joy of Clojure: Thinking the Clojure Way
The Joy of Clojure: Thinking the Clojure Way

The authors of this book have taken an ambitious and aggressive approach to teaching Clojure. You know how everyone loves to say they teach using the “drinking from a fire hydrant” method? Well, at times it feels like these guys are trying to shove that fire hydrant right up... let’s just say it’s a place...

Discovering SQL: A Hands-On Guide for Beginners (Wrox Programmer to Programmer)
Discovering SQL: A Hands-On Guide for Beginners (Wrox Programmer to Programmer)

THE INFORMATIONAL DELUGE shows no signs of abating. We are inundated with data from the TV, from the Internet, and from advertisements stuffed in our mail boxes, virtual and otherwise. Unfortunately, as the quantity of information increased, its quality declined dramatically: Books were replaced by journals; then magazines; then newspapers;...

Advances in Visual Computing: 6th International Symposium, ISVC 2010, Part III
Advances in Visual Computing: 6th International Symposium, ISVC 2010, Part III

The three volume set LNCS 6453, LNCS 6454, and LNCS 6455 constitutes the refereed proceedings of the 6th International Symposium on Visual Computing, ISVC 2010, held in Las Vegas, NV, USA, in November/December 2010. The 93 revised full papers and 73 poster papers presented together with 44 full and 6 poster papers of 7 special tracks were...

Digital Photography: Essential Skills, Fourth Edition
Digital Photography: Essential Skills, Fourth Edition

Looking to take your photography to the next level? Need guidance on the basics, from choosing cameras to perfecting capture, managing files, editing images and developing a creative, critical eye?

Packed with quality images to inspire and enthuse, Digital Photography: Essential Skills takes a refreshingly practical,
...

Dermoscopy: An Illustrated Self-Assessment Guide
Dermoscopy: An Illustrated Self-Assessment Guide

The new textbook, “Dermoscopy: An Illustrated Self-Assessment Guide” by Dr. Robert H. Johr and Prof. Wilhelm Stolz, is a welcome addition to the evolving world of dermoscopic knowledge. I have reviewed all of the images and the text and feel that the contributions are indeed unique. First of all, the exquisite nature of the...

Practice Makes Perfect Exploring Writing (Practice Makes Perfect Series)
Practice Makes Perfect Exploring Writing (Practice Makes Perfect Series)

Learning to write is a challenging, multiskilled process. Students must learn how to identify, analyze, and develop ideas. They must learn how to compose sentences, build paragraphs, and express ideas within the standards of written English. They must discover their “voice” and learn how to precisely say what they want with...

Digital Photography Composition For Dummies (Computer/Tech)
Digital Photography Composition For Dummies (Computer/Tech)

Turn ordinary photographs into striking works of art

Mastering the craft of composing a photograph is all about having a trained eye. Digital Photography Composition For Dummies helps emerging photographers create stunning and compelling photographs by teaching the elements, techniques, and conventions used by skilled...

IBM Lotus Sametime 8 Essentials: A User's Guide
IBM Lotus Sametime 8 Essentials: A User's Guide

IBM Lotus Sametime software allows you to collaborate and communicate with others in real time. By using Sametime, you can communicate with your peers and teammates with the Sametime Connect client, embedded Sametime integration with Lotus Notes or Microsoft Outlook e-mail, or on mobile devices like a Blackberry. You will be able to connect...

Managing For Dummies (Business & Personal Finance)
Managing For Dummies (Business & Personal Finance)

The fast and easy way to learn how to manage people, projects, and teams

Being a manager can be an intimidating and challenging task. Managing involves teaching new skills to employees, helping land a new customer, accomplishing an important assignment, increasing performance, and much more. The process of management can be...

The Central Nervous System
The Central Nervous System

The Central Nervous System: Structure and Function, Fourth Edition continues the tradition of one of the most respected textbooks in clinical neuroscience by providing medical students the knowledge and understanding of neuroscience as a basis for clinical thinking. While remaining concise and easy to read, the text encourages...

Result Page: 170 169 168 167 166 165 164 163 162 161 160 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy