Electronic Books

Total Books: 2101 - 2120 /4790

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

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

Finite-State Methods and Natural Language Processing

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...

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

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

Flexible Query Answering Systems

This book constitutes the refereed proceeding of the 7th International Conference on Flexible Query Answering Systems, FQAS ...

Flexible and Efficient Information Handling

This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...

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

Flux-Corrected Transport

Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...

Focal Liver Lesions

Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in ...

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

Forensic Computing

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

Forensic Computing

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

Forensic Computing

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

Form-Oriented Analysis

Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...

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

Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

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

Formal Aspects in Security and Trust

Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...

Total Books: 2101 - 2120 /4790