2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Cliff B. Jones
,
Zhiming Liu
,
Jim Woodcock
7.82 Mb
#2
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)
Dines Bjorner
Категория:
Компьютеры
10.37 Mb
#3
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Dines Bjorner
Категория:
Компьютеры
39.85 Mb
#4
Oriented Matroids, Second edition (Encyclopedia of Mathematics and its Applications)
Anders Bjorner
,
Michel Las Vergnas
,
Bernd Sturmfels
,
Neil White
,
Gunter M. Ziegler
Категория:
Математика
5.46 Mb
#5
Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)
Anders Bjorner
,
Francesco Brenti
,
Категория:
Математика
4.37 Mb
#6
Combinatorics of Coxeter groups
Bjorner A.
,
Brenti F.
Категория:
M_Mathematics
,
MA_Algebra
,
MAtg_Group theory
2.19 Mb
#7
Oriented matroids
Bjorner
,
Las Vergnas
,
Sturmfels
,
White
,
Ziegler.
Категория:
M_Mathematics
,
MA_Algebra
,
MAc_Combinatorics
4.68 Mb
#8
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Dines Bjorner
,
Martin C. Henson
5.36 Mb
#9
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Cliff B. Jones
,
Zhiming Liu
,
Jim Woodcock
5.37 Mb
#10
Bjorner, Las Vergnas, Sturmfels, White, Ziegler. Oriented matroids (Enc.Math.Appl., 2ed., CUP, 1999)(L)(T)(ISBN 052177750X)(281s).djvu
5.11 Mb
#11
Bjorner, Las Vergnas, Sturmfels, White, Ziegler. Oriented matroids (Enc.Math.Appl., 2ed., CUP, 1999)(L)(T)(281s).djvu
5.00 Mb
#12
Bjorner A., Stanley R.P. Combinatorial miscellany (CUP draft, 2004)(91s).pdf
375 Kb
#13
Combinatorial miscellany
Bjorner A.
,
Stanley R.P.
Категория:
Mathematics
,
Algebra
,
Combinatorics
375 Kb
#14
Combinatorics of Coxeter Groups
Anders Bjorner
,
Francesco Brenti
Категория:
Mathematics
,
Algebra
,
Group theory
2.08 Mb
#15
Baltic Computer Science
Janis Barzdins
,
Dines Bjorner
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.05 Mb
#16
The Vienna development method: the Meta-langauge
D. Bjorner
,
C.B. Jones
Категория:
'Informatique.'
,
'Langages de programmation.'
14.97 Mb
#17
The Vienna Development Method.. The Meta-Language
D. Bjorner
,
C.B. Jones
Категория:
CsLn_
1.81 Mb
#18
Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)
Anders Bjorner
,
Francesco Brenti
Категория:
Science
,
Mathematics
4.41 Mb
#19
Elements of Microcomputer Interfacing
Dines Bjorner
,
C.A.R. Hoare
,
Hans Langmaack
4.14 Mb
#20
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Dines Bjorner
,
Manfred Broy
,
Igor V. Pottosin
3.88 Mb
#21
Combinatorics of Coxeter Groups
Anders Bjorner
,
Francesco Brenti
3.09 Mb
#22
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Dines Bjorner
,
Manfred Broy
,
Igor V. Pottosin
3.86 Mb
#23
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ...
Dines Bjorner
,
Manfred Broy
,
Alexandre V. Zamulin
9.42 Mb
#24
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers
Dines Bjorner
,
Manfred Broy
,
Alexandre Zamulin
5.59 Mb