Electronic Books

Total Books: 4741 - 4760 /6016

SAT-Based Scalable Formal Verification Solutions

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

SCJD Exam with J2SE 5

You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...

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

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

STACS 2005

Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...

STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...

SUPERSUIT : Poetic Interventions in Urban Spaces / Daniel Aschwanden, Michael Wallraff

The increasing accumulation of people in historyless living machines, the challenges posed by migration and a lack of space ...

Sabkha Ecosystems

This new volume, provides data and information on salt desert ecosystems of numerous West and Central Asian countries, including ...

Safety Improvements through Lessons Learned from Operational Experience in Nuclear Research Facilities

For operators of nuclear research facilities, it is of particular importance to investigate minor incidents. The nuclear ...

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 for Particle Accelerators

The use of non-standard technologies such as superconductivity, cryogenics and radiofrequency pose challenges for the safe ...

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

Salivary Gland Cytopathology

Salivary Gland Cytopathology by William C. Faquin, M.D., Ph.D. and Celeste Powers, M.D., Ph.D., will fulfill the need for ...

Same-Sex Families and Legal Recognition in Europe

This book focuses on family diversity from a legal, demographical and sociological perspective. It investigates what is ...

Samii's Essentials in Neurosurgery

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

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

Satisfying Safety Goals by Probabilistic Risk Assessment

Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated ...

Total Books: 4741 - 4760 /6016