ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings von Krieg-Brückner, Bernd

Volltext

Hand surgery in the rheumatic hand-novel and established aspects von Krieg, B, Mascharka, Z, Maderbacher, G, Baier, C, Grifka, J, Greimel, F

Volltext

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System von Hoffmann, Berthold, Krieg-Brückner, Bernd

Volltext

Investigating Durability and Outcomes of INSPIRIS RESILIA Aortic Valve Replacement Up To 24 Months: A Single Centre Registry Review von Szpytma, M., Baker, R., Hamson, R., Krieg, B., Rice, G., Bennetts, J.

Volltext

Utility Of New Bioprosthetic MITRIS RESILIA Mitral Valve: A Single Centre Experience and Preliminary Outcomes up to 12 Months von Szpytma, M., Hamson, R., Krieg, B., Newland, R., Rice, G., Baker, R., Bennetts, J.

Volltext

M10 Disparities in Sternal Wound Infection After Cardiac Surgery Between Indigenous and non-Indigenous Australians von Nellipudi, J., Baker, R., Newland, R., Krieg, B., Bennetts, J.

Volltext

ANNA A Language for Annotating Ada Programs von Luckham, David C, Henke, Friedrich W. von, Krieg-Brückner, Bernd, Owe, Olaf

Volltext

The Munich Project CIP von Brauer, F. L, Berghammer, R, Dosch, W, Gnatz, R, Hangel, E, Möller, B, Partsch, H, Pepper, P, Samelson, K, Wössner, H, Broy, M, Nickl, F, Wirsing, M, Geiselbrechtinger, F, Hesse, W, Krieg-Brückner, B, Laut, A, Matzner, T

Volltext

California’s “5 a Day—for Better Health!” Campaign: An Innovative Population-Based Effort to Effect Large-Scale Dietary Change von Foerster, Susan B., Kizer, Kenneth W., DiSogra, Lorelei K., Bal, Dileep G., Krieg, Brian F., Bunch, Karen L.

Volltext

The Reliability of Self-Reported Menarcheal Timing von Smolak, Linda, Krieg, Dana B., Hayward, Chris, Shisslak, Catherine M., Taylor, C. Barr

Volltext

Handchirurgie an der Rheumahand – Neues und Bewährtes von Krieg, B., Mascharka, Z., Maderbacher, G., Baier, C., Grifka, J., Greimel, F.

Volltext

Ring recognition in the HADES second-level trigger von Lehnert, J., Becker, R., Fröhlich, I., Krieg, B., Kühn, W., Lichtblau, C., Lins, E., Petri, M., Pleier, M.-A., Ritman, J., Salz, C., Traxler, M.

Volltext

Static semantic analysis and theorem proving for CASL von Mossakowski, Till, Kolyang, Krieg-Brückner, Bernd

Volltext

The Enculturation Experience of Roma Refugees: A Canadian Perspective von Walsh, Christine A., Este, Dave, Krieg, Brigette

Volltext

CASL: the Common Algebraic Specification Language von Astesiano, Egidio, Bidoit, Michel, Kirchner, Hélène, Krieg-Brückner, Bernd, Mosses, Peter D., Sannella, Donald, Tarlecki, Andrzej

Volltext

Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials von Mandel, C., Luth, T., Laue, T., Rofer, T., Graser, A., Krieg-Bruckner, B.

Volltext

Breath-by-breath measurements for the analysis of exogenous glucose oxidation during intense endurance exercise using [13C]-isotopes von RÖCKER, K, KRIEG, B, NIESS, A, DICKHUTH, H.-H

Volltext

UniForM Perspectives for Formal Methods von Krieg-Brückner, Bernd

Volltext

The UniForM Workbench, a Universal Development Environment for Formal Methods von Krieg-Brückner, Bernd, Peleska, Jan, Olderog, Ernst-Rüdiger, Baer, Alexander

Volltext

Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers von Freksa, Christian, Knauff, Markus, Krieg-Brückner, Bernd, Nebel, Bernhard, Barkowsky, Thomas

Volltext