These proceedings contain the presentations of a NATO-Russian - vanced Research Workshop (ARW) held at the Fraunhofer Institute ...
Continue reading
Technological progress has brought about a multitude of standardization problems. For instance, compatibility standards ensure ...
Continue reading
This first of two volumes covers basic aspects and various techniques such as steady-state and time-resolved fluorometry, ...
Continue reading
Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...
Continue reading
Standards and Thresholds play an important role in many stages of the Environmental Impact Assessment (EIA) process. They ...
Continue reading
During the almost thousand-year history of universities, campuses have always been physical spaces. As we end the twentieth ...
Continue reading
This book traces the history of celestial cartography and relates this history to the changing ideas of man’s place in ...
Continue reading
In this book, Roosebeke analyses non-contractual state liability in the European Union. He empirically explains differences ...
Continue reading
The book analyses all relevant compensation provisions and compares them to the general law of state responsibility. This ...
Continue reading
The edited book aims at comparatively analysing the development and current situation ofstate and local government reforms ...
Continue reading
The book cover all major astronomical news on topics beyond the Solar System and place them in the context of the longer ...
Continue reading
Provides an annual astronomy review suitable for the popular science level reader to be published every September. The book ...
Continue reading
Consciousness has always been a particularly elusive concept and one vigorously argued in the scientific community. This ...
Continue reading
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Continue reading
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Continue reading
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
Continue reading
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Continue reading
Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...
Continue reading
For statisticians the book provides a unique introduction to demographic problems in a familiar language. For demographers, ...
Continue reading
Part textbook, part exploratory work, this book aims to raise the awareness of students, physicists, and engineers in turbulence ...
Continue reading