- 2 402 202 книги
- Поиск
libcats.org
Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000
Kung-Kiu LauPresents papers from the 10th Intl Workshop, LOPSTR 2000, held in London, UK, July 24-28, 2000. Synthesis, transformation, analysis, specialization, and abstract interpretation are discussed. Softcover.
Скачать книгу бесплатно (pdf, 1.48 Mb)
Читать «Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000»
Читать «Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Jeff Kirvin - Unification Chronicles 0 - Between Heaven and Hell
Автор: Kirvin Jeff
Размер книги: 493 Kb
Г.Н.Тинькова. И сушим, и мочим... (заготовка фруктов) ("Сделай сам" 8/1989)
Автор:
Размер книги: 13 Kb
Малогабаритные магнитопроводы и сердечники: Справочник
Автор: Сидоров И. Н. , Автор: Христинин А. А., Автор: Скорняков С. В.
Размер книги: 5.25 Mb
Ethno-psychopharmacology: Advances in Current Practice
Автор: Chee H. Ng, Автор: Keh-Ming Lin, Автор: Bruce S. Singh, Автор: Edmond Y. K. ChiuКатегория: science_books, psychology_behavior
Размер книги: 1.13 Mb
