- 2 402 202 книги
- Поиск
libcats.org
Нет обложки
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Королева баррикад (Варфоломеевская ночь, Молодость короля Генриха - IX)
Автор: Террайль Понсон ДюКатегория: История
Размер книги: 102 Kb
RFID Field Guide: Deploying Radio Frequency Identification Systems
Автор: Manish Bhuptani, Автор: Shahram Moradpour
Размер книги: 5.55 Mb
Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings (Lecture Notes in Artificial Intelligence 3632)
Автор: Robert Nieuwenhuis
Размер книги: 4.94 Mb
Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings (Lecture Notes in Artificial Intelligence 2741)
Автор: Franz Baader
Размер книги: 4.62 Mb
Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings (Lecture Notes in Artificial Intelligence 2392)
Автор: Andreĭ Voronkov
Размер книги: 4.18 Mb
Automated Deduction -- CADE-23
Автор: Nikolaj Bjørner, Автор: Viorica Sofronie-Stokkermans
Размер книги: 5.18 Mb
Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000 (Lecture Notes in Artificial Intelligence 1831)
Автор: David A. McAllester
Размер книги: 4.06 Mb
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence)
Автор: Renate A. Schmidt
Размер книги: 5.81 Mb
CRC Handbook of Basic Tables for Chemical Analysis, Second Edition
Автор: Thomas J. Bruno, Автор: Paris D.N. Svoronos
Размер книги: 15.94 Mb