Electronic Books

Total Books: 461 - 480 /808

Each chapter in Managing Complexity focuses on analyzing real-world complex systems and transferring knowledge from the complex-systems ...

Chapters provide a valuable frame of reference for the 21st-century manager of public services by assessing the renewal of ...

Our underlying objectives are to contribute to the provision, mana- ment, and sharing of knowledge, and to enhance the value ...

Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...

This book brings to the international Educational Community an important collection of experiences and ideas in the Mathematics ...

From grading and preparing harvested vegetables to the tactile probing of a patient’s innermost recesses, mechatronics ...

This book is unique in that it integrates core findings from within the Decision Sciences and Evidence Based Medicine in ...

This book constitutes the refereed proceedings of the 4th International Workshop on Medical Imaging and Augmented Reality, ...

The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took ...

The ability of viruses to exploit cellular functions for their own ends makes them highly effective pathogens and exquisite ...

Discusses the application of metaheuristic algorithms in a number of important optimization problems in civil engineering. ...

The book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, ...

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...

Presenting four complementary experimental studies targeting recurrent grey-zone scenarios on the Danish food market, the ...

This book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, ...

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...

Total Books: 461 - 480 /808