Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

libcats.org

Главная →

Dines Bjorner, Martin C. Henson

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.

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

Каникулы

Бредбери Рэй

13 Kb

Изделие 2А42. Инструкция по эксплуатации. 2А42.00.000 Инструкция по эксплуатации

Категория: Военная техника

3.41 Mb

Физиология человека

Косицкий

Категория: Медицина, Физиология

85.34 Mb

Как программировать на C

Х. М. Дейтел, П. Дж. Дейтел

Категория: computers, computers, prog

53.40 Mb

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport

57.35 Mb

Мануальная Терапия живота

Башняк

Категория: 1641060-Мануальная терапия

29.85 Mb

Цвет. Энциклопедия. Советы по цветовому оформлению интерьера вашего дома

Анна Стармер

Категория: домоводство, досуг, Строительство и ремонт, дизайн помещений

19.58 Mb

Фаллос. Священный мужской образ

Юджин Моник

Категория: НАУЧНО-ПОПУЛЯРНОЕ, ЧЕЛОВЕК

3.37 Mb

Знаки и символы. Энциклопедия

Жорж Жан

Категория: НАУЧНО-ПОПУЛЯРНОЕ

46.50 Mb

#10

Твои друзья и помощники

Валентинов А.А.

Категория: ХОББИ и РЕМЕСЛА

3.01 Mb

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

Анализ проблемы любви: этимологический, историко-культурный, аксиологический

Левова И. Ю., Пашнина Л. А.

Категория: Психология

40 Kb

Ю.Г.Веснин, Н.В.Анисимов. Справочник по транзисторным радиоприемникам радиолам и магнитофонам (1973, djvu)

10.14 Mb

Прикладная теория цифровых автоматов

Савельев А.Я.

1.42 Mb

Историа корабля

Боголюбов Н.

Категория: История

27.07 Mb

Люди молчаливого подвига

И. Василевич

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

22.79 Mb

Радиостанции германском армии: Справочник

Ред. А.А.Попов

Категория: АППАРАТУРА

2.64 Mb

Определитель растений юга Красноярского края

М. И. Веглянова, Е. М. Васильева, Л. И. Кашина, В. Г. Кольцова, И. Ю. Коропачин- ский, И. М. Красноборов, Т. К. Некошнова, В. А. Смирнова, В. Л. Черепнин, Е. М. Юдин

Категория: Биология, Ботаника, Растения, лишайники

28.54 Mb

Ценностные основания индивидуального бытия: Опыт экзистенциальной аксиологии

Баева Л.В.

Категория: Философия

1.11 Mb

Методологические проблемы когнитивной лингвистики : [Сборник]

[Науч. ред. - И.А. Стернин];Стернин, Иосиф Абрамович;ред.

Категория: Языкознание, Лингвистика

1.01 Mb

#10

Маяк современнаго просвещенiя образованности

11.99 Mb