Finite Model Theory and Its Applications
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...
Lee masFinite element design of concrete structures: Practical problems and their solutions
In Finite Element Design of Concrete Structures: practical problems and their solutions the author addresses this 'blind ...
Lee mas
Finite-State Methods and Natural Language Processing
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
Lee masFire-fighter robot / Batoul Bukaai ; Ghaith Bibars ; Raghad Muallem ; Hamze Hegazi
Firefighting is an important but dangerous career that can potentially cause the loss of life, property damage and permanent ...
Lee masFitBuddy: an artificial intelligence powered personal trainer / Mohammed Abdulrahman Al Khatib , Mouaz Anwar Anan , Riham Nizar Hannoun , Tala Raffat Babili and Tima Wassim Hadaya ; Supervised by Nada Ghneim , Massa Baali and Mohammad Al Masre محمد عبد الرحمن الخطيب ، معاذ أنور عنان ، رهام نزار حنون ، تالا رأفت ببيلي و تيماء وسيم هدايا ؛ إشراف ندى غنيم ، ماسة البعلي و محمد المصري
FitBuddy App is a sports application that employs artificial intelligence in its job as a personal trainer that enables users ...
Lee mas
Flexible Query Answering Systems
This book constitutes the refereed proceeding of the 7th International Conference on Flexible Query Answering Systems, FQAS ...
Lee mas
Flexible and Efficient Information Handling
This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...
Lee mas
Fluent Python: Clear, Concise, and Effective Programming / Luciano Ramalho
You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
Lee mas
Flux-Corrected Transport
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
Lee mas
Focal Liver Lesions
Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in ...
Lee mas
Focused Access to XML Documents : 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative ...
Lee mas
Forensic Computing
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
Lee mas
Forensic Computing
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
Lee mas
Forensic Computing
In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...
Lee mas
Form-Oriented Analysis
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
Lee mas
Formal Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Lee mas
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lee mas
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee mas
Formal Approaches to Software Testing and Runtime Verification
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lee mas
Formal Aspects in Security and Trust
Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
Lee mas
