libcats.org
Главная

Hybrid Systems III: Verification and Control: No. 3

Обложка книги Hybrid Systems III: Verification and Control: No. 3

Hybrid Systems III: Verification and Control: No. 3

, ,
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
Популярные книги за неделю:

Станислав Гимадеев. Принцип четности

Автор:
Размер книги: 829 Kb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Upgrading And Repairing Pcs In 24 Hours Ebook-Een

Автор:
Категория: Sam Teach Tech
Размер книги: 9.52 Mb

Социальная политика Путина

Автор:
Категория: Политика
Размер книги: 94 Kb

Infinite Love Is the Only Truth: Everything Else Is Illusion

Автор:
Размер книги: 8.51 Mb

Complete Idiot's Guide to the Kama Sutra

Автор: , Автор: , Автор:
Размер книги: 9.39 Mb

Am Dienstag sah der Rabbi rot

Автор:
Категория: fiction
Размер книги: 382 Kb