Home | Amazing | Today | Tags | Publishers | Years | Search 
IBM Lotus Domino: Classic Web Application Development Techniques
IBM Lotus Domino: Classic Web Application Development Techniques

Creating web pages was fairly straight-forward—in the early 1990's. Today, there are many, often competing technologies available for creating a web experience. Remarkably, all these differing technologies and strategies interoperate in a relatively seamless way to serve the billions of people who use the World Wide Web and the...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

CMMI for Services: Guidelines for Superior Service
CMMI for Services: Guidelines for Superior Service

CMMI® for Services (CMMI-SVC) is a comprehensive set of guidelines to help organizations establish and improve processes for delivering services. By adapting and extending proven standards and best practices to reflect the unique challenges faced in service industries, CMMI-SVC offers providers a...

The Traveling Salesman: Computational Solutions for TSP Applications (Lecture Notes in Computer Science)
The Traveling Salesman: Computational Solutions for TSP Applications (Lecture Notes in Computer Science)

More than fifteen years ago, I was faced with the following problem in an assignment for a class in computer science. A brewery had to deliver beer to five stores, and the task was to write a computer program for determining the shortest route for the truck driver to visit all stores and return to the brewery. All my attemps to find a...

Detection Theory: Applications and Digital Signal Processing
Detection Theory: Applications and Digital Signal Processing

This book has its origin in lecture notes created at the Naval Postgraduate School (NPS), whose student and faculty support made The book is written for senior undergraduates and first dents. Practicing engineers should especially find the book the basic knowledge of detection and estimation theory. the text deals with detection aspects,...

BlackBerry Development Fundamentals
BlackBerry Development Fundamentals

Welcome to BlackBerry Development Fundamentals. I hope you enjoy reading this book and keep it on your bookshelf for a long time. After working for Research In Motion (RIM) and helping its customers understand their options for building custom applications for the BlackBerry platform, I knew the time was right for a book like this....

The Soft Science of Road Racing Motorcycles
The Soft Science of Road Racing Motorcycles
If your intention is to improve, not just pick up some "tricks," you should understand exactly what is going on with the most mportant part of the riding package, the rider. After all. whether your bike works well or not is measured in ten/thousandths of inches and millimeters, that's how far machine technology has...
Literate Programming (Center for the Study of Language and Information - Lecture Notes)
Literate Programming (Center for the Study of Language and Information - Lecture Notes)

Computer programs arc fun to write, and well-written computer pro grams are fun to read. One of life's greatest pleasures can be the composition of a computer program that you know will be a pleasure for other people to read, and for yourself to read.

Computer programs can also do useful work. One of life's greatest...

First-Order Dynamic Logic (Lecture Notes in Computer Science)
First-Order Dynamic Logic (Lecture Notes in Computer Science)

This is a research monograph intended primarily for those researchers in Theoretical Computer Science interested in the areas of logics of programs, programming language semantics and program verification. It is also aimed at mathematically-inclined researchers in Logic, Linguistics and Philosophy, interested in a well-motivated...

Compiler Specification and Verification (Lecture Notes in Computer Science)
Compiler Specification and Verification (Lecture Notes in Computer Science)

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

A Comparative Study of Very Large Data Bases (Lecture Notes in Computer Science)
A Comparative Study of Very Large Data Bases (Lecture Notes in Computer Science)

This monograph presents a comparison of methods for organizing very large amounts of stored data called a very large database to facilitate fast retrieval of desired information on direct access storage devices. In a very large data base involving retrieval and updating, the major factor of immediate concern is the average number of accesses...

NHibernate 3 Beginner's Guide
NHibernate 3 Beginner's Guide

NHibernate 3 Beginner's Guide examines all of the topics required to get a functional data-access layer implemented while writing the least amount of code possible, presenting options along the way to handle particular edge cases or situations as they arise. The book begins with an introduction to NHibernate 3 and then moves on to...

Result Page: 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy