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