海量图书期刊资源,随时随地畅享阅读乐趣
Proof theory and computer programmingRuy J. G. B. de Queiroz; Thomas S. E. Maibaum · 1990
Chilaiditi's syndrome and obesityJ.M. Murphy; A. Maibaum; G. Alexander; A.K. Dixon · 2000
Abstract Data Types and Type Theory: Theories as TypesRuy J. G. B. de Queiroz; Thomas S. E. Maibaum · 1991
Bosch, K., Angewandte mathematische Statistik, Braunschweig. Vieweg & Sohn. 1976. 210 S., 41 AbbG. Maibaum · 1978
Zu einem Satz über Verteilungen quadratischer Formen in HILBERTräumenH. Langer; G. Maibaum; P. H. Müller · 1974
Five-year results of conservatively treated tears of the anterior cruciate ligamentE. Neusel; S. Maibaum; G. Rompe · 1996
Bosch, K., Elementare Einführung in die Wahrscheinlichkeitsrechnung, Braunschweig. Vieweg. 1976. X, 192 SG. Maibaum · 1978
A. Rényi, Letters on Probability, 86 S. Budapest 1972. Akadémiai Kiadó. Preis brosch. Ft 45,—G. Maibaum · 1973