- 2 402 202 книги
- Поиск
libcats.org
Abstract State Machines, Theory and Applications, ASM 2000
Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar ThieleProceedings of the International Workshop, ASM, held in Monte Verita, Switzerland, March 19-24, 2000. The workshop served as a forum on practical and theoretical topics that relate to ASMs and brought together domain-experts and theorists using ASMs in their work. Softcover.
Скачать книгу бесплатно (pdf, 3.80 Mb)
Читать «Abstract State Machines, Theory and Applications, ASM 2000»
Читать «Abstract State Machines, Theory and Applications, ASM 2000»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Encyclopedia of Biological Chemistry
Автор: William J. Lennarz, Автор: M. Daniel Lane, Автор: Paul Modrich, Автор: Jack Dixon, Автор: Ernesto Carafoli, Автор: John Exton, Автор: Don ClevelandКатегория: Biology, Encyclopaediae
Размер книги: 24.43 Mb
Станины и корпусные детали металлорежущих станков. Расчет и конструирование
Автор: Авторы: В.В.Каминская, Автор: З.М.Левина, Автор: Д.Н.Решетов. Под редакцией Д.Н.Решетова.
Размер книги: 9.69 Mb
Личные финансы. Доходы и расходы семейного бюджета. Научно-популярное издание
Автор: Чернов Александр ЮрьевичКатегория: общенаучное и междисциплинарное знание
Размер книги: 2.02 Mb
Организация отраслевых рынков: вводный курс
Автор: Кабраль Луис М. К.Категория: money
Размер книги: 3.25 Mb
Характеристики авиационных профилей
Автор: Кравец А.С.Категория: Авиация, Аэродинамика
Размер книги: 6.21 Mb
Задачи вступительных экзаменов по математике
Автор: Нестеренко Ю.В., Автор: С.Н.Олехник, Автор: М.К.ПотаповКатегория: Математика
Размер книги: 5.37 Mb
Руководство по аддиктологии
Автор: Менделевич В.Д.Категория: Психология. Социология
Размер книги: 6.89 Mb
Против Финляндии. Советская морская авиация на Балтике в войне 1939-1940 годов.
Автор: Тиркельтауб С.В., Автор: Степаков В.Н.Категория: История
Размер книги: 2.21 Mb
Complete Guide to Sharpening
Автор: Leonard LeeКатегория: КНИГИ ХОББИ и РЕМЕСЛА
Размер книги: 71.33 Mb