- 2 402 202 книги
- Поиск
libcats.org
Theoretical Computer Science Proc.conf.2000
Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu ItoProceedings of the International Conference, IFIP TCS 2000, on theoretical computer science, held in Sendai, Japan, August 17-19, 2000. The conference followed two main tracks: Track one on algorithms, complexity, and models of computation, and track two on logic, semantics, specification, and verification. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Вторичная коммутация в распределительных устройствах, оснащенных цифровыми РЗА
Автор: Беляев Анатолий ВладимировичКатегория: Энергетика
Размер книги: 936 Kb
Печное отопление малоэтажных зданий
Автор: Школьник А.Е.Категория: Строительство
Размер книги: 31.37 Mb
Двигатели 1944-2000: авиационные, ракетные, морские, промышленные
Автор: ШустовКатегория: Military
Размер книги: 52.49 Mb
История зарубежной литературы XIX века. Часть 2. Реализм. Практические занятия: Учебно-методическое пособие
Автор: Ботникова А.Б., Автор: Недосейкин М.Н.Категория: Языкознание
Размер книги: 291 Kb
Beyond Countless Doorways (D20 Generic System)
Автор: Monte Cook, Автор: Wolfgang Baur, Автор: Colin McComb, Автор: Ray Vallese
Размер книги: 15.27 Mb
