This unique guide to the high yield municipal bond market sheds some much-needed light on this esoteric but profitable corner of the fixed-income world. It fills the void between the general reference handbooks on municipal bonds and the superficial...

Intelligent technical systems, which combine mechanical, electrical and software engineering with methods from control engineering and advanced mathematics, go far beyond the state of the art in mechatronics and open up fascinating perspectives. Among these systems are so-called self-optimizing systems, which are able to adapt their behavior...

This book provides a sound foundation for understanding abstract concepts of phase and reaction equilibria (e.g. partial molar Gibbs energy, fugacity, and activity), and shows how to apply these concepts to solve practical problems using numerous clear examples. It also presents numerical methods necessary for solving real-world problems as...

In 1988, Jerry Fodor and Zenon Pylyshyn challenged connectionist theorists to explain the systematicity of cognition. In a highly influential critical analysis of connectionism, they argued that connectionist explanations, at best, can only inform us about details of the neural substrate; explanations at the cognitive level must be classical...

Today, cyber security, cyber defense, information warfare and cyber warfare issues are among the most relevant topics both at the national and international level. All the major states of the world are facing cyber threats and trying to understand how...

...

• Leverage the power of Chef to transform your infrastructure into code to deploy new features in minutes
• Understand the Chef architecture and its various components including the different types of server...

Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and...

While previously available methodologies for software – like those published in the early days of object technology – claimed to be appropriate for every conceivable project, situational method engineering (SME) acknowledges that most projects typically have individual characteristics and situations. Thus, finding the most...

In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the...