Electronic Books

Total Books: 1161 - 1180 /1190

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 volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...

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

This book is open access under a CC-BY license. This open access volume presents papers on vocational education, project-based ...

This book is drawn from across many active fields of mathematics and physics, and has connections to atmospheric dynamics, ...

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

The Journal of Fluorescences fifth Whos Who directory publishes the names, contact details, specialty keywords, and a brief ...

Total Books: 1161 - 1180 /1190