The IBM Vienna Laboratory has made a significant contribution to the work on the semantic description of computer systems. Both the operational semantics descriptions ("VDL") and the later work on denotational semantics ("Meta-IV", "VEM") contain interesting scientific ideas. Partly because of the large...

This new edition provides a comprehensive introduction to the theory of ordinary differential equations with a focus on mechanics and dynamical systems as important applications of the theory. The text is written to be used in the traditional way (emphasis on the theory with the computer component as optional) or in a more applied way (emphasis...

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

• Full of easy to follow tutorials with ready-to-run code.
• Covers most of the subsystems in the GNOME 3 platform stack, from low to high level.
• Adapts common good development practices with...

Tag clouds are everywhere on the web these days. First popularized by the web sites Flickr, Technorati, and del.icio.us, these amorphous clumps of words now appear on a slew of web sites as visual evidence of their membership in the elite corps of "Web 2.0." This PDF analyzes what is and isn't a tag cloud, offers design...