Electronic Books

Total Books: 8721 - 8740 /11047

SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...

SCJP Exam for J2SE 5

Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...

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 2007: Design for Dependable Systems

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

SELECTED PAPERS ON SOIL MECHANICS

This volume of selected papers by Professor A W Skempton is published to mark his 70th birthday on 4th June 1984. In making ...

SOFSEM 2007: Theory and Practice of Computer Science

This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...

SPDE in Hydrodynamic: Recent Progress and Prospects : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy August 29–September 3, 2005

Of the three lecture courses making up the CIME summer school on Fluid Dynamics at Cetraro in 2005 reflected in this volume, ...

SQL Server 2000 Fast Answers for DBAs and Developers

SQL Server 2000 is the leading relational database for the Windows platform. It's a full-featured, enterprise-class database ...

SQL Server 2005 T-SQL Recipes

This no-fluff desk reference offers direct access to the information you need to get the job done. It covers basic T-SQL ...

SSP 2004

This volume contains papers presented at the 8th International Conference on Solid State Physics (SSP 2004), Workshop "Mössbauer ...

STM and AFM Studies on (Bio)molecular Systems: Unravelling the Nanoworld

Still valid and useful after a decade, this work presents critical reviews of the present position and future trends in modern ...

Safeguards in a World of Ambient Intelligence

It aims to warn policy-makers, industry, academia, civil society organisations, the media and the public about the threats ...

Safety Cultures, Safety Models

The objective of this book is to help at-risk organizations to decipher the “safety cloud”, and to position themselves ...

Safety Related Issues of Spent Nuclear Fuel Storage

Although most attention was focused on fuel behaviour in storage pools, many countries—through lack of space—are beginning ...

Safety and Security in Hotels and Home Sharing

This brief comparatively reviews the security and safety features of hotels and home sharing services. It reviews crime data, ...

Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines

In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and ...

Saltmarsh Conservation, Management and Restoration : Coastal Systems and Continental Margins

This book series looks at each of the main coastal habitats - salt marshes, sand dunes and sand/shingle shores, modified ...

Samii's Essentials in Neurosurgery

Samii's Essentials in Neurosurgery' contains selected papers written by internationally recognized contributors who were ...

Sampling Methods

This book contains 116 exercises of sampling methods solved in detail. The exercises are grouped into chapters and are preceded ...

Total Books: 8721 - 8740 /11047