2

Electrooptic prepulse suppression for fusion laser systems

Year:
1980
Language:
english
File:
PDF, 278 KB
english, 1980
3

Active-passive mode-locked oscillator generating nanosecond pulses

Year:
1981
Language:
english
File:
PDF, 261 KB
english, 1981
4

E3: A logic for reasoning equationally in the presence of partiality

Year:
1999
Language:
english
File:
PDF, 1.16 MB
english, 1999
7

Partiality and Nondeterminacy in Program Proofs

Year:
1998
Language:
english
File:
PDF, 144 KB
english, 1998
8

A theory of bunches

Year:
2001
Language:
english
File:
PDF, 146 KB
english, 2001
9

A source of inconsistency in theories of nondeterministic functions

Year:
2002
Language:
english
File:
PDF, 105 KB
english, 2002
16

Reproducible active-passive mode-locked oscillators

Year:
1977
Language:
english
File:
PDF, 406 KB
english, 1977
17

Performance of the ZETA laser system

Year:
1979
Language:
english
File:
PDF, 244 KB
english, 1979
18

Fast Coaxial Flashlamp Pumped Liquid Dye Laser for Photolysis

Year:
1972
Language:
english
File:
PDF, 491 KB
english, 1972
19

Active-passive mode-locked oscillators at 1.054 μm

Year:
1978
Language:
english
File:
PDF, 504 KB
english, 1978
20

An 11 Megawatt 6.8 Joule Flashlamp Pumped Coaxial Liquid Dye Laser

Year:
1972
Language:
english
File:
PDF, 360 KB
english, 1972
26

Term transformers

Year:
2009
Language:
english
File:
PDF, 800 KB
english, 2009
27

Specificational functions

Year:
1999
Language:
english
File:
PDF, 290 KB
english, 1999