Refine Your Search
Book List
5
-
Program design calculi / edited by Manfred Broy.
- 004.21 P96452
- Springer,
- c1993.
- 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 :
-
Machine learning, ECML-93 : European Conference on Machine Learning, Vienna, Australia, April 5-7, 1993 : proceedings / Pavel B. Brazdil, ed.
- 006.31 E8933
- European Conference on Machine Learning (1993 : Vienna, Austria)
- Springer-Verlag,
- c1993.
- Berlin ; New York :
-
Recent geodetic and gravimetric research in Latin America : symposium no. 111, Vienna, Austria, August 13, 1991 / convened and edited by Wolfgang Torge, Alvaro Gonzalez Fletcher, James G. Tanner.
- 526.1098 R2952
- Springer-Verlag,
- c1993.
- Berlin ; New York :
-
Intelligent systems : safety, reliability, and maintainability issues / edited by Okyay Kaynak, Ger Honderd, Edward Grant.
- 006.3 I61135
- Springer-Verlag,
- c1993.
- Berlin ; New York :