Electronic Books

Total Books: 661 - 680 /785

Runtime Verification

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

SAT 2005

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

SOFSEM 2006: Theory and Practice of Computer Science

This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...

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

SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...

STACS 2005

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

STACS 2006

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...

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

Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...

Scale-Space and Morphology in Computer Vision

This book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer ...

Secure Mobile Ad-hoc Networks and Sensors

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Secure Mobile Ad-hoc ...

Self-Service Data Analytics and Governance for Managers / Nathan E. Myers, Gregory Kogan

Motivated by the promise of control and efficiency benefits, the widespread adoption of data analytics tools has created ...

Semantic Web Services, Processes and Applications

Semantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...

Service Chain Management

Service chain management enables service organisations to improve customer satisfaction and reduce operational costs through ...

Singular Sets of Minimizers for the Mumford-Shah Functional

This book studies regularity properties of Mumford-Shah minimizers. The Mumford-Shah functional was introduced in the 1980s ...

Smart Buildings Digitalization : Case Studies on Data Centers and Automation / O.V. Gnana Swathika, K. Karthikeyan, Sanjeevikumar Padmanaban

Explains the concept of data centers, including data collection, public parking systems, smart metering, and sanitizer dispensers. ...

Smart Buildings Digitalization : IoT and Energy Efficient Smart Buildings Architecture and Applications / O.V. Gnana Swathika, K. Karthikeyan, Sanjeevikumar Padmanaban

Discusses various artificial intelligence and machine learning applications concerning smart buildings. It includes how renewable ...

Smart Graphics

The core idea behind the Smart Graphics symposia is to bring together - searchers and practitioners from the ?eld of computer ...

Smart Healthcare System Design: Security and Privacy Aspects / S. K. Hafizul Islam, Debabrata Samanta

Discusses the major challenges and issues for security and privacy aspects of smart health-care systems. Helps achieve a ...

Smart employee analyzer أحمد خالد الزين ؛ ابستام باسل الأعمى ؛ لانا ميشيل توما ؛ محمد عماد الحوراني ؛ منار طيلوني ؛ إشراف د.أنس دهبية

In this project we propose an app that functions as an office helper system with a job interview ranker. To help with the ...

Total Books: 661 - 680 /785