yr 〜
yr

Search results 48

Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan (Technical report series ; NASA/IVV-97-010)

Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan (Technical report series ; NASA/IVV-97-010)
Microform図書
1997<YCA-NAS 1.26:207040>
National Diet Library
  • Author HeadingEasterbrook, Steve Callahan, John United States. National Aeron...

High-performance, reliable multicasting [microform] : foundations for future Internet groupware applications / John Callahan, Todd Montgomery, and Brian Whetten

High-performance, reliable multicasting [microform] : foundations for future Internet groupware applications / John Callahan, Todd Montgomery, and Brian Whetten
Microform図書
1997<YCA-NAS 1.26:207039>
National Diet Library
  • Author HeadingCallahan, John Montgomery, Todd Whetten, Bri...

Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano (Technical report series)

Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano (Technical report series)
Microform図書
1997<YCA-NAS 1.26:207032>
National Diet Library
  • Author HeadingWen, Wu Callahan, John Napolitano, Marcello United S...

Software project management and measurement on the World-Wide-Web (WWW) [microform] / by John Callahan and Sudhakar Ramakrishnan ([NASA contractor report] ; NASA-CR-203074) (Technical report series)

Software project management and measurement on the World-Wide-Web (WWW) [microform] / by John Callahan and Sudhakar Ramakrishnan ([NASA contractor report] ; NASA-CR-203074) (Technical report series)
Microform図書
1996<YCA-NAS 1.26:203074>
National Diet Library
  • Author HeadingCallahan, John Ramakrishnan, Sudhakar United...

Verification and validation of KBS with neural network components [microform] / by Wu Wen and John Callahan ([NASA contractor report] ; NASA-CR-203076) (Technical report series)

Verification and validation of KBS with neural network components [microform] / by Wu Wen and John Callahan ([NASA contractor report] ; NASA-CR-203076) (Technical report series)
Microform図書
1996<YCA-NAS 1.26:203076>
National Diet Library
  • Author HeadingWen, Wu Callahan, John United States. National Aeron...

Juneteenth : a novel : Vintage international trade pbk 1st Vintage international ed

Juneteenth : a novel : Vintage international trade pbk 1st Vintage international ed
Paper図書
Ralph Ellison ; edited by John F. Callahan ; preface by Charles JohnsonVintage2021, c1999
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F. Johnson, Charles Richard

Juneteenth : [pbk.]

Juneteenth : [pbk.]
Paper図書
Ralph Ellison ; with an introduction by John F. CallahanPenguin Classics/Penguin2016, c1999
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F.

Flying home ; and other stories : [pbk.]

Flying home ; and other stories : [pbk.]
Paper図書
Ralph Ellison ; with an introduction by John F. CallahanPenguin Classics/Penguin2016, c1996
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F.

The selected letters of Ralph Ellison : hardback

The selected letters of Ralph Ellison : hardback
Paper図書
edited by John F. Callahan and Marc C. Conner ; with introductory essays by John F. CallahanRandom Housec2019
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F. Conner, Marc C.

Real-time and retrospective analysis of U.S. Navy submarine atmospheres SAE-1999-01-2057

Real-time and retrospective analysis of U.S. Navy submarine atmospheres SAE-1999-01-2057
Paper規格・テクニカルリポート類
Callahan, John H, Wyatt, Jeffrey R1999<M-SAE-1999-01-2057>
National Diet Library

Walking on water

Walking on water
Paper図書
Andy Martin ; photographs by John CallahanJ. Murray1991
Other Libraries in Japan
  • Author HeadingMartin, Andrew Callahan, John

Flying home and other stories : pbk 2nd ed

Flying home and other stories : pbk 2nd ed
Paper図書
Ralph Ellison ; edited and with an introduction by John F. CallahanVintage Books2012
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F.

Sampling of submarine atmospheres SAE-951656

Sampling of submarine atmospheres SAE-951656
Paper規格・テクニカルリポート類
Wyatt, Jeffrey R, Callahan, John H, Daley, Thomas J1995<M-SAE-951656>
National Diet Library

Three days before the shooting-- 1st ed.

Three days before the shooting-- 1st ed.
Paper図書
Ralph Ellison ; edited by John F. Callahan and Adam BradleyModern Library2010
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F. Bradley, Adam

Ralph Ellison's Invisible man : a casebook : pbk

Ralph Ellison's Invisible man : a casebook : pbk
Paper図書
edited by John F. CallahanOxford University Press2004
Other Libraries in Japan
  • Author HeadingCallahan, John F.

In the African-American grain : call-and-response in twentieth-century Black fiction : pbk

In the African-American grain : call-and-response in twentieth-century Black fiction : pbk
Paper図書
John F. CallahanUniversity of Illinois Press2001
Other Libraries in Japan
  • Author HeadingCallahan, John F.

Specification and design of a fault recovery model for the reliable multicast protocol [microform] / by Todd L. Montgomery, John R. Callahan, and Brian Whetten ([NASA contractor report] ; NASA-CR-203077) (Technical report series)

Specification and design of a fault recovery model for the reliable multicast protocol [microform] / by Todd L. Montgomery, John R. Callahan, and Brian Whetten ([NASA contractor report] ; NASA-CR-203077) (Technical report series)
Microform図書
1996<YCA-NAS 1.26:203077>
National Diet Library
  • Author HeadingMontgomery, Todd L Callahan, John R Whetten, Brian United State...

The collected essays of Ralph Ellison : pbk.

The collected essays of Ralph Ellison : pbk.
Paper図書
edited and with an introduction by John F. Callahan ; preface by Saul BellowModern Library2003
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F.

Invisible man

Invisible man
Paper図書
Ralph Ellison ; with an introduction by John CallahanPenguin Books2001
Other Libraries in Japan
  • Author HeadingEllison, Ralph Callahan, John F.

Juneteenth : A Novel (Vintage International)

Juneteenth : A Novel (Vintage International)
Paper図書
RalphEllison ; JohnF.Callahan ed.Vintage Books2000
Other Libraries in Japan