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

عدد الكتب: 1 - 20 /73
978-3-540-69850-0
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

اقرأ المزيد
978-1-4020-2335-4
A Modern Perspective on Type Theory

The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...

اقرأ المزيد
978-3-540-31759-3
Advances in Evolutionary Algorithms

The goal of this book is to provide effective optimization algorithms for solving a broad class of problems quickly, accurately, ...

اقرأ المزيد
978-0-387-70761-7
Advances in Information System Development : New Methods and Practice for the Networked Society

Advances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected ...

اقرأ المزيد
978-3-540-69423-6
Advances in Multimedia Modeling

The two volume set LNCS 4351 and LNCS 4352 constitutes the refereed proceedings of the 13th International Multimedia Modeling ...

اقرأ المزيد
978-3-540-75975-1
Advances in Rule Interchange and Applications

The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...

اقرأ المزيد
978-3-540-75975-1
Advances in Rule Interchange and Applications

The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...

اقرأ المزيد
978-3-540-33275-6
Algebraic Geometry and Geometric Modeling

Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. ...

اقرأ المزيد
978-1-4020-3312-4
Applications of Gene-Based Technologies for Improving Animal Production and Health in Developing Countries

This book will help in bridging the wide gap between developed and developing countries, in the development and use of gene-based ...

اقرأ المزيد
978-3-030-57559-5
Arakelov Geometry and Diophantine Applications

Bridging the gap between novice and expert, the aim of this book is to present in a self-contained way a number of striking ...

اقرأ المزيد
1119760402
Artificial Intelligence and Data Mining Approaches in Security Frameworks / Neeraj Bhargava, Ritu Bhargava, Pramod Singh Rathore, Rashmi Agrawal

Offers solutions to the problems of security, outlining the concepts behind allowing computers to learn from experience and ...

اقرأ المزيد
978-981-19-8790-8
Artificial Intelligence in Mechatronics and Civil Engineering : Bridging the Gap / Ehsan Momeni, Danial Jahed Armaghani, Aydin Azizi

Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. ...

اقرأ المزيد
978-0-8176-4438-3
Atmospheric and Space Flight Dynamics

Modern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate ...

اقرأ المزيد
NoIMG
Bridge design for economy and durability: Concepts for new, strengthened and replacement bridges

Describes a number of new or updated bridging concepts which were developed and successfully applied during the author's ...

اقرأ المزيد
978-1-4020-5047-3
Bridging Divides

Maritime canals dissolve natural barriers to the dispersal of marine organisms, thus providing novel opportunities for natural ...

اقرأ المزيد
978-3-319-58650-2
Bridging Educational Leadership, Curriculum Theory and Didaktik

This book is open access under a CC BY 4.0 license. This volume argues for the need of a common ground that bridges leadership ...

اقرأ المزيد
978-1-4020-3799-3
Bridging laboratory and field research for genetic control of disease vectors

Contemporary research on genetic control of disease-transmitting insects knows two kinds of scientists: those that work in ...

اقرأ المزيد
978-0-387-34593-2
Broadband Fixed Wireless Access

Broadband Fixed Wireless Access provides a systematic overview of the emerging WiMax technology, and much of the material ...

اقرأ المزيد
978-1-4302-0980-5
Building XNA 2.0 Games : A Practical Guide for Independent Game Development

Building XNA 2.0 Games: A Practical Guide for Independent Game Development is written by James Silva, who recently won the ...

اقرأ المزيد
1119682606
Burnt Human Remains : Recovery, Analysis, and Interpretation / Sarah Ellingham, Joe Adserias-Garriga, Sara C. Zapico, Douglas H. Ubelaker

Presents an in-depth multidisciplinary approach to the detection, recovery, analysis, and identification of thermally altered ...

اقرأ المزيد
عدد الكتب: 1 - 20 /73