Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suiteVerrechnungspreise : Grundlagen und Praxis = Transfer Pricing: Principles and Practice
This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...
Lire la suite
Vertical alveolar ridge augmentation in implant dentistry : a surgical manual / Tolstunov, Len
Vertical Augmentation of the Alveolar Ridge in Implant Dentistry: A Surgical Manual presents the main methods of vertical ...
Lire la suite
Visual Methodology in Migration Studies New Possibilities, Theoretical Implications, and Ethical Questions
This book explores the use of visual methods in migration studies through a combination of theoretical analyses and empirical ...
Lire la suite
Water Resource Systems Planning and Management
This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...
Lire la suite
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
Lire la suite
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suite
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suiteWeißbuch Multiple Sklerose : Versorgungssituation in Deutschland = Multiple sclerosis white paper: supply situation in Germany
Multiple sclerosis (MS) is the most common inflammatory degenerative disease of the central nervous system in young adults. ...
Lire la suite
Why Context Matters : Applications of Social Network Analysis
Many elements of our society are embedded in network structures in which actors depend on each other as well as the structural ...
Lire la suite
Wildlife Study Design
Taking an approach from both a basic and applied perspective, the book covers numerous aspects of study design including ...
Lire la suite
Youth Transitions among Descendants of Turkish Immigrants in Amsterdam and Strasbourg:
Maps the youth transitions of descendants of migrants from Turkey living in Amsterdam and Strasbourg, through a comparative ...
Lire la suite
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lire la suite
