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

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

The term computer was quite popular back then. Now, the word is no...

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

One of the main strengths of UNIX is that it comes with a...

This textbook is designed for two principal photography student types. One group is the student in an academic setting. Students are expected to acquire a solid grasp of the theories and concepts of their various courses. This is the Knowledge point of the “KSAs” frequently required by employers. Students in an academic...

This is Volume 83 of the Advances in Computers, subtitled Security on the Web. This series, continuously published since 1960, is the oldest series covering the development of the computer industry. With the impact that the World Wide Web has on every facet of our lives today, this volume focuses on the security aspect of computing....

AutoCAD, developed by Autodesk Inc., is the most popular PC-CAD system available in the market. Today, over 7 million people use AutoCAD and other AutoCAD based design products. 100% of the Fortune 100 firms are Autodesk customers and 98% of the Fortune 500 firms are Autodesk customers. AutoCAD’s open architecture has allowed...

We wrote this book because we love games. We also love sound and music, and we love what they can bring to games to make them thrilling, involving, and moving. We want you to be able to try out your sound and your music in a real game. For a book whose examples are based exclusively around one piece of software, it may appear...

The history of shells goes back some 30 years. In the early...

At the instigation of the Iron and Steel Federation, the late Bernard Godfrey began work in 1952 on the first edition of the Steel Designers’ Manual. As principal author he worked on the manuscript almost continuously for a period of two years. On many Friday evenings he would meet with his co-authors, Charles Gray, Lewis Kent...

That's where this book comes in. This book helps you fill in the blanks for...