E-LIB Suche - Ergebnisse für: Bredt, Thomas H.

1

Verification of a monitor specification:

, In: Proceedings of the 2nd international conference on Software engineering,

Saxena, Ashok R. ; Bredt, Thomas H. - p. 53-59 , 1976

Link: https://dl.acm.org/doi/1..

2

Design and verification of real-time systems:

, In: Proceedings of the 2nd international conference on Software engineering,

Phillips, Jorge V. ; Bredt, Thomas H. - p. 124-131 , 1976

Link: https://dl.acm.org/doi/1..

3

A structured specification of a hierarchical operating syst..:

Saxena, Ashok R. ; Bredt, Thomas H.
ACM SIGPLAN Notices. 10 (1975) 6 - p. 310-318 , 1975

Link: https://doi.org/10.1145/..

4

A structured specification of a hierarchical operating syst..:

, In: Proceedings of the international conference on Reliable software,

Saxena, Ashok R. ; Bredt, Thomas H. - p. 310-318 , 1975

Link: https://dl.acm.org/doi/1..

5

Error resynchronization in producer-consumer systems:

, In: Proceedings of the fifth ACM symposium on Operating systems principles,

Russell, David L. ; Bredt, Thomas H. - p. 106-113 , 1975

Link: https://dl.acm.org/doi/1..

6

Error resynchronization in producer-consumer systems:

Russell, David L. ; Bredt, Thomas H.
ACM SIGOPS Operating Systems Review. 9 (1975) 5 - p. 106-113 , 1975

Link: https://doi.org/10.1145/..

7

A computer model of transformational grammar

Mathematical linguistics and automatic language processing ; 9

Friedman, Joyce ; Bredt, Thomas H. , 1971

Copies: Zentrale:Magazin 03.h.8979

8

Proceedings of the third ACM symposium on Operating systems..:

McCluskey, Edward J. ; Fortis, Nicholas A. ; Lampson, Butler. , 1971

Link: https://dl.acm.org/doi/1..

9

A computer model of information processing in children:

Bredt, Thomas H.
Mathematical Biosciences. 5 (1969) 1-2 - p. 155-193 , 1969

Link: https://doi.org/10.1016/..

10

Localization of Nitric Oxide Synthase in the Reproductive O..:

Burnett, Arthur L. ; Ricker, Deborah D. ; Chamness, Shelly L....
Biology of Reproduction. 52 (1995) 1 - p. 1-7 , 1995

Link: https://doi.org/10.1095/..

11

Nitric Oxide: A Physiologic Mediator of Penile Erection:

Burnett, Arthur L. ; Lowenstein, Charles J. ; Bredt, David S...
Science. 257 (1992) 5068 - p. 401-403 , 1992

Link: https://doi.org/10.1126/..

12

Nitric Oxide: A Physiologic Mediator of Penile Erection:

Burnett, Arthur L. ; Lowenstein, Charles J. ; Bredt, David S...
Science. 257 (1992) 5068 - p. 401-403 , 1992

Link: https://www.jstor.org/st..

13

Thermodiffusion for Continuous Quantification of Hepatic Mi..:

Klar, Ernst ; Kraus, Thomas ; Bleyl, Jörg...
Microvascular Research. 58 (1999) 2 - p. 156-166 , 1999

Link: https://doi.org/10.1006/..

14

NASA's Controlled Ecological Life Support Systems (CELSS) P..:

Bredt, James H.
HortScience. 23 (1988) 2 - p. 274 , 1988

Link: https://doi.org/10.21273..

15

Proceedings of the 5th annual symposium on Computer archite..:

McCluskey, Edward J. ; Wakerly, John ; Crockett, E. David... , 1978

Link: https://dl.acm.org/doi/1..