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

I've long envied Martin's ability to write. Text and code flow from his fingers at a rate that I can't even begin...

Welcome to Internet and web programming and Internet & WorldWide Web How to Program, Fourth Edition! At Deitel & Associates, we write programming language textbooks and professional books for Prentice Hall, deliver corporate training worldwide and develop Web 2.0 Internet businesses. The book has been...

We wrote this book for business school students who want an in-depth look at how today's business firms use information technologies and systems to achieve corporate objectives. Information systems are one of the major tools available to business managers for achieving operational excellence, developing new products and services,...

Computer users spend a lot of time doing simple, mechanical data manipulation - changing the format of data, checking its validity, finding items with some property, adding up numbers, printing reports, and the like. All of these jobs ought to be mechanized, but it's a real nuisance to have to write a specialpurpose program in a...

was very pleased to be asked to produce the sixth edition of my artificial intelligence book. It is a compliment to the earlier editions, started over twenty years ago, that our approach to AI has been so highly valued. It is also exciting that, as new development in the field emerges, we are able to present much of it in each new...

I love the Internet, and if you picked up this book, you probably do, too. The Internet is dynamic, chaotic, exciting, interesting, and useful, all at the same time. The Web is pretty fun from a user’s point of view, but that’s only part of the story. Perhaps the best part of the Internet is how participatory it is. You can build...

Clustering is an important unsupervised classification technique where a set of patterns, usually vectors in multidimensional space, are grouped into clusters based on some similarity or dissimilarity criteria. In crisp clustering, each pattern is assigned to exactly one cluster, whereas in fuzzy clustering, each pattern is given a...

Organizations of all sizes today find themselves increasingly awash in data, yet hungering for information to help them meet their business objectives. These corporations, from Main Street and Wall Street alike, have spent large amounts of time and money over the past 10 or so years implementing systems to help collect data on and...

Welcome to the world of Excel. Okay, that’s a bit cheesy. But if you look around the business world, the fi nancial world, the manufacturing world, and any other industry you can of, you will see people using Excel. Excel is everywhere. It is by far the most used program in the history of business applications. So...

Programmers may spend a good part of their careers scripting code to conform to commercial statistics packages, visualization tools, and domain-specific third-party software. The same tasks can force end users to spend countless hours in copy-paste purgatory, each minor change necessitating another grueling round of formatting tabs and...

Create high-quality models in no time at all with these comprehensive, full-color, techniques and tutorials from Antony Ward and David Randall. These step-by-step tutorials walk readers through the creation of a high-quality female model while teaching you the basics and principles behind 3D modeling in Silo - including modeling the face and...