Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Axiom of Choice
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned ...
اقرأ المزيد
BASICS Fundamentals Of Presentation: Detail Drawing / Bert Bielefeld
Detailed drawings are developed on the basis of the working drawings; they form an important part of the specification and ...
اقرأ المزيد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, ...
اقرأ المزيد
Balancing Exploration and Exploitation by Creating Organizational Think Tanks
Key for successful knowledge management is a balance between exploration and exploitation. Danger arises when exploration ...
اقرأ المزيد
Barry's Introduction to Construction of Buildings, 4th Edition / Stephen Emmitt
Based mainly on domestic and residential buildings—and filled with extensive illustrations throughout—this concise text ...
اقرأ المزيدBasic & Clinical Pharmacology / Bertram G. Katzung, Todd W. Vanderah
Covers the important concepts students need to know about the science of pharmacology and its application to clinical practice. ...
اقرأ المزيد
Basic Principles of Fresnel Antenna Arrays
This book provides us a with the basics of the various Fresnel Antenna approaches, in order to achieve low-cost, low-profile, ...
اقرأ المزيد
Bayesian Networks and Decision Graphs
Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...
اقرأ المزيد
Bayesian Networks and Decision Graphs
Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...
اقرأ المزيد
Beginning PHP and MySQL : From Novice to Professional,
Beginning PHP and MySQL: From Novice to Professional, Third Edition offers a comprehensive introduction to two of the most ...
اقرأ المزيد
Beginning xml with C# 2008 : From Novice to Professional
Beginning XML with C# 2008 focuses on XML and how it is used within .NET 3.5. As you'd expect of a modern application framework, ...
اقرأ المزيدBehavioral medicinal therapy for ADHD & Transdermal patches رغد سعدي ؛ حنين عباس ؛ يارا عطايا ؛ إشراف د. هند الزين ؛ بيسان أحمد
ADHD is a popular disorder, often diagnosed in children in young ages. we aimed our study to focus on this disorder since ...
اقرأ المزيد
Bell's oral and facial pain / Jeffrey P. Okeson
Includes advanced understanding of the neurophysiology and central processing of pain and the resulting changes to diagnostic, ...
اقرأ المزيد
Benchmarking, Temporal Distribution, and Reconciliation Methods for Time Series
This book discusses the statistical methods most often applied for such adjustments, ranging from ad hoc procedures to regression-based ...
اقرأ المزيد
Benefit/Cost-Driven Software Development With Benefit Points and Size Points
This book presents a set of basic techniques for estimating the benefit of IT development projects and portfolios. It also ...
اقرأ المزيد
