Electronic Books

Total Books: 1781 - 1800 /2342

Epithelial phenotype is a dynamic stage of differentiation that can be modulated during several physiological or pathological ...

The conventional approach to risk communication, based on a centralized and controlled model, has led to blatant failures ...

Offers a fresh method of assessing and managing risks in SMEs, by adopting a multidisciplinary approach. In small and medium ...

The main goal of this book is to make the reader familiar with the complexity and multi-dimensionality of the subject RISK, ...

This open access book surveys the frontier of scientific river research and provides examples to guide management towards ...

This volume contains a collection of 50 contributed papers, which were presented at the 12th International Symposium of Robotics ...

This book examines recent advances in how artificial intelligence (AI) and robotics have elicited widespread debate over ...

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...

This book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...

This volume reflects the latest developments in the research of a global community of rotifer researchers, who came together ...

This book covers methods based on a combination of granular computing, rough sets, and knowledge discovery in data mining ...

This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...

This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

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 book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

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

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

Total Books: 1781 - 1800 /2342