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

عدد الكتب: 21 - 40 /2098
978-981-15-2770-8
A Matrix Algebra Approach to Artificial Intelligence

The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...

اقرأ المزيد
978-0-387-73384-5
A Modular Calculus for the Average Cost of Data Structuring

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...

اقرأ المزيد
978-0-387-36123-9
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

اقرأ المزيد
978-1-4020-4758-9
A Roadmap for Formal Property Verification

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

اقرأ المزيد
978-3-540-73542-7
A Singular Introduction to Commutative Algebra

This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...

اقرأ المزيد
978-3-540-68481-7
A Theory of Shape Identification

Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...

اقرأ المزيد
978-3-540-31652-7
AI 2005: Advances in Artificial Intelligence

The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...

اقرأ المزيد
978-1-78561-983-0
AI For Emerging Verticals : Human-robot computing, sensing and networking

Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...

اقرأ المزيد
978-3-030-76613-9
AI-Enabled Threat Detection and Security Analysis for Industrial IoT / Hadis Karimipour, Farnaz Derakhshan

Provides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...

اقرأ المزيد
978-3-540-27359-2
Abstract Computing Machines

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...

اقرأ المزيد
978-0-387-34600-7
Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

اقرأ المزيد
978-0-387-27006-7
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

اقرأ المزيد
978-3-030-49943-3
Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

اقرأ المزيد
978-3-540-69972-9
Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering

The book covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms ...

اقرأ المزيد
978-3-540-37631-6
Acoustic MIMO Signal Processing

Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to ...

اقرأ المزيد
9780367342845
Acquiring Card Payments / Ilya Dubinsky

Covers: Payment cards and protocols EMV contact chip and contactless transactions Disputes, arbitration, and compliance Data ...

اقرأ المزيد
978-3-540-31933-7
Active Mining

"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...

اقرأ المزيد
978-3-540-77072-5
Active Sensor Planning for Multiview Vision Tasks

The book describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing ...

اقرأ المزيد
978-3-540-32086-9
Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738)

This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW ...

اقرأ المزيد
978-3-540-85209-4
Ad-hoc, Mobile and Wireless Networks : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...

اقرأ المزيد
عدد الكتب: 21 - 40 /2098