Electronic Books

Total Books: 1 - 20 /186

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

A Multidisciplinary Approach to Capability in Age and Ageing

This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...

Abstraction Refinement for Large Scale Model Checking

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

Advances in Digital Forensics

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. ...

Advances in Digital Forensics III

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. ...

Advances in Digital Forensics III

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. ...

Advances in Meshfree Techniques

In recent years meshless/meshfree methods have gained a considerable attention in engineering and applied mathematics. The ...

Advances in Pervasive Computing and Networking

"Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive ...

Algorithms - ESA 2006

This book constitutes the refereed proceedings of the 14th Annual European Symposium on Algorithms, ESA 2006, held in Zurich, ...

Algorithms – ESA 2007

This book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics ...

Algorithms – ESA 2007

This book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics ...

An Economic Feasibility Study Of Extracting Electrical Energy From Solar Panels حنين أيمن جوديه ؛ كنان غسان حسون ؛ ماهر محمد هشام حمزة ؛ حاتم بلال الخطيب ؛ إشراف د. واثق أبو عمر

The research is a case that study depends on both secondary and primary data. Secondary data should be collected from the ...

Arctic-Subarctic Ocean Fluxes : Defining the Role of the Northern Seas in Climate

The two-way oceanic exchanges that connect the Arctic and Atlantic oceans through subarctic seas are of fundamental importance ...

Arts of Allusion: Object, Ornament, and Architecture in Medieval Islam / Margaret S. Graves

The art of the object reached unparalleled heights in the medieval Islamic world, yet the deep intellectual dimensions of ...

Asias Debt Capital Markets

The book has three parts. Part I describes the characteristics and historical origins of these markets. Part II examines ...

Assessment and Future Directions of Nonlinear Model Predictive Control

Thepastthree decadeshaveseenrapiddevelopmentin the areaofmodelpred- tive control with respect to both theoretical and application ...

Astronomical Sketching

At some time we have all gazed through the telescope eyepiece at the magnificent rings and banded globe of Saturn, or seen ...

At the Crossroads: The World Trading System and the Doha Round

Since its foundation in 1995 the legitimacy of the WTO – and herewith the notion of organising global trade on the basis ...

Atlas de chirurgie esthétique du sexe de lhomme = Atlas of Male Sexual Aesthetic Surgery

The author nevertheless calls for a certain reserve as to the indications for operation due to the psychological fragility ...

Beyond Cartesian Dualism

There is surprisingly little known about affect in science education. Despite periodic forays into monitoring students’ ...

Total Books: 1 - 20 /186