Electronic Books

Total Books: 10861 - 10880 /13868

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 10861 - 10880 /13868