BA OPAC

Book List

Results: 508103

Keywords : NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany) X

Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Call Number: 005.131 N1111
- Author: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany)
- publisher: Springer-Verlag,
- Publication Year: c1987.
- Place of Publication: Berlin ; New York :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Program design calculi / edited by Manfred Broy.
- Call Number: 004.21 P96452
- publisher: Springer,
- Publication Year: c1993.
- Place of Publication: Berlin ; New York :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Engineering digital design [electronic resource] / by Richard F. Tinder.
- Call Number: 621.395
- Author: Tinder, Richard F., 1930-
- publisher: Academic Press,
- Publication Year: c2000.
- Place of Publication: San Diego :
No Items available.

The Record Is InYour Cart X
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
- Call Number: 004.0151 N1111
- Author: NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany)
- publisher: Springer-Verlag,
- Publication Year: c1993.
- Place of Publication: Berlin ; New York :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] / edited by Friedrich L. Bauer.
- Call Number: 005.1 L8322
- publisher: Springer-Verlag,
- Publication Year: c1991.
- Place of Publication: Berlin ; New York :
2 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Control flow and data flow : concepts of distributed programming : international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare / edited by Manfred Broy.
- Call Number: 004.36 N1111
- Author: NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming (1984 : Marktoberdorf, Germany)
- publisher: Springer-Verlag,
- Publication Year: c1986.
- Place of Publication: Berlin ; New York :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Proof and computation / edited by Helmut Schwichtenberg.
- Call Number: 004.015113 P9653
- publisher: Springer,
- Publication Year: c1995.
- Place of Publication: Berlin :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Research design and methods : a process approach / Kenneth S. Bordens, Bruce B. Abbott.
- Call Number: 150.72 B728 2011
- Author: Bordens, Kenneth S.,
- publisher: McGraw-Hill,
- Publication Year: [2011] ©2011
- Place of Publication: New York :
1 Item(s) Available.
ML : F2 - Research Methodology

The Record Is InYour Cart X
Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- Call Number: 004 N1111c
- Author: NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 : Marktoberdorf, Germany)
- publisher: Springer-Verlag,
- Publication Year: c1989.
- Place of Publication: Berlin ; New York :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Deutschlandspiegel [videorecording].
- Call Number: 943
- publisher: Cinecentrum, Studio Hamburg,
- Publication Year: 199?]
- Place of Publication: [Bonn :
64 Item(s) Available.
ML : B3 - Arts & Mm/AVM

The Record Is InYour Cart X

Refine Your Search

Book List