Home | Amazing | Today | Tags | Publishers | Years | Search 
Rigorous Software Development: An Introduction to Program Verification
Rigorous Software Development: An Introduction to Program Verification

This book is about the use of techniques and tools for the design and implementation of computer systems and software that are free from logical or functional flaws (in the sense of functional requirements). The word rigorous in the title of this book is justified by the fact that the arguments for such fault freeness have their roots...

LabVIEW: Advanced Programming Techniques
LabVIEW: Advanced Programming Techniques

The graphical nature of LabVIEW makes it ideal for test and measurement applications and its use brings significant improvements in productivity over conventional programming languages. However, comprehensive treatments of the more advanced topics have been scattered and difficult to find-until now. LabVIEW Advanced Programming...

CompTIA Security+ SYO-201 Cert Guide
CompTIA Security+ SYO-201 Cert Guide

Welcome to the CompTIA Security+ SY0-201 Cert Guide. The CompTIA Security+ Certification is widely accepted as the first security certification you should attempt to attain in your information technology (IT) career. The CompTIA Security+ Certification is designed to be a vendor-neutral exam that measures your knowledge of...

ActionScript 3.0 Game Programming University (2nd Edition)
ActionScript 3.0 Game Programming University (2nd Edition)

When the first edition of ActionScript 3.0 Game Programming University came out, ActionScript 3.0 was new. It was so new, in fact, that most programmers were still stuck using older ActionScript 1.0 and 2.0.

But by now, most Flash developers have moved on to AS3, and they are loving the speed, reliability and logical...

Adobe Lightroom 3 on Demand
Adobe Lightroom 3 on Demand

Spend less time reading, more time learning. Master Adobe Photoshop Lightroom 3 from start to finish - fast!

Up-to-the-minute quick-reference material and hands-on training in an easy-to-use color format

 

Includes extensive bonus online...

Final Cut Pro HD for Dummies
Final Cut Pro HD for Dummies

Welcome to Final Cut Pro HD For Dummies! The Final Cut Pro digital video editing program lets you capture raw video and audio (such as dialogue, sound, and music) on your Macintosh and assemble these elements into polished productions that are ready for the Internet, a CD-ROM, a DVD, television, and even the big screen.

...

Microsoft Access 2010 Inside Out
Microsoft Access 2010 Inside Out

You're beyond the basics, so dive right in and really put your database skills to work! This supremely organized reference is packed with hundreds of timesaving solutions, troubleshooting tips, and workarounds. It's all muscle and no fluff. Discover how the experts tackle Access 2010 -- and challenge yourself to new...

UML in Practice: The Art of Modeling Software Systems Demonstrated through Worked Examples and Solutions
UML in Practice: The Art of Modeling Software Systems Demonstrated through Worked Examples and Solutions

For several years now, there has been a constant increase in the number of works on UML and object modelling. However, my practical experience of training (more than a thousand or so people trained in OMT, then UML since 1993…) convinced me that there is still another need that is not tended to by the multitude of books...

Website Design and Development: 100 Questions to Ask Before Building a Website
Website Design and Development: 100 Questions to Ask Before Building a Website

A helpful book-and-video package for building and maintaining a successful Web site

How do you know that you've done everything possible to create a unique, enriching, and successful Web site, particularly when you're hiring others to do it? With Website Design and Development, you'll feel confident that...

Software and Patents in Europe (Cambridge Intellectual Property and Information Law)
Software and Patents in Europe (Cambridge Intellectual Property and Information Law)

The computer program exclusion from Article 52 of the European Patent Convention (EPC) proved impossible to uphold as industry moved over to digital technology, and the Boards of Appeal of the European Patent Organisation (EPO) felt emboldened to circumvent the EPC in Vicom by creating the legal fiction of 'technical effect'. This...

Mastering Hyper-V Deployment
Mastering Hyper-V Deployment

I have been working with Hyper-V since the beta release of it for Windows Server 2008. There was a lot to learn with the brand new product. It quickly became evident that Hyper-V was just a tiny piece of the entire puzzle. A Hyper-V project is much more than just a virtualization project. It is a project that will change how your server...

Computers and Games: 7th International Conference, CG 2010, Kanazawa, Japan
Computers and Games: 7th International Conference, CG 2010, Kanazawa, Japan

This book contains the papers of the 7th Computer and Games Conference (CG 2010) held in Kanazawa, Japan. The conference took place during September 24–26, 2010 in conjunction with the 15th Computer Olympiad and the 17th World Computer Chess Championship.

The Computer and Games conference series is a major international...

Result Page: 1881 1880 1879 1878 1877 1876 1875 1874 1873 1872 1871 1870 1869 1868 1867 1866 1865 1864 1863 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy