Distilling Programs to Prove Termination von Hamilton, G.W.

Volltext

Distilling Programs for Verification von Hamilton, G.W.

Volltext

Poitín: Distilling Theorems From Conjectures von Hamilton, G.W.

Volltext

Usage Counting Analysis for Lazy Functional Languages von Hamilton, G.W.

Volltext

A small, octopole-stabilized tandem mirror reactor von Devoto, R.S, Baldwin, D.E, Hooper, E.B, Logan, B.G, Hamilton, G.W, Johnston, B.M

Volltext

A 225-MW neutral injection system for a mirror fusion-fission hybrid reactor von Fink, J.H, Barr, W.L, Hamilton, G.W

Volltext

A Denotational Semantics for the ∏-Calculus von B. Aziz, G.W. Hamilton

Volltext

Physics and applications of charged particle beam sources von Hamilton, G.W., Bacal, M.

Volltext

Declassification: transforming Java programs to remove intermediate classes von Power, B., Hamilton, G.W.

Volltext bestellen

Left ventricular thrombi: In vivo detection by indium-111 platelet imaging and two dimensional echocardiography von Stratton, John R., Ritchie, James L., Hamilton, Glen W., Hammermeister, Karl E., Harker, Laurence A.

Volltext

Ionization of 200–300-keV hydrogen and deuterium atomic beams by a carbon arc von Hamilton, G.W.

Volltext

Detection of left ventricular thrombi with radionuclide angiography von Stratton, John R., Ritchie, James L., Hammermeister, Karl E., Kennedy, J.Ward, Hamilton, Glen W.

Volltext

The laser rangefinder von Hamilton, G.W., Fowler, A.L.

Volltext

Detection of left ventricular thrombi by radio-nuclide angiography von Stratton, J.R., Ritchie, J.L., Hammermeister, K.E., Kennedy, J.W., Hamilton, G.W.

Volltext

Thallium-201 myocardial imaging before and after coronary revascularization: assessment of regional myocardial blood flow and graft patency von Ritchie, J L, Narahara, K A, Trobaugh, G B, Williams, D L, Hamilton, G W

Volltext

Does fertilizer/pesticide use on a golf course put water resources in peril? von Watschke T.L, Harrison S, Hamilton G.W

Volltext

Experimental results from a beam direct converter at 100 kV von Barr, W. L., Moir, R. W., Hamilton, G. W.

Volltext

Numerical Model of an Ion‐Cyclotron Wave Experiment von Hamilton, Gordon W.

Volltext

Multimomentum 650 mA ion source von Hamilton, G.W., Hilton, J.L., Luce, J.S.

Volltext

High Current Density 600 keV Multimomentum Accelerator von Hilton, J. L., Hamilton, G. W.

Volltext