2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)
Lubos Brim
,
Boudewijn Haverkort
,
Martin Leucker
,
Jaco van de Pol
Категория:
Техника
3.48 Mb
#2
Taschenatlas Notfall und Rettungsmedizin: Kompendium für den Notarzt 3. Auflage
W. Dick
,
J. Bengel
,
M. Böhmer
,
P. Hartwig
,
J. Helmerichs
,
T. Hess
,
H. Loup
,
E. Lubos
,
Thomas Schneid
4.63 Mb
#3
Mathematical Foundations of Computer Science 1998, 23 conf., MFCS'98
Lubos Brim
,
Josef Gruska
,
Jiri Zlatuska
Категория:
Cs_Computer science
,
CsLn_Lecture notes
11.70 Mb
#4
CONCUR 2002 - Concurrency Theory, 13 conf
Lubos Brim
,
Petr Jancar
,
Mojmir Kretinsky
,
Antonin Kucera
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.76 Mb
#5
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th
Lubos Brim
,
Boudewijn Haverkort
5.06 Mb