libcats.org

Главная →

Real quadratic quantifier elimination in Risa-Asir

Нет обложки

Real quadratic quantifier elimination in Risa-Asir

Sturm T.

Скачать книгу бесплатно (ps.gz, 111 Kb)

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

Розалинд Мак-Найт. Космические путешествия

Автор:

Размер книги: 520 Kb

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

Категория: color, architect, civil, building

Размер книги: 20.83 Mb

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

Размер книги: 3.10 Mb

50 рецептов для аэрогриля

Автор: Е.С. Рзаева

Категория: house, house, cook

Размер книги: 771 Kb

Технология регенерации зубов

Автор: Петров Аркадий Наумович

Категория: Здоровье

Размер книги: 69 Kb

Ключ к сверхсознанию

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 309 Kb

Система упражнений по развитию способностей человека (Практическое пособие)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 818 Kb

Сотворение мира (3-х томник)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 817 Kb

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

Категория: Электротехника и связь

Размер книги: 13.64 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор: Thomas Riggs

Размер книги: 3.18 Mb

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

Ты будешь жить!

Автор: Воронова Влада Юрьевна

Категория: Социально-психологическая фантастика

Размер книги: 18 Kb

Русский Дом (Настольная книга хозяйки)

Автор: А. А. Халин; Н. С. Сунин

Категория: Кулинария

Размер книги: 45.90 Mb

Hull, Mathon. Prototype of polynomial rootfinder with (not really) quadratic convergence (TOMS1996)(T)(20s).djvu

Автор:

Размер книги: 143 Kb

Von Fall zu Fall - Ambulante Pflege im Recht: Rechtsfragen in der ambulanten Pflege von A-Z (German Edition)

Автор: Rolf Hofert, Автор: Thomas Mei?ner

Размер книги: 2.45 Mb

Allegories of Reading: Figural Language in Rousseau, Nietzsche, Rilke, and Proust

Автор: Paul De Man

Категория: Языкознание

Размер книги: 12.36 Mb

Beyond Human Error: Taxonomies and Safety Science

Автор: Brendan Wallace, Автор: Alastair Ross

Размер книги: 3.30 Mb

Introduction to Quadratic Forms (Grundlehren der mathematischen Wissenschaften)

Автор: Timothy O. O'Meara

Размер книги: 2.32 Mb

Чертежи кораблей французского флота - LE FANTASQUE 1934

Автор:

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

Размер книги: 9.25 Mb

Compr. Heterocyclic Chem. III Vol. 9 Six-membered Rings with Three or more Heteroatoms

Автор: Katritzky A.R., Автор: et al. (eds.)

Категория: Химия

Размер книги: 14.06 Mb

Das Fortleben nach dem Tode

Автор: Schiebeler Werner

Категория: fiction

Размер книги: 3.72 Mb