|
Booksee.org
Hybrid Systems III: Verification and Control: No. 3Rajeev Alur, Thomas A. Henzinger, Eduardo D. SontagThis 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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Проектирование энергоэкономичных и энергоактивных гражданских зданийБеляев В. С.Категория: Строительство. Архитектура
2.64 Mb
#2
Рекомендации по проектированию и устройству фундаментов из цементогрунта бурссмесительным способом для опытного строительства сельских зданий.Авторы: НИИОСП им. Н.М.Герсеванова (проф. Ржаницын Б.А., к.т.н. Токин А.Н., к.т.н. Баходдин Б.В., инж.. Шапошников А.В.), ЦНИИЭПсельстроем (к.т.н. Жуков Н.В., инж. Мироненко М.А.) Кубанским СХИ ( мл.н.с. Ветштейн А.И., Кочнев Н.И.), ВЗИСИ (к.т.н. КоротеевКатегория: Строительство. Архитектура
756 Kb
#8
Архитектура гражданских и промышленных зданий. Том III. Жилые здания.Л.Б. Великовский, А.С. Ильяшев, Т.Г. Маклакова и др.Категория: КНИГИ ПРОФЕССИИ И РЕМЕСЛА
11.14 Mb
#9
Архитектура гражданских и промышленных зданийМаклакова Т.Г.Категория: Техника, Строительство
11.56 Mb
|
|