|
|
libcats.org
Mathematics of Program Construction, MPC'98Johan JeuringThis book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Физические методы исследования. Семинарские занятия. Учебное пособиеАвтор: Стариковская С.М.Категория: Физика физические науки
Размер книги: 738 Kb
Металлургия и материаловедение. справочникАвтор: Циммерман Р., Автор: Гюнтер К.Категория: Материаловедение
Размер книги: 13.50 Mb
Авиационное материаловедениеАвтор: Бакастов С.С., Автор: Маркелов П.П.Категория: Авиация, Материаловедение
Размер книги: 4.07 Mb
Statistical feature selection: with applications in life scienceАвтор: Nilsson R.
Размер книги: 1.93 Mb
Экология: Методические указания по выполнению контрольных заданий и практических занятийАвтор: Барышникова Т.Н., Автор: Макарова С.В.Категория: Экология
Размер книги: 660 Kb
Urban Poverty, Housing and Social Change in China (Housing and Society)Автор: Ya Ping WangКатегория: Общественные науки прочие
Размер книги: 4.49 Mb
Standards and Public PolicyАвтор: Shane Greenstein, Автор: Victor StangoКатегория: Общественные науки прочие, Политика
Размер книги: 2.27 Mb
The Psychology of Learning and Motivation, Volume 48: Skill and Strategy in Memory Use (Psychology of Learning & Motivation)Автор: Aaron S. Benjamin, Автор: Brian H. Ross, Автор: Brian H. Ross
Размер книги: 1.81 Mb
|
|
|