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