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

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.

...

The Elements of User Experience: User-Centered Design for the Web and Beyond (2nd Edition)
The Elements of User Experience: User-Centered Design for the Web and Beyond (2nd Edition)

From the moment it was published almost ten years ago, Elements of User Experience became a vital reference for web and interaction designers the world over, and has come to define the core principles of the practice. Now, in this updated, expanded, and full-color new edition, Jesse James Garrett has refined his...

Joomla! VirtueMart 1.1 Theme and Template Design
Joomla! VirtueMart 1.1 Theme and Template Design

Since you picked this book, the odds will be that you are already familiar with Joomla! VirtueMart. You will agree that this open source e-commerce solution is definitely amazing and feature-rich. That's why you want to stick with it. However, you still find there are some things here and there that don't quite fit your requirements....

Security Trends for FPGAS: From Secured to Secure Reconfigurable Systems
Security Trends for FPGAS: From Secured to Secure Reconfigurable Systems

It is a great pleasure for me to write this foreword about a book that comes out of one of the first research projects funded by ANR, the French National Research Agency. ANR was established by the French government in 2005 to fund research projects, based on competitive schemes giving researchers the best opportunities to realize...

CCNP Security VPN 642-647 Official Cert Guide
CCNP Security VPN 642-647 Official Cert Guide

This book is designed to help you prepare for the Cisco VPN certification exam. The VPN exam is one in a series of exams required for the Cisco Certified Network Professional - Security (CCNP - Security) certification. This exam focuses on the application of security principles with regard to Cisco IOS routers,...

Moodle 2.0 E-Learning Course Development
Moodle 2.0 E-Learning Course Development

Moodle is the leading open source learning management system. Using Moodle, teachers can easily construct richly-textured web-based courses. A course can consist of a number of lessons, with each lesson including reading materials; activities such as quizzes, tests, surveys, and projects; and social elements that encourage interaction and...

VLSI Physical Design: From Graph Partitioning to Timing Closure
VLSI Physical Design: From Graph Partitioning to Timing Closure

Physical design of integrated circuits remains one of the most interesting and challenging arenas in the field of Electronic Design Automation. The ability to integrate more and more devices on our silicon chips requires the algorithms to continuously scale up. Nowadays we can integrate 2e9 transistors on a single 45nm-technology chip. This...

MCITP Self-Paced Training Kit (Exam 70-646): Windows Server 2008 Server Administrator
MCITP Self-Paced Training Kit (Exam 70-646): Windows Server 2008 Server Administrator

This training kit is designed for server and domain administrators who have two to three years of experience managing Windows servers and infrastructure in an environment that typically supports 250 to 5,000 (or even more) users in three or more physical locations and has three or more domain controllers. You will likely be responsible...

Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems

In the last decade, multi-agent systems have both become widely applied and also increasingly complex. The applications include the use of agents as automous decision makers in often safety-critical, dangerous, or high impact scenarios (traffic control, autonomous satellites, computational markets). The complexity arises from the fact...

Sun Certified Enterprise Architect for Java EE Study Guide (2nd Edition)
Sun Certified Enterprise Architect for Java EE Study Guide (2nd Edition)

Definitive, Comprehensive SCEA Exam Prep–Straight from Sun’s Exam Developers!

 

This book delivers complete, focused review for Sun’s...

LabVIEW for Engineers
LabVIEW for Engineers

In the past, LabVIEW was just a graphical programming language that was developed to make it easier to collect data from laboratory instruments using data acquisition systems. LabVIEW was always easy to use once you got used to wiring connectors to write your computer programs, and it definitely makes data acquisition an easier task...

Result Page: 158 157 156 155 154 153 152 151 150 149 148 147 146 145 144 143 142 141 140 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy