Electronic Books

Total Books: 3361 - 3380 /4431

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

This book examines the migration of older persons to rural retirement destinations in the United States. While the majority ...

The objective of this book is to present a little known or even new method based on the concept of relative rearrangement ...

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...

This book addresses a wide variety of events and technologies concerning the sago palm, ranging from its botanical characteristics, ...

The book presents the state-of-the-art of forest resources assessments and monitoring and provides links to practical applications ...

Focuses on the important basic principles that are unique and timeless to satellite-based communications delivery systems. ...

Contains information on the most recent advances related to satellite communications systems, technologies, network architectures ...

Satellite Communications and Navigation Systems publishes the proceedings of the 2006 Tyrrhenian International Workshop on ...

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

There has been a complete transition from analog to digital communication systems, withanalog techniques replaced by digital ...

This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision. The scale-space ...

Scanning electron microscopy (SEM) can be exploited not only for nanomaterials characterization but also integrated with ...

Scanning Probe Microscopy brings up to date a constantly growing knowledge base of electrical and electromechanical characterization at ...

In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. ...

Total Books: 3361 - 3380 /4431