Frameworks for abstract interpretation
- 作者Kim Marriott
- 卷第30卷
- 期第2期
- 印刷ISSN0001-5903
- 电子ISSN1432-0525
- 文件大小1435.26KB
- 发表时间1993
- DOI10.1007/bf01178576
- 页码103-129
Antibodies reacting with the glomerular mesangiumHans Peter Seelig; Renate Seelig; Elisabeth Roth; Ernst Roth · 1975
Book ReviewsJohnson Bagby, Laurie M.; Baruchello, Giorgio; Bertolini, Joseph C.; Burke, Peter; Burke, Peter; Clark, Colin; Daykin, Jeffer; Goede, Marieke de; Forhan, Kate L.; Fry, Karin; Gardner, Hall; Gerner, Kristian; Grabowski III, Francis A.; Havers, Grant; Howley, Kevin; Jesse, Horst; Karasavvidou, Eleni; Landau, Iddo; Leimgruber, Walter; Lovell, David W.; Morpeth, Neil; Murphy, Tim; Murphy, Tim; Podoksik, Efraim; Poe, Andrew L.; Puja, Beatrice; Roth, Mia; Roth, Mia; Schalow, Frank; Scognamiglio, Carlo; Shostak, Arthur B.; Shostak, Arthur B.; Shostak, Stanley; Singer, Armand E.; Singer, Armand E.; Steinberg, Jonathan; Sutherland, Gillian; Swarts, Jonathan · The European Legacy · 2008
Zur oxydation von organozinnphosphinenHerbert Schumann; Peter Jutzi; Albrecht Roth; Peter Schwabe; Elke Schauer · 1967
EditorialVogt, Peter; Klar, Ernst; Roth, Peter; Vollmar, Brigitte · European Surgical Research · 2015
Total removal of craniopharyngiomasYaşargil, M. Gazi; Curcic, Marijan; Kis, Mirjana; Siegenthaler, Gertrud; Teddy, Peter J.; Roth, Peter · Journal of Neurosurgery · 1990
Factors Influencing Transperitoneal Calcium Balance During CAPDKURZ, PETER; ROTH, PAUL; WERNER, ECKHARD; VLACHOJANNIS, JANNIS; GRUTZMACHER, PETER · ASAIO Journal · 1992
Therapy of malignant intracranial hypertension by controlled lumbar cerebrospinal fluid drainageMünch, Elke C.; Bauhuf, Christian; Horn, Peter; Roth, Harry R.; Schmiedek, Peter; Vajkoczy, Peter · Critical Care Medicine · 2001
Supracerebellar transtentorial approach to posterior temporomedial structuresYonekawa, Yasuhiro; Imhof, Hans-Georg; Taub, Ethan; Curcic, Marijan; Kaku, Yasuhiko; Roth, Peter; Wieser, Heinz Gregor; Groscurth, Peter · Journal of Neurosurgery · 2001