ID:DA00525795
Bjørner, Dines
Bjørner, D.
Search authors sharing the same name
Dines Bjørner
Springer c2021 Monographs in theoretical computer science : an EATCS series
Available at 2 libraries
Dines Bjørner, Martin C. Henson editors
Springer c2008 Monographs in theoretical computer science : an EATCS series
Available at 9 libraries
D. Bjørner
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 3
Available at 13 libraries
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 2
Available at 14 libraries
Springer c2006 Texts in theoretical computer science An EATCS series . Software engineering ; v. 1
Available at 15 libraries
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Springer c2001 Lecture notes in computer science 2244
Available at 24 libraries
Springer c2000 Lecture notes in computer science 1755
Available at 30 libraries
Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Springer-Verlag c1996 Lecture notes in computer science 1181
Available at 46 libraries
Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
Springer-Verlag c1993 Lecture notes in computer science 735
: gw , : us
Available at 59 libraries
edited by D. Bjørner, V. Kotov
North-Holland , Distributors for the United States and Canada, Elsevier Science Pub. Co. 1991
Available at 1 libraries
J. Bārzdiṇš, D. Bjørner, (eds.)
Springer-Verlag c1991 Lecture notes in computer science 502
Available at 53 libraries
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
Springer-Verlag c1990 Lecture notes in computer science 428
Available at 55 libraries
edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1988
edited by D. Bjørner ... [et al.]
Springer-Verlag c1987 Lecture notes in computer science 252
Available at 52 libraries
edited by Dines Bjørner
North-Holland Pub. Co. 1983
Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews [et al.]
Prentice-Hall International c1982 Prentice-Hall International series in computer science
edited by D. Bjørner
Springer-Verlag 1980 Lecture notes in computer science 86
Available at 50 libraries
edited by D. Bjørner and O.N. Oest
Springer-Verlag 1980 Lecture notes in computer science 98
Available at 61 libraries
edited by D. Bjørner and C.B. Jones
Springer-Verlag 1978 Lecture notes in computer science 61
