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