Logic-Based Program Synthesis and Transformation - LOPSTR 2010 | María Alpuente

libcats.org

Главная →

Logic-Based Program Synthesis and Transformation - LOPSTR 2010

María Alpuente

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.

Популярные книги за неделю:

Каникулы

Бредбери Рэй

13 Kb

Михаил Нестеров. Инстинкт бойца

667 Kb

Как программировать на C

Х. М. Дейтел, П. Дж. Дейтел

Категория: computers, computers, prog

53.40 Mb

Анализ результатов наблюдений. Разведочный анализ

Тьюки Дж.

17.33 Mb

Мануальная Терапия живота

Башняк

Категория: 1641060-Мануальная терапия

29.85 Mb

Цвет. Энциклопедия. Советы по цветовому оформлению интерьера вашего дома

Анна Стармер

Категория: домоводство, досуг, Строительство и ремонт, дизайн помещений

19.58 Mb

Применение UML и шаблонов проектирования

Крэг Ларман

Категория: computer

27.84 Mb

Фаллос. Священный мужской образ

Юджин Моник

Категория: НАУЧНО-ПОПУЛЯРНОЕ, ЧЕЛОВЕК

3.37 Mb

Знаки и символы. Энциклопедия

Жорж Жан

Категория: НАУЧНО-ПОПУЛЯРНОЕ

46.50 Mb

#10

Твои друзья и помощники

Валентинов А.А.

Категория: ХОББИ и РЕМЕСЛА

3.01 Mb

Только что пользователи скачали эти книги:

Каникулы

Бредбери Рэй

13 Kb

Тепловые электрические станции

Рыжкин В.Я.

8.08 Mb

Покрытия металлические и неметаллические неорганические. Типовые технологические процессы ОСТ 107.460092.001-96

4.20 Mb

Азбука плетения

Марина Кузьмина

Категория: hobby, hobby, fancy

20.15 Mb

Порядки Любви. Как жизнь и любовь удаются вместе

Б.Хеллингер.

Категория: Психология, философия

2.32 Mb

Корабли русско-японской войны 1904-1905. Японский флот

С. Сулига

Категория: АППАРАТУРА, ЕСТЕСТВЕННЫЕ НАУКИ, ПРОФЕССИИ И РЕМЕСЛА

12.08 Mb

Корабли русско-японской войны 1904-1905. Русский флот

С. Сулига

Категория: АППАРАТУРА, ЕСТЕСТВЕННЫЕ НАУКИ, ПРОФЕССИИ И РЕМЕСЛА

23.34 Mb

Р. Хиттлмен. Йога-путь к физическому совершенству.

Категория: ЗДОРОВЬЕ

1.23 Mb

О купеческом судостроении в России, речном и прибрежном

Богославский П.А.

Категория: КНИГИ ИСТОРИЯ

20.69 Mb

#10

Выбор оптимальных размеров и контура круглого сопла : учеб. пособие

Сергиенко, Александр Александрович;Семенов, Василий Васильевич; Собачкин, Александр Александрович

Категория: Транспорт -- Воздушный транспорт -- Авиация -- Авиационные двигатели -- Авиационные реактивные двигатели -- Выходные устройства -- Реактивные сопла -- Проектирование -- Учебник для высшей школы

1.52 Mb