Product Description

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.

The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Product Description
Germany has a wealth of magnificent palaces and castles, rich in art and history. Photographed by Paolo Marton and described by a team of local scholars, this collection of photographs records an incredible number of architectural styles, from the Gothic severity of Schloss Gattorf to the fin-de-siecle madness of King Ludwig's Bavarian castles. Many, such as Berlin's Charlottenburg and Wurzburg's Residenz with its splendid Tiepolo frescoes are popular tourist sites. Others, equally grand, are relatively unknown. Here are enchanting pavilions, beautiful formal gardens, magnificent interiors and their priceless contents. The book also contains an introduction to the princely states, maps, a glossary and a bibliography. ... Read more

Customer Reviews (3)

Prussian and Bavarian splendor
Really a thorough book, it seems to hit all the important castles and palaces and does a wonderful job of spending more time on the more important buildings. The pictures are very good, though I do agree with the reviewer that stated the book needed more exterior photos, allthough I still would not have rated it a five star book, but definitely four and a half. In order to have gotten five stars the author would have need to have focused more on the great palaces and much more time on Potsdam and Bavaria.This is a subject that needed and got a fine assessment.I recommend it to anyone who is interested in European architecture at it's best.

Good photos and writing
This is a great book, good photos and loaded w/ info.The only thing that I think would make it better would be show more pictures of the exterior of the palaces because some palace photos are all interior so you cant seewhat it looks like from the outside, but this is only on a few palaces. Overall, this is a great book and I would give it 4 1/2 stars if I could.

German Castles And Palaces
I love this book. The photography is just fabulous. If you ever wanted to know what the GermanCastles and Palaces look like, or are planning a trip to Germany and would like to see some of them, this is the book for you!Also, the history is very informative. I just can't say enough for thisbook! I am an artist, and I have never seen such an artful display of artfrom a bygone era. WOW! ... Read more

Product Description
The first book in English to consider these fortifications in detail, this book describes the major fortified lines built during the 1930s in Germany and neighboring nations in response to France's construction of the Maginot Line. Using drawings and descriptions, the authors assess the military necessity and usefulness--or lack thereof--of these popular fortifications. Many designers attempted to copy some of the better-known features of the Maginot Line, but often the defenses consisted more of propaganda than of concrete and steel. Nonetheless, when Germany stood poised to attack, the fate of Europe hung on these fortified lines. ... Read more

Product Description
Purchase includes free access to book updates online and a free trial membership in the publisher's book club where you can select from more than a million books without charge. Chapters: Wies Church, Sanssouci, Charlottenburg Palace, Chinese House, Castle Solitude, Wessobrunner School, Cuvilliés Theatre, Augustusburg and Falkenlust Palaces, Brühl, Amalienburg, Palais Holnstein, Frederician Rococo. Excerpt:Exterior The Amalienburg is a small hunting lodge constructed in 1734-1739 by François de Cuvilliés for the Holy Roman Emperor Charles VII and his wife, Maria Amalia of Austria , in the park of Nymphenburg Palace in Munich and in the eyes of many experts, it is the finest example of the German Rococo . Architecture The Amalienburg was built and designed between 1734 and 1739 for the Electress Maria Amalia. It was designed by François de Cuvilliés who helped make the Rococo the most important style of the first half of the 18th Century, between 1738 and 1756, by publishing many books on subjects such as interior decoration, wall panelling, ceilings, furniture, wrought-iron work, and other decorative subjects. Most of the ground plan of the interior layout is given over to the round Hall of Mirrors in the center of the building which was designed by Johann Baptist Zimmermann and Joachim Dietrich (1690-1753). It creates an ethereal atmosphere in the Bavarian national colors of silver and blue. Other rooms include the Blue Cabinet (the bedroom of the Electress) and the tiny palace also accommodates a kennel room for the hunting dogs. The kitchen is decorated with precious tiles from Delft which when put up, were mixed up when they were being laid by workers who thought they had the right order. The Castrol stove (1735) constructed for the kitchen is a masonry construction with several fireholes covered by perforated iron plates. It is also known as a stew stove and the first design that completely enclosed the fire. Gallery The Rear Façade The Front Façade The Fr... ... Read more

Customer Reviews (2)

Good place to start if you're interested in European castles
My 4th grader and I first discovered this book at the local public library. This book is suited for elementary grade children, though I found it equally informative and nostalgic for an adult. It's easy to read, has an interesting account of the history, royal personality and effort that went into the building of this fairy tale castle. The timeline provided is also helpful in relating the castle to past and present day events. The glossary at the end helps explain the meaning of foreign words and pronounciation.

We like the balance of information, beautiful photos and bits of related trivia which are a good introduction for anyone new to this topic. This book sparked our interest in finding out about other castles, especially in this Castle, Plalces & Tombs series.

Tiny Book, not worth it
My wife ordered this book & didn't look at the page count. This is a tiny book (size of a childrens book) not worth the money. ... Read more

