Electronic Books

Total Books: 501 - 520 /4148

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Automatic Autocorrelation and Spectral Analysis

It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...

Automatic Program Development : A Tribute to Robert Paige

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

Automatic Quantum Computer Programming

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

Automatic Quantum Computer Programming

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

Automorphic Forms and Lie Superalgebras

Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection ...

Autonomic Management of Mobile Multimedia Services

th This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile ...

Autonomic Principles of IP Operations and Management

th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), ...

Autonomic and Trusted Computing

This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ...

Autonomic and Trusted Computing : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

Autonomous Intelligent Systems: Agents and Data Mining

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

Autonomous Robots and Agents

This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...

Autonomous Systems - Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...

Autonomy : In the Law

Autonomy in the Law considers one of the most important benefits of the rule of law. Juxtaposing European and American conceptions ...

Autonomy and Human Rights in Health Care : An International Perspective

Autonomy and Human Rights in Healthcare: An International Perspective is a group of essays published in memory of David Thomasma, ...

B 2007: Formal Specification and Development in B

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

BGA International Conference on Foundations: Innovations, observations, design and practice: Proceedings of the international conference organised by British Geotechnical Association and held in Dundee, Scotland on 2 – 5th September 2003

Although foundation engineering is recognised as a mature discipline with geotechnics, the diversity of applications and ...

Bacterial Fish Pathogens

This completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...

Bacteriophage therapy : a potential solution for antibiotic resistance crisis مالك الجبة ؛ زاهر حامد ؛ إشراف د. سامر الزعبي

For many years, humans have been fighting with bacteria, in a matter of fact, bacteria have been winning for the last decade, ...

Total Books: 501 - 520 /4148