This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propositional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer...

When it comes to love and relationships, we’ve learned the lesson of touching the hot stove. Burned once, or lots more than once, we are...

Pro Oracle SQL unlocks the power of SQL in the Oracle Database—one of the most potent SQL implementations on the market today. To master it requires a three-pronged approach: learn the language features, learn the supporting features that Oracle provides to help use the language effectively, and learn to think and work in...

Joomla! is the world's hottest open-source content management system, and the winner of the 2006 Open Source CMS Prize. Out of the box, Joomla! does a great job of managing the content needed to make your website sing. But for many people, the true power of Joomla! lies in its application framework that makes it possible for thousands of...

Our world faces an unprecedented energy crisis. Fuel shortages, skyrocketing energy prices, climate change, nuclear contamination, catastrophic oil spills and energy wars define the global scenario. The nonrenewable energy path of oil, natural gas, coal and nuclear is headed for a dead-end at an accelerated speed. In our race for survival we...

Themes are among the most powerful and flexible features available when it comes to the presentation of a website. The greatest strength of Drupal lies in its design which, when done correctly, allows developers and designers to customize and micromanage each and every aspect of the site. Furthermore, the Drupal theming system and its APIs...

Macs today come "fully loaded," but unlike your typical fully loaded automobile, Macs do not come with detailed instruction manuals. Instead, the user is often left to fend for him or herself as they try to sort through all that powerful and mysterious software. On the surface, these programs are relatively easy-to-use, but it is...

With Drupal, Web professionals can create full-featured Web sites with just a few clicks. Drupal’s core is compact and well documented, but much of Drupal’s immense power lies elsewhere—in external modules. Drupal’s Building Blocks is an authoritative tutorial, reference, and...

The rapidly expanding field of galaxy formation lies at the interface between astronomy, particle physics, and cosmology. Covering diverse topics from these disciplines, all of which are needed to understand how galaxies form and evolve, this book is ideal for researchers entering the field. Individual chapters explore the evolution of the...

The key to understanding the breathtaking development of mankind lies in the ability to objectify knowledge. Just like human knowledge has undergone changes, so have the libraries in their role as treasure chambers of said knowledge. With the advent of the digital age, traditional libraries were complemented by huge collections of digital...

Computer Science, or Informatics as it is often called in Europe, is viewed by many as being both a science and a technology. Clearly, its technological aspects are very much upon us on a day to day basis. Yet all other exact  sciences such as physics, biology or chemistry are also very present in ourdaily lives through the technologies...

Asterisk is an open source, converged telephony platform, which is designed primarily to run on Linux. Asterisk combines more than 100 years of telephony knowledge into a robust suite of tightly integrated telecommunications applications. The power of Asterisk lies in its...