الكتب الالكترونية

عدد الكتب: 2061 - 2080 /4684
978-981-15-2945-0
Finite Element Analysis for Civil Engineering with DIANA Software / Shun Chai

Introduces readers to the finite element analysis software DIANA (DIsplacement ANAlyzer) and its applications in civil engineering. ...

اقرأ المزيد
978-3-540-68804-4
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 ...

اقرأ المزيد
978-3-540-68804-4
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 ...

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

اقرأ المزيد
978-3-540-35469-7
Finite-State Methods and Natural Language Processing

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

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

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

اقرأ المزيد
978-3-540-34639-5
Flexible Query Answering Systems

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

اقرأ المزيد
978-3-540-35971-5
Flexible and Efficient Information Handling

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

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

اقرأ المزيد
978-3-540-27206-9
Flux-Corrected Transport

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

اقرأ المزيد
978-3-540-85902-4
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 ...

اقرأ المزيد
978-1-84628-732-9
Forensic Computing

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

اقرأ المزيد
978-1-84628-732-9
Forensic Computing

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

اقرأ المزيد
978-1-84628-732-9
Forensic Computing

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

اقرأ المزيد
978-3-540-26893-2
Form-Oriented Analysis

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

اقرأ المزيد
978-3-540-30960-4
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 ...

اقرأ المزيد
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

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

اقرأ المزيد
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

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

اقرأ المزيد
978-3-540-49703-5
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 ...

اقرأ المزيد
عدد الكتب: 2061 - 2080 /4684