- 2 402 202 книги
- Поиск
libcats.org
Logics of time and computation
Robert GoldblattSets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1
Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
NeHe's OpenGL Tutorials
Автор: Molofee Jeff, Автор: Stanis Tom, Автор: Brits Lionel, Автор: Bosco, Автор: Aliotta Christopher, Автор: D'Agata Giuseppe, Автор: Schmick GB, Автор: Schneider Jens, Автор: Cieslak Piotr, Автор: Cosmin Banu, Автор: Porter Brett, Автор: Nikdel David, Автор: Löffler Andreas, Автор: Fletcher Rob, Автор: Christopoulos Dimitrios, Автор: Pipho Evan, Автор: Humphrey Ben, Автор: CorКатегория: Программирование
Размер книги: 1.63 Mb
Analytic combinatorics (draft August 2008)
Автор: Philippe Flajolet, Автор: Robert SedgewickКатегория: Combinatorics
Размер книги: 8.57 Mb
Reactive polymers fundamentals and applications: a concise guide to industrial polymers
Автор: Johannes Karl Fink
Размер книги: 6.60 Mb
Россия и ее выбор. Часть четвертая. Экономика
Автор: Чуксин Николай ЯковлевичКатегория: Научная литература
Размер книги: 18 Kb
How to Play Popular Piano in 10 Easy Lessons: The Fastest, Easiest Way to Learn to Play from Sheet Music or by Ear
Автор: Norman MonathКатегория: Образование
Размер книги: 2.88 Mb
Apoptosis in Health and Disease: Clinical and Therapeutic Aspects
Автор: Martin Holcik, Автор: Eric C. LaCasse, Автор: Alex E. MacKenzie, Автор: Robert G. Korneluk
Размер книги: 6.33 Mb
Nationalism and the Reshaping of Urban Communities in Europe, 1848-1914
Автор: William Whyte, Автор: Oliver Zimmer
Размер книги: 2.50 Mb