Introduces readers to the finite element analysis software DIANA (DIsplacement ANAlyzer) and its applications in civil engineering. ...
اقرأ المزيد
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
اقرأ المزيد
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
اقرأ المزيدIn Finite Element Design of Concrete Structures: practical problems and their solutions the author addresses this 'blind ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
اقرأ المزيدFirefighting is an important but dangerous career that can potentially cause the loss of life, property damage and permanent ...
اقرأ المزيدFitBuddy App is a sports application that employs artificial intelligence in its job as a personal trainer that enables users ...
اقرأ المزيد
This book constitutes the refereed proceeding of the 7th International Conference on Flexible Query Answering Systems, FQAS ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...
اقرأ المزيد
You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
اقرأ المزيد
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative ...
اقرأ المزيد
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
اقرأ المزيد
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
اقرأ المزيد
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
اقرأ المزيد
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
اقرأ المزيد
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
اقرأ المزيد
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
اقرأ المزيد