Refine Your Search
Book List
392
-
Gmelin Handbuch der anorganischen Chemie : Ergänzungswerk zur achten Auflage = Gmelin handbook of inorganic chemistry : new supplement series. Borverbindungen.
- 546.671 G569 1974
- Springer-Verlag,
- Berlin ; Heidelberg ; New York :
-
Computational mathematical programming / edited by Klaus Schittkowski.
- 519.7 N86411
- NATO Advanced Study Institute on Computational Mathematical Programming (1984 : Bad Windsheim, Germany),
- Springer-Verlag,
- Berlin :
-
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 :
-
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 :
-
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 :
-
Neural computers / Rolf Eckmiller, Christoph v.d. Malsburg (Eds.).
- 006.3 N1111
- NATO Advanced Research Workshop on Neural Computers (1987 : Neuss, Germany)
- Springer-Verlag,
- c1989.
- Berlin ; New York :
-
Recent advances in speech understanding and dialog systems / edited by H. Niemann, M. Lang, G. Sagerer.
- 006.454 N1111
- NATO Advanced Study Institute on Recent Advances in Speech Understanding and Dialog Systems (1987 : Bad Windsheim, Germany)
- Springer-Verlag,
- c1988.
- Berlin ; New York :
-
Image Sequence Processing and Dynamic Scene Analysis / Edited by T.S. Huang.
- 621.367
- Huang, T.S.
- Springer-Verlag,
- 1983.
- Berlin :