Electronic Books

Total Books: 461 - 480 /532

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

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

String Processing and Information Retrieval (vol. # 3772)

String processing (dictionary algorithms, text sear- ing, pattern matching, text compression, text mining, natural language ...

Structural Information and Communication Complexity (vol. # 3499)

This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication ...

Success in Evolutionary Computation

Darwinian evolutionary theory is one of the most important theories in human history for it has equipped us with a valuable ...

Super-Recursive Algorithms

New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...

Systematic Design for Emergence in Cellular Nonlinear Networks : With Applications in Natural Computing and Signal Processing

Cellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...

Tablet press machine supervision with scada / Taher Aburomye ; Ammar Akkad ; Maya Husseini ; Mouhamad Nadim ; Mouhanad Soukkar ; Moaz Yabroudi

As technology is advancing and the needs for development in various fields become necessary, the idea of our project is born, ...

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond

This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Total Books: 461 - 480 /532