- 2 402 202 книги
#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
#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
#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
#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
#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
