Программы

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

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

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

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

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

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

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

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

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

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…

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

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

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

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

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

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

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

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

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

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

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

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

A fresh take on financial data visualization for greater accuracy and understanding Your data provid…