カーリルで「author:Owicki, S. S.」を検索

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Program Construction: International Summer School (Lecture Notes in Computer Science, 69)

Owicki, S. S.／Griffiths, M.／Horning, J. J.／Partsch, H.／Dijkstra, E. W.

Proceedings of systems and technologies for clinical diagnostics and drug discover II : 24-25 January 1999, San Jose, California

Gerald E. Cohn, John C. Owicki, chairs/editors ; sponsored by SPIE--The International Society for Optical Engineerings, IBOS--International Biomedical Optics Society

Axiomatic proof techniques for parallel programs

Susan Speer Owicki