Sökt på: Sökresultat
totalt 7 träffar
Quantum Transport
In this volume, a result of The CIME Summer School held in Cetraro, Italy, in 2006, four leading specialists present different aspects of quantum transport modeling. It provides an …
Modelling Foundations and Applications
Correct Hardware Design and Verification Methods
CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware …
Transcendental Methods in Algebraic Geometry
Scientific Visualization: The Visual Extraction of Knowledge from Data
One of the greatest scientific challenges of the 21st century is how to master, organize and extract useful knowledge from the overwhelming flow of information made available by …
Pathologie
Der vorliegende Band der dritten Auflage des Gesamtwerkes „Pathologie" enthält die Pathologie der Kopf- und Halsregion, der Weichgewebstumoren sowie der Haut. Die Pathologie der …
Mobility Aware Technologies and Applications
The beginning of the twenty-first century is characterized by global markets, and the mobility of people is becoming an important fact of life. Consequently, the mobile user is …