Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Principles of Model Checking
Principles of Model Checking
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
Oracle SQL: the Essential Reference
Oracle SQL: the Essential Reference
SQL (Structured Query Language) is the heart of a relational database management system. It's the language used to query the database, to create new tables in the database, to update and delete database fields, and to set privileges in the database. Oracle SQL: The Essential Reference is for everyone who needs to access an Oracle...
Secure Coding in C and C++
Secure Coding in C and C++

"The security of information systems has not improved at a rate consistent with the growth and sophistication of the attacks being made against them. To address this problem, we must improve the underlying strategies and techniques used to create our systems. Specifically, we must build security in from the start, rather than append...

Photoshop for the Web: Covers Photoshop 5.5 and ImageReady 2.0
Photoshop for the Web: Covers Photoshop 5.5 and ImageReady 2.0

In this second edition, author Mikkel Aaland updatesPhotoshop for the Web to include important new techniques and workarounds for the latest release of Photoshop--version 5.5. The first edition was loaded with step-by-step examples and real-world solutions from some of the world's hottest Web sites. The second edition adds...

Hardboiled Web Design
Hardboiled Web Design

Every web designer harbours tales of frustration, limitation and despair. Web design requires skills and knowledge beyond mere manipulation of form, shape, language, colour, message and meaning. What users don’t see behind those visuals is just as important as what they do see. We have to think about moving parts and engineering...

SQL Server 2000 Stored Procedures Handbook (Expert's Voice)
SQL Server 2000 Stored Procedures Handbook (Expert's Voice)

Stored procedures are compiled T-SQL statements that reside on the database. They are the cornerstones of successful data manipulation, and data-handling operations of every complexity make use of them. This book is an in-depth guide to a key area of database development.

This book tackles real-world problems faced by developers when...

Director in a Nutshell (Nutshell Handbook)
Director in a Nutshell (Nutshell Handbook)
Macromedia Director 6 is the premier authoring tool for delivering interactive content on both the Internet and the desktop. It is the dominant multimedia package for Windows 95/NT, Windows 3.1, and the Macintosh. A quarter million developers use Director(R) to incorporate animation and audio into dynamic Web pages, and to create engaging...
The Art of R Programming: A Tour of Statistical Software Design
The Art of R Programming: A Tour of Statistical Software Design

R is the world's most popular language for developing statistical software: Archaeologists use it to track the spread of ancient civilizations, drug companies use it to discover which medications are safe and effective, and actuaries use it to assess financial risks and keep economies running smoothly.

...

ASP.NET in 60 Minutes a Day
ASP.NET in 60 Minutes a Day
Get up and running with ASP.NET using this innovative virtual classroom approach!

Are you ready to learn how to write clean, reusable, scalable code for Web pages using ASP.NET? Experienced trainer Glenn Johnson takes you inside his virtual classroom to provide you with seventeen one-hour lessons that recreate a typical introductory seminar on...

How to Cheat in Photoshop Elements 6: Create stunning photomontages on a budget
How to Cheat in Photoshop Elements 6: Create stunning photomontages on a budget
Full of quirky tips and tricks for fun and creative image manipulation in Elements!

How to Cheat in Elements 6 is an invaluable resource for all users of Photoshop Elements and shows you how to 'cheat' by sharing insider secrets from clever and cunning Elements gurus, David Asch and series forerunner, Steve
...
Python Cookbook
Python Cookbook
The Python Cookbook is a collection of problems, solutions, and practical examples for Python programmers, written by Python programmers. It contains over two hundred recipes for text manipulation, object oriented programming, XML processing, system administration, and much more. This book is a treasure trove of...
Bioinformatics: Problem Solving Paradigms
Bioinformatics: Problem Solving Paradigms
There are fundamental principles for problem analysis and algorithm design that are continuously used in bioinformatics. This book concentrates on a clear presentation of these principles, presenting them in a self-contained, mathematically clear and precise manner, and illustrating them with lots of case studies from main fields of bioinformatics...
unlimited object storage image
Result Page: 41 40 39 38 37 36 35 34 33 32 31 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy