Electronic Books

Total Books: 1 - 20 /801

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 ...

501 Math Word Problems / Mark A. McKibben, LearningExpress

Contains only word problems - the kinds you encounter at school and on high stakes tests. Gaining familiarity with this specific ...

A Cost Based Approach to Project Management : Planning and Controlling Construction Project Costs /

Illustrates the principles of project management and the essentials of cost planning and control with easy-to-understand ...

A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...

A Guide to Graph Algorithms / Ton Kloks, Prof. Mingyu Xiao

Offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...

A Linear Systems Primer

Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...

AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...

Abstract Computing Machines

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

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

Acne Vulgaris in women هبة موصلي ؛ ولاء الشمري ؛ محمد هادي الخضير ؛ إشراف د. محمد عمار خياط

Acne is a disorder of the hair follicles and oil glands (sebaceous glands). The sebaceous glands secrete oils (sebum) to ...

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 ...

Active Rheology Control of Cementitious Materials / Geert De Schutter, Karel Lesage

The research presented here develops a new method of actively controlling the rheology of fresh concrete during casting operations ...

Ada 2005 Rationale : The Language, The Standard Libraries

The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...

Adaptive Nonlinear System Identification

Adaptive Nonlinear System Identification: The Volterra and Wiener Model Approaches introduces engineers and researchers to ...

Adaptive Voltage Control in Power Systems

Adaptive Voltage Control in Power Systems, a self-contained blend of theory and novel application, is an in-depth treatment ...

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceeding

This book - in conjunction with the two volumes CCIS 0015 and LNCS 5226 - constitutes the refereed proceedings of the 4th ...

Advanced Nanomaterials / Shadia Jamil Ikhmayies

Covers synthesis, characterization, and applications of diverse types of nanomaterials. Specifically, it describes carbon, ...

Advances in Artificial Intelligence (vol. # 3955)

This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...

Advances in Artificial Intelligence (vol. # 4013)

This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...

Total Books: 1 - 20 /801