2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
The Specification of Computer Programs (International Computer Science Series)
Thomas S. E. Maibaum
,
Wladyslaw M. Turski
Категория:
Компьютеры
2.27 Mb
#2
Handbook of Logic in Computer Science 5
S. Abramsky
,
Dov. M. Gabbay
,
T. S. E. Maibaum
Категория:
Компьютеры
24.82 Mb
#3
Handbook of Logic in Computer Science 5
S. Abramsky
,
Dov. M. Gabbay
,
T. S. E. Maibaum
Категория:
Компьютеры
24.82 Mb
#4
The Specification of Computer Programs
Maibaum T.S.E.
,
Turski W.M.
Категория:
Cs_Computer science
,
CsPl_Programming languages
2.23 Mb
#5
Teoria de probabilidades y estadística matemática
Gert Maibaum
8.45 Mb
#6
Handbook of logic in computer science
S. Abramsky
,
Dov. M. Gabbay
,
T. S. E. Maibaum
Категория:
Mathematical logic
2.64 Mb
#7
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development
S. Abramsky
,
T.S.E. Maibaum
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.22 Mb
#8
Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002
Bernhard K. Aichernig
,
Tom Maibaum
Категория:
CsLn_
3.45 Mb
#9
Handbook of Logic in Computer Science 5
S. Abramsky
,
Dov. M. Gabbay
,
T. S. E. Maibaum
Категория:
Computer Science
,
Computer Science
27.86 Mb
#10
Therapielexikon der Sportmedizin: Behandlung von Verletzungen des Bewegungsapparates
Stephan Maibaum
,
Markus Braun
,
Bernd Jagomast
,
Karel Kucera
,
S. Bau
,
S. Graf
,
S. Kehl
,
C. Metzelder
,
C. Wörns
3.10 Mb
#11
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and ...
Tom Maibaum
4.83 Mb