2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)
Автор:
Jorg Flum
, Автор:
Erich Gradel
, Автор:
Thomas Wilke
Категория:
История
Размер книги: 4.27 Mb
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Автор:
Erich Gradel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Ve
Категория:
Компьютеры
Размер книги: 4.01 Mb
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)
Автор:
Erich Gradel
, Автор:
Reinhard Kahle
Категория:
Компьютеры
Размер книги: 6.58 Mb
Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)
Автор:
Jorg Flum
, Автор:
Erich Gradel
, Автор:
Thomas Wilke
Категория:
История
Размер книги: 4.26 Mb
Logic and automata: History and perspectives
Автор:
Jorg Flum
, Автор:
Erich Gradel
, Автор:
Thomas Wilke
Категория:
Algorithms
Размер книги: 4.25 Mb