Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
In the world we live in concurrency is the norm. For example, the human body
is a massively concurrent system, comprising a huge number of cells, all simultaneously
evolving and independently engaging in their individual biological
processing. In addition, in the biological world, truly sequential systems rarely
arise. However,
...
Environmental Foresight and Models: A Manifesto
Environmental Foresight and Models: A Manifesto

Policy-makers and the public, it has famously been said, are more interested in the possibility of non-linear dislocations and surprises in the behaviour of the environment than in smooth extrapolations of current trends. The International Task Force in Forecasting Environmental Change (1993-1998) dedicated its work to developing procedures...

Concepts of Chemical Engineering 4 Chemists (RSC '4' Chemists)
Concepts of Chemical Engineering 4 Chemists (RSC '4' Chemists)

This book is meant as a handbook and resource guide for chemists (and other scientists) who either find themselves working alongside chemical engineers or who are undertaking chemical engineering-type projects and who wish to communicate with their colleagues and understand chemical engineering principles. The book has arisen out of...

Elastomere Friction: Theory, Experiment and Simulation
Elastomere Friction: Theory, Experiment and Simulation

Understanding elastomer friction is essential for the development of tyres, but also for sealings and other components. Thus it is of great technical importance. There are many aspects to modelling frictional processes in which an elastomer is interacting with a rough surface, ranging from theoretical formulations, leading to reduced and...

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in todays world of wireless and mobile networking. Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed...
Scientific Methods in Mobile Robotics: Quantitative Analysis of Agent Behaviour
Scientific Methods in Mobile Robotics: Quantitative Analysis of Agent Behaviour
Mobile robots are widely applied in a range of applications from transportation, surveillance through to health care. In all these applications it is clearly important to be able to analyse and control the performance of the mobile robot and it is therefore surprising that formalised methods to achieve this are not readily available. This book...
Ice Mechanics for Geophysical and Civil Engineering Applications (GeoPlanet: Earth and Planetary Sciences)
Ice Mechanics for Geophysical and Civil Engineering Applications (GeoPlanet: Earth and Planetary Sciences)

This book presents the concepts and tools of ice mechanics, together with examples of their application in the fields of glaciology, climate research and civil engineering in cold regions. It starts with an account of the most important physical properties of sea and polar ice treated as an anisotropic polycrystalline material, and...

Mites: Ecology, Evolution & Behaviour: Life at a Microscale
Mites: Ecology, Evolution & Behaviour: Life at a Microscale

More than 40,000 species of mites have been described, and up to 1 million may exist on earth. These tiny arachnids play many ecological roles including acting as vectors of disease, vital players in soil formation, and important agents of biological control. But despite the grand diversity of mites, even trained biologists are often unaware...

Mysterious Creatures: A Guide to Cryptozoology, 2 Volume Set
Mysterious Creatures: A Guide to Cryptozoology, 2 Volume Set
From Bigfoot and the bonobo to the Central Asian wildman and winged humanoid, this volume presents over 1000 A-to-Z entries on every reported cryptid - i.e. legendary animal unknown to science - from around the world. Each entry traces the history of sightings and known habitats, including details such as: popular name; distribution; etymology;...
Mechanics and Strength of Materials
Mechanics and Strength of Materials

This textbook gives a clear and thorough presentation of the fundamental principles of mechanics and strength of materials. It provides both the theory and applications of mechanics of materials on an intermediate theoretical level, ranging from the mechanical properties of materials through the effects of axial load, torsion, bending, and...

Topics in Geometry, Coding Theory and Cryptography (Algebra and Applications)
Topics in Geometry, Coding Theory and Cryptography (Algebra and Applications)
The purpose of this reviewarticle is to serve as an introduction and at the same time, as an invitation to the theory of towers of function fields over finite fields. More specifically, we treat here the case of explicit towers; i.e., towers where the function fields are given by explicit equations. The asymptotic behaviour of the genus and of the...
The Cambridge Handbook of Information and Computer Ethics
The Cambridge Handbook of Information and Computer Ethics

Information and Communication Technologies (ICTs) have profoundly changed many aspects of life, including the nature of entertainment, work, communication, education, healthcare, industrial production and business, social relations and conflicts. They have had a radical and widespread impact on our moral lives and hence on contemporary...

unlimited object storage image
Result Page: 20 19 18 17 16 15 14 13 12 11 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy