Electronic Books

Total Books: 3361 - 3380 /4431

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

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

Rural Retirement Migration

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

Réarrangement Relatif : Un instrument d’estimations dans les problèmes aux limites = Relative Rearrangement : An estimation instrument in boundary problems

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

SDL 2001: Meeting UML

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

SDL 2005: Model Driven

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

SDL 2007: Design for Dependable Systems

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

SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

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

Sago Palm

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

Sampling Methods, Remote Sensing and GIS Multiresource Forest Inventory

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

Satellite Communications Systems Engineering. Atmospheric Effects, Satellite Link Design and System / Louis J. Ippolito Jr.

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

Satellite Communications Systems: Systems, Techniques and Technology / Gerard Maral, Michel Bousquet, Zhili Sun

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

Satellite Communications and Navigation Systems

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

Satellite Events at the MoDELS 2005 Conference

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

Satellite communications / Timothy Pratt, J. E. Allnutt

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

Scalable Uncertainty Management

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

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

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

Scale Space and PDE Methods in Computer Vision

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

Scanning Microscopy for Nanotechnology

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

Scanning Probe Microscopy

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

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

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

Total Books: 3361 - 3380 /4431