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