Electronic Books

Total Books: 10861 - 10880 /13868

Running IPv6

Running IPv6 explains how to install and operate the IPv6 protocol for Windows XP, Mac OS X, FreeBSD, Red Hat Linux, and ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

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 Analysis and Management : An Earth Science Approach to Rural Science

This handbookpossesses two virtues that are becomingincreasingly dif?cult to ?nd together. The ?rst one is providing a novel ...

Russia's Turn to the East

This book explores if and how Russian policies towards the Far East region of the country – and East Asia more broadly ...

Russian Models from the Mechanisms Collection of Bauman University

The subject material of this book is largely unknown, but of great interest to engineers and scientists, mechanics, and historians ...

Russian Planetary Exploration : History, Development, Legacy, Prospects

This book will assess the scientific haul of data from the Venus and Mars missions and look at the engineering approaches. ...

Russias Cosmonauts

With the aid of unique photographs, first-hand interviews and historical resources, Rex Hall, Dave Shayler and Bert Vis explain, ...

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

Régression : Théorie et applications = Regression : Theory and Applications

This book explains in detail, with supporting examples, one of the most common statistical methods: regression. The first ...

S+Functional Data Analysis

S+Functional Data Analysis is the first commercial object oriented package for exploring, modeling, and analyzing functional ...

S-BPM in the Production Industry

This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...

S-BPM in the Wild : Practical Value Creation

This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...

SALICYLIC ACID - A Plant Hormone

This book provides information about a natural chemical, Salicylic Acid, that could be raised to the status of the above ...

SAS for Data Analysis : Intermediate Statistical Methods

This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...

SBAs and EMQs for human disease (medicine) in dentistry / Oluyori K. Adegun, John A. G. Buchanan, Farida Fortune

A key revision resource for dental undergraduates and foundation dentists, SBAs and EMQs for Human Disease (Medicine) in ...

SDGs, Transformation, and Quality Growth : Insights from International Cooperation

The primary objective of this book is to seek out insights into the concept of high-quality growth (HQG). It explores the ...

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

Total Books: 10861 - 10880 /13868