Electronic Books

Total Books: 821 - 840 /841

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 ...

Multiple sclerosis (MS) is the most common inflammatory degenerative disease of the central nervous system in young adults. ...

Many elements of our society are embedded in network structures in which actors depend on each other as well as the structural ...

Taking an approach from both a basic and applied perspective, the book covers numerous aspects of study design including ...

Maps the youth transitions of descendants of migrants from Turkey living in Amsterdam and Strasbourg, through a comparative ...

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...

Total Books: 821 - 840 /841