Refine Your Search
Book List
13
-
Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] / edited by Friedrich L. Bauer.
- 005.1 L8322
- Springer-Verlag,
- c1991.
- Berlin ; New York :
-
User-centred requirements for software engineering environments / edited by David J. Gilmore, Russel L. Winder, Françoise Détienne .
- 005.1 N1111u
- NATO Advanced Research Workshop on User-Centred Requirements for Software Engineering Environments d (1991 : c Bonas, France)
- Springer-Verlag,
- 1994.
- Berlin :
-
Long term preservation of digital documents / Uwe Borghoff ... [et al.].
- 025.840285 B7329
- Springer-Verlag,
- c2005.
- Berlin ; New York :
-
Supercomputing / edited by Janusz S. Kowalik.
- 004.11 N2791
- NATO Advanced Research Workshop on Supercomputing (1989 : Trondheim, Norway)
- Springer-Verlag,
- c1989.
- Berlin ; New York :
-
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
- 004.0151 N1111
- NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1993.
- Berlin ; New York :
-
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.
- 004.36 N1111
- NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming (1984 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1986.
- Berlin ; New York :
-
Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- 004 N1111c
- NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1989.
- Berlin ; New York :
-
Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- 005.131 N1111
- NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1987.
- Berlin ; New York :
-
Programming and mathematical method / edited by Manfred Broy.
- 005.1015113 P96468
- Springer-Verlag,
- c1992.
- Berlin ; New York :
-
Logics and models of concurrent systems / edited by Krzysztof R. Apt.
- 004.36 N1111l
- NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup, France)
- Springer-Verlag,
- c1985.
- Berlin ; New York :