- 2 402 202 книги
- Поиск
libcats.org
Fork Algebras in Algebra, Logic and Computer Science
Marcelo Fabian FriasGives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Covers all the essentials in order to provide the reader with a better understanding.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
C++ gotchas: avoiding common problems in coding and design
Автор: Stephen C. Dewhurst
Размер книги: 717 Kb
Кулонометрический метод анализа
Автор: АгасянКатегория: Химия, Физико-химические методы
Размер книги: 8.50 Mb
Станки по металлу и работа на них. Сверлильные, поперечно- и продольно-строгальные, фрезерные, шлифовальные и зуборезные станки. (Machine Tool Operation) . Переработанный и дополненный
Автор: Бэргард Генри Д., Автор: Перевод с 7-го американского издания Н.С.Ачеркана Под редакцией И.М.Холмогорова. Издание третье.
Размер книги: 18.20 Mb
Yearbook on Space Policy 2009 2010: Space for Society
Автор: Kai-Uwe Schrogl, Автор: Spyros Pagkratis, Автор: Blandina Baranes
Размер книги: 2.43 Mb