Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lee mas
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lee mas
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Lee mas
Validity and Reliability in Built Environment Research : A Selection of Case Studies / ian Ahmed, Alex Opoku, Ayokunle Olanipekun, Monty Sutrisna
Presents case studies that emphasize reliability and validity in different examples of qualitative, quantitative and mixed ...
Lee mas
Variational and Potential Methods for a Class of Linear Hyperbolic Evolutionary Processes
The book presents variational methods combined with boundary integral equation techniques in application to a model of dynamic ...
Lee mas
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lee mas
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Lee mas
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Lee mas
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lee mas
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 ...
Lee masVerrechnungspreise : 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Water Resource Systems Planning and Management
This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...
Lee mas
Waxing for Dental Students / Rowida Abdalla
Presents the minimally invasive philosophy before demonstrating the protocols necessary for the development of new skills ...
Lee mas
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
Lee mas
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lee mas
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 ...
Lee mas
