Jump to main content

yr 〜
yr

Search results 11

無保険運転者保険と不誠実原理

無保険運転者保険と不誠実原理
Paper図書
鈴木辰紀[訳]日本交通政策研究会1997.4
Other Libraries in Japan
  • Author Heading鈴木, 辰紀 O'donnell, Michael J.

Cutaneous surgery : illustrated and practical approach

Cutaneous surgery : illustrated and practical approach
Paper図書
Christopher J. Arpey, Duane C. Whitaker, Michael J. O'DonnellMcGraw-Hill, Health Professions Divisionc1997
Other Libraries in Japan
  • Author HeadingArpey, Christopher J. Whitaker, Duane C. O'Donnell, Michael J.

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings : gw : us

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings : gw : us
Paper図書
J.P. Myers, Jr., M.J. O'Donnell, edsSpringer-Verlagc1992
Other Libraries in Japan
  • Author HeadingMyers, J. P. (J. Paul) O'Donnell, Michael J.

Equational logic as a programming language

Equational logic as a programming language
Paper図書
Michael J. O'DonnellMIT Pressc1985
Other Libraries in Japan
  • Author HeadingO'Donnell, Michael J.

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds. (Lecture notes in computer science)

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8380>
National Diet Library
  • Author Heading... Paul) , 1946- O'Donnell, Michael J., 1952- Symposium on Construct...

Proceedings of the Nineteenth Annual Conference on Information Sciences and Systems : papers presented March 27, 28 and 29, 1985

Proceedings of the Nineteenth Annual Conference on Information Sciences and Systems : papers presented March 27, 28 and 29, 1985
Paper図書
program directors, Gerard G.L. Meyer, Michael O'DonnellDepartment of Electrical Engineering and Computer Science, the Johns Hopkins University[1985]
Other Libraries in Japan
  • Author HeadingConference on Information Sciences and Systems Meyer, Gerard G. L. O'Donnell, Michael J.

Computing in systems described by equations : gw : us

Computing in systems described by equations : gw : us
Paper図書
Michael J. O'DonnellSpringer-Verlag1977
Other Libraries in Japan
  • Author HeadingO'Donnell, Michael J.

A programming logic : with an introduction to the PL/CV verifier

A programming logic : with an introduction to the PL/CV verifier
Paper図書
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. JohnsonWinthrop Publishersc1978
Other Libraries in Japan
  • Author HeadingConstable, R. L. (Robert L.) O'Donnell, Michael J. Johnson, Scott D.

Computing in systems described by equations / Michael J. O'Donnell. (Lecture notes in computer science ; 58)

Computing in systems described by equations / Michael J. O'Donnell. (Lecture notes in computer science ; 58)
Paper図書
Springer-Verlag1977.<M159-68>
National Diet Library
  • Author HeadingO'Donnell, Michael J., 1952-

Reduction strategies in subtree replacement systems

Reduction strategies in subtree replacement systems
Paper図書
by Michael James O'DonnellUniversity Microfilms International1976
Other Libraries in Japan
  • Author HeadingO'Donnell, Michael J.

Toward a just and effective sentencing system : agenda for legislative reform

Toward a just and effective sentencing system : agenda for legislative reform
Paper図書
Pierce O'Donnell, Michael J. Churgin, Dennis E. Curtis ; foreword by Edward M. KennedyPraeger1977
Other Libraries in Japan

Reached to the end of result.

RSS