Refine Your Search
Book List
242
-
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 :
-
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 :
-
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 :
-
Fluorescence spectroscopy, imaging, and probes : new tools in chemical, physical, and life sciences / Ruud Kraayenhof, Antonie J.W.G. Visser, Hans C. Gerritsen (eds.).
- 543.08584 C74815
- Conference on Methods and Applications of Fluorescence: Spectroscopy, Imaging, and Probes (7th : 2001 : Amsterdam, Netherlands)
- Springer,
- c2002.
- Berlin ; New York :
-
Programming and mathematical method / edited by Manfred Broy.
- 005.1015113 P96468
- Springer-Verlag,
- c1992.
- Berlin ; New York :
-
Cognitive modelling and interactive environments in language learning / edited by Frits L. Engel ... [et al.].
- 418.0071 C6767
- Springer-Verlag,
- c1992.
- Berlin ; New York :
-
Quantum mechanics / Franz Schwabl ; translated by Ronald Kates.
- 530.12 S3985 2002
- Schwabl, Franz, 1938-
- Springer,
- c2002.
- Berlin ; New York :
-
Drug discovery and evaluation : pharmacological assays / H. Gerhard Vogel (ed.).
- 615/.7
- Springer,
- c2002.
- Berlin ; New York :
-
Technology education in school and industry : emerging didactics for human resource development / edited by Dietrich Blandow, Michael J. Dyrenfurth.
- 607.1
- Springer-Verlag,
- c1994.
- Berlin ; New York :