Electronic Books

Total Books: 461 - 480 /541

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

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

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

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 home control system using FPGA محمد باسل محمد اسعد الحلبي ؛ سعيد مخلوف ؛ صالح الرفاعي ؛ هناء الاعور ؛ ديما سراي الدين ؛ إشراف د. طارق برهوم

In recent years, Home Automation has seen a rapid introduction of network enabled digital technologies. These technologies ...

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing / Roger Lee, Jong Bae Kim

Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...

Software Networks: Virtualization, SDN, 5G, and Security, 2nd Edition / Guy Pujolle

Describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with ...

Software Product Line Engineering

Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower ...

Software Quality — ECSQ 2002

We have selected two themes for this conference . Our ?rst theme, “production of attractive and reliable software at Internet ...

Spatial Representation and Reasoning for Robot Mapping : A Shape-Based Approach

This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

Stigmergic Optimization

This book deals with the application of stigmergy for a variety of optimization problems. This volume comprises 12 chapters ...

Stochastic Algorithms: Foundations and Applications

This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...

Stochastic Discrete Event Systems : Modeling, Evaluation, Applications

The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...

String Processing and Information Retrieval

Coverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, ...

Total Books: 461 - 480 /541