Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lubeck, Germany, September 19-23, 1994 Proceedings - H. Langmaack - Paperback

Im vorliegenden Band sind die Vorträge der 19. Gießener Gynäkologischen Fortbildung 1995 niedergelegt. Sie spiegeln den aktuellen Kenntnisstand in der Frauenheilkunde und Geburtshilfe wider. Die Beiträge wurden von namhaften Vertretern der einzelnen Fachgebiete verfaßt und behandeln die folgenden Themen: Metastasierendes Mammakarzinom, Prävention der Frühgeburt, Vaginalsonographie, rezidivierende Genitalinfektionen, Grenzgebiete der Frauenheilkunde, Gynäkopsychologie, Geburtshilfe am Termin und Gynäkologie in Klinik und Praxis. Das kumulierte Inhalts- und Sachverzeichnis aller Bände seit 1981 macht die Reihe zu einem stets aktualisierten Nachschlagewerk für alle praktisch tätigen Gynäkologen.Langmaack, H. is the author of 'Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lubeck, Germany, September 19-23, 1994 Proceedings - H. Langmaack - Paperback' with ISBN 9783540584681 and ISBN 3540584684.