Product Description
Even though Neuschwanstein Castle was only built in the 19th century, it looks like a story-book image of a medieval palace.It was the model for Walt Disney's fantasy castle and was used in the famous children's film "Chitty Chitty Bang Bang". ... Read more

Customer Reviews (2)

Great Book For Children
This is a book for children but adults will find it interesting. It gives basic information about Ludwig. The cut aways that show how the castle is laid out are great. When you visit it is difficult to tell where you are inside related to the outside. This puts the building in perspective.

DO NOT BUY!
I thought this was going to be an informative book on this wonderful castle, but it has been dimished to a child's fairytale that tells you absolutely nothing about Ludwing or Schloss Neuschwanstein. Has a few pictures, not that great. It's like twenty pages, and even a child would call it lame. DO NOT BUY! ... Read more

Product Description

Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments like a home, a factory, or a city. Subject to restrictions in bandwidth, computer power, and computation time, a robot has to react to a wealth of dynamically changing stimuli in such environments, requiring rapid, selective attention to decisive, action-relevant information of high current utility. Robust and general engineering methods for effectively and efficiently coupling perception, action and reasoning are unavailable. Interesting performance, if any, is currently only achieved by sophisticated robot programming exploiting domain features and specialties, which leaves ordinary users no chance of changing how the robot acts.

The purpose of this volume - outcome of a GI-Dagstuhl Seminar held in Dagstuhl Castle in June 2006 - is to give a first overview on the concept of affordances for the design and implementation of autonomous mobile robots acting goal-directedly in a dynamic environment. The aim is to develop affordance-based control as a method for robotics. The potential of this new methodology will be shown by going beyond navigation-like tasks towards goaldirected autonomous manipulation in the project demonstrators.

Product Description
Architectural and hardware advances in computing design areoccurring at an ever quickening rate, but it is theoperating system that masters the complexity of these newcomputing devices to make them useful tools.Operatingsystems can make the difference between aninterestingarchitecture and a useful computing environment. As morecomplex computational structures and more powerfulcommunication technologies become available, we are facedwith the need to develop newgenerations of operatingsystems to harness their power.This volumepresents the proceedings of an internationalworkshop intended to plot acourse for design anddevelopment work on operating systems over the coming decadethat was held in Dagstuhl Castle, Germany, in July 1991.Eight sessions covered:- Size, scalability and distribution in futureoperating systems,- The impact of future trends in hardware and communication technology,- Integrating heterogeneous operatingsystems,- Trends in real-time operating systems,- Fault tolerance support in futute operating systems,- Security and protection support in future operating systems,- The next generation of operating systems,- Supporting mulitmedia applications in distributed systems. ... Read more

Product Description
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence. ... Read more

Product Description

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004.

The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.

Product Description

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.

The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data. ... Read more

Product Description
This volume contains the proceedings of an internationalworkshop onparallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book areoverview articlesintended to provide a first orientation toward some ofthemore intensively investigated subtopics.The main part of the bookis a compilation of researchpapers on parallelization in special domains ofinferencesuch as rewriting, automatic reasoning, logic programming,andconnectionist inference. Appended to the book is acollection of shortproject summaries received in responseto a worldwide email call.The book is intended primarily for researchers working oninference systems who are interested in parallelizing theirsystems. ... Read more

Product Description

This volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000.

The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, analysis of scenario-based specifications, abstraction, refinement, and synthesis for scenario-based notations, non-functional properties and data in scenario notations, synthesis of executable models from scenario descriptions, tool support for scenario-based notations, domain and application specific dialects of scenario notations, scenario-based modelling patterns, integration of scenarios and implied behaviour.

Product Description

With the growing ubiquity of computing systems, it is essential that we can rely on the services they deliver. Justifying reliance in computer systems requires scientific techniques to derive evidence from given systems or predict such evidence. This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.

The main impulse for this dependability metrics project resulted from a research seminar, held at Schloss Dagstuhl, Germany, in October/November 2005. The 25 chapters, based on the outcome of the research seminar, are organized in five parts on foundations, reliability metrics, security metrics, performance metrics, and overlapping metrics. The final part shows that only a combined consideration of important dependability attributes will lead to the design objective: the development of systems we can really trust.

Product Description
German Language: Beatiful photography of Castles in and around Düsseldorf, Germany. ... Read more

Product Description
The area along the Weser was very prosperous economically between the Reformation and the Thirty Years War, so there was a great deal of building activity. Renaissance castles, aristocratic estates, town halls and civic architecture here were little affected by he effects of war or modernization. They have survived in very large numbers, and the quality is very high. The present volume offers a representative selection of the region's castles and palaces. Architecture and court culture are placed in a European context that goes beyond older approaches based on the stylistic history and shows that forms demonstrating princely prestige have qualities in common well outside the region. ... Read more

Product Description
Over 200 full page plates!! ... Read more

Product Description
This is a large format guide to King Ludwig's Wittelsbach Palaces. ... Read more