» książki  » Technology - Automation


• Nauka
 [1581806]
 [819701]
   więcej

Kategorie szczegółowe
BISAC
Książki nowe
Codzienna aktualizacja bazy
(cen i dostępności)
Realizacja zamówienia:
ok. 3 tygodni
Książki używane
Wycena na życzenie
Realizacja zamówienia:
ok. 4-8 tygodni

Książki są sprowadzane
z zagranicy

Przedpłata, dla firm FV 14 dni
Nie wysyłamy za pobraniem

Czytaj nas na:



Technology - Automation
sortowanie:


 Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones 9781402071034

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

cena: 594,47
    
Symbolic Simulation Methods for Industrial Formal Verification
 Knowledge and Technology Integration in Production and Services: Balancing Knowledge and Technology in Product and Service Life Cycle Vladimir Marik Luis M. Camarinha-Matos Hamideh Afsarmanesh 9781402072116
Knowledge and Technology Integration in Production and Services presents novel application scenarios for balanced distributed and integrated systems based on knowledge and up-to-date technology and provides a great opportunity for discussion of concepts, models, methodologies, technological developments, case studies, new research ideas, and other results among specialists. It comprises the...
cena: 777,21
    
Knowledge and Technology Integration in Production and Services: Balancing Knowledge and Technology in Product and Service Life Cycle
 Introduction to Digital Audio Coding and Standards Marina Bosi Richard E. Goldberg 9781402073571
Introduction to Digital Audio Coding and Standards provides a detailed introduction to the methods, implementations, and official standards of state-of-the-art audio coding technology. In the book, the theory and implementation of each of the basic coder building blocks is addressed. The building blocks are then fit together into a full coder and the reader is shown how to judge the performance...
cena: 608,00
    
Introduction to Digital Audio Coding and Standards
 Exploration of Visual Data Xiang Sean Zhou Yong Rui Thomas S. Huang 9781402075698

Exploration of Visual Data presents latest research efforts in the area of content-based exploration of image and video data. The main objective is to bridge the semantic gap between high-level concepts in the human mind and low-level features extractable by the machines.

The two key issues emphasized are "content-awareness" and "user-in-the-loop." The authors provide a comprehensive review...

cena: 594,47
    
Exploration of Visual Data
 Fault Diagnosis and Reconfiguration in Flight Control Systems Chingiz Hajiyev Fikret Caliskan C. Hajiyev 9781402076053
The problem of fault diagnosis and reconfigurable control is a new and actually developing field of science and engineering. The subject becomes more interesting since there is an increasing demand for the navigation and control systems of aerospace vehicles, automated actuators etc. to be more safe and reliable. Nowadays, the problems of fault detection and isolation and reconfigurable control...
cena: 1321,65
    
Fault Diagnosis and Reconfiguration in Flight Control Systems
 Interactive Decision Maps: Approximation and Visualization of Pareto Frontier Alexander V. Lotov Vladimir A. Bushenkov Georgy K. Kamenev 9781402076312

Since the volume may be of interest to a broad variety of people, it is arranged in parts that require different levels of mathematical background. Part I can be assessed by those interested in the application of visualization methods in decision making. In Part II computational methods are introduced in a relatively simple form. Part III is written for readers in applied mathematics...

cena: 685,93
    
Interactive Decision Maps: Approximation and Visualization of Pareto Frontier
 Recent Developments in Cooperative Control and Optimization Sergiy Butenko Robert Murphey Panos M. Pardalos 9781402076442
Over the past several years, cooperative control and optimization has un questionably been established as one of the most important areas of research in the military sciences. Even so, cooperative control and optimization tran scends the military in its scope -having become quite relevant to a broad class of systems with many exciting, commercial, applications. One reason for all the excitement...
cena: 891,54
    
Recent Developments in Cooperative Control and Optimization
 Timing Sachin S. Sapatnekar 9781402076718
Statistical timing analysis is an area of growing importance in nanometer te- nologies as the uncertainties associated with process and environmental var- tions increase and this chapter has captured some of the major efforts in this area. This remains a very active field of research and there is likely to be a great deal of new research to be found in conferences and journals after this book is...
cena: 708,79
    
Timing
 Systematic Design of SIGMA-Delta Analog-To-Digital Converters Ovidiu Bajdechi Johan H. Huijsing J. H. Huijsing 9781402079450
Systematic Design of Sigma-Delta Analog-to-Digital Converters describes the issues related to the sigma-delta analog-to-digital converters (ADCs) design in a systematic manner: from the top level of abstraction represented by the filters defining signal and noise transfer functions (STF, NTF), passing through the architecture level where topology-related performance is calculated and simulated,...
cena: 731,48
    
Systematic Design of SIGMA-Delta Analog-To-Digital Converters
 CMOS Imagers: From Phototransduction to Image Processing Orly Yadid-Pecht Orly Yadid-Pecht Ralph Etienne-Cummings 9781402079610
The idea of writing a book on CMOS imaging has been brewing for several years. It was placed on a fast track after we agreed to organize a tutorial on CMOS sensors for the 2004 IEEE International Symposium on Circuits and Systems (ISCAS 2004). This tutorial defined the structure of the book, but as first time authors/editors, we had a lot to learn about the logistics of putting together...
cena: 868,68
    
CMOS Imagers: From Phototransduction to Image Processing
ilość książek w kategorii: 1745