Electronic Books

Total Books: 741 - 760 /766

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...

Presents case studies that emphasize reliability and validity in different examples of qualitative, quantitative and mixed ...

The book presents variational methods combined with boundary integral equation techniques in application to a model of dynamic ...

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

The book feature current research from the communities of verification, program certification, model checking, debugging ...

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...

Vertical Augmentation of the Alveolar Ridge in Implant Dentistry: A Surgical Manual presents the main methods of vertical ...

This book explores the use of visual methods in migration studies through a combination of theoretical analyses and empirical ...

This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...

Presents the minimally invasive philosophy before demonstrating the protocols necessary for the development of new skills ...

This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...

This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...

This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...

Total Books: 741 - 760 /766