Программы

This book presents real-world examples of formal techniques in an industrial context. It covers form…

Digital forensics and multimedia forensics are rapidly growing disciplines whereby electronic inform…

Artificial neural network (ANN) has proven to be a universal approximator for any non-linear continu…

A systematic exploration of both classic and contemporary algorithms in blind source separation with…

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C…

Image processing and image analysis are typically important fields in information science and techno…

Nowadays, distributed systems are increasingly present, for public software applications as well as …

A unique investigation of the state of the art in design, architectures, and implementations of adva…

Edited by a panel of experts, this book fills a gap in the existing literature by comprehensively co…

This book presents a substantial description of the principles and applications of digital holograph…

In today’s digital environment, distributed systems are increasingly present in a wide variety of en…

The aim of this book is the study of signals and deterministic systems, linear, time-invariant, fini…

The aim of this book is the study of signals and deterministic systems, linear, time-invariant, fini…

Presents the state of the technology and points to future directions for semantic computing Semantic…

This collective work identifies the latest developments in the field of the automatic processing and…

In this book the authors identify the basic concepts and recent advances in the acquisition, percept…

This book covers the state-of-the-art in digital games research and development for anyone working w…

This book is a summary of more than a decade of research in the area of backend optimization. It con…

This second edition of the fully revised and updated From Photon to Pixel presents essential element…

The book provides an overview of the most advanced quantum informational geometric techniques, which…

Formal Languages, Automaton and Numeration Systems presents readers with a review of research relate…

From theory to techniques, the first all-in-one resource for EIS There is a clear demand in advanced…

Air Traffic Management involves many different services such as Airspace Management, Air Traffic Flo…

This book is dedicated to metaheuristics as applied to vehicle routing problems. Several implementat…