Primitive recursion for higher-order abstract syntax von Schürmann, Carsten, Despeyroux, Joëlle, Pfenning, Frank

Volltext

Dispositions technologiques concernant la protection parasismique des ouvrages de fondation von Souloumiac, R., Despeyroux, J.

Volltext

The El Asnam earthquake of 10 October 1980: characteristics of the main shock and lessons to be drawn for earthquake engineering von Despeyroux, J.

Volltext

Primitive recursion for higher-order abstract syntax von Despeyroux, Joëlle, Pfenning, Frank, Schürmann, Carsten

Volltext

A Higher-Order Specification of the π-Calculus von Despeyroux, Joëlle

Volltext

Analyse statique et dynamique des contreventements par consoles élémentaires solidarisées par des milieux élastiques von Despeyroux, J

Volltext

THEO - AN INTERACTIVE PROOF DEVELOPMENT SYSTEM von DESPEYROUX, J

Volltext

A Modal Lambda Calculus with Iteration and Case Constructs von Despeyroux, Joëlle, Leleu, Pierre

Volltext

An algebraic specification of a Pascal compiler von Despeyroux, Joëlle

Volltext

Séismes von Despeyroux, J

Volltext

Brief review of modern earthquake engineering von Ferry Borges, J, Despeyroux, J, Maeda, Y

Volltext

A prototype personal aerosol sampler based on electrostatic precipitation and electrowetting-on-dielectric actuation of droplets von Foat, T.G., Sellors, W.J., Walker, M.D., Rachwal, P.A., Jones, J.W., Despeyroux, D.D., Coudron, L., Munro, I., McCluskey, D.K., Tan, C.K.L., Tracey, M.C.

Volltext

Probing Molecular Interactions in Intact Antibody: Antigen Complexes, an Electrospray Time-of-Flight Mass Spectrometry Approach von Tito, Mark A., Miller, Julie, Walker, Nicola, Griffin, Kate F., Williamson, E. Diane, Despeyroux-Hill, Dominique, Titball, Richard W., Robinson, Carol V.

Volltext

Comparison of the Effects of Ionization Mechanism, Analyte Concentration, and Ion “Cool-Times” on the Internal Energies of Peptide Ions Produced by Electrospray and Atmospheric Pre... von Konn, David O., Murrell, Jason, Despeyroux, Dominique, Gaskell, Simon J.

Volltext

“Fast excitation” cid in a quadrupole ion trap mass spectrometer von Murrell, J, Despeyroux, D, Lammert, S.A, Stephenson, J.L, Goeringer, D.E

Volltext

Investigation into factors affecting precision in ion trap mass spectrometry using different scan directions and axial modulation potential amplitudes von Dobson, G., Murrell, J., Despeyroux, D., Wind, F., Tabet, J.-C.

Volltext

Fragmentation and reactions of organophosphate ions produced by electrospray ionization von Bell, A.J., Despeyroux, D., Murrell, J., Watts, P.

Volltext

Influence on mass-selective ion ejection of the phase difference between the drive r.f. and the axial modulation potentials von Dobson, G., Murrell, J., Despeyroux, D., Wind, F., Tabet, J.-C.

Volltext

Investigations into the use of a reverse scan in a quadrupole ion trap mass spectrometer von Dobson, G., Murrell, J., Despeyroux, D., Wind, F., Tabet, J.-C.

Volltext

Percutaneous catheterization of the long bones: experimental study von Sans, Nicolas, Estivalezes, Erik, Swider, Pascal, Despeyroux, Marie-Line, Loustau, Olivier, Galy, Denise, Chiavassa, Hélène, Railhac, Jean-Jacques

Volltext