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 ...
اقرأ المزيد