Jump to main content

yr 〜
yr

Search results 11

Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France. (Lecture Notes in Computer Science ; 7460. Advanced Research in Computing and Software Science)

Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France. (Lecture Notes in Computer Science ; 7460. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-609>
National Diet Library
  • Author Heading...Miné, Antoine. Schmidt, David A., 1953 May 10-

The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones

The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones
Paper図書
Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingMogensen, Torben Æ. Schmidt, David A. Sudborough, Hal Jones, Neil D...

Ianfu, the comfort women of the Japanese Imperial Army of the Pacific War : broken silence

Ianfu, the comfort women of the Japanese Imperial Army of the Pacific War : broken silence
Paper図書
David Andrew SchmidtEdwin Mellen Pressc2000
Other Libraries in Japan
  • Author HeadingSchmidt, David A.

Gogatsu no shi : a collection of miscellaneous poems = Poems of May

Gogatsu no shi : a collection of miscellaneous poems = Poems of May
Paper図書
Terayama Shūji ; translated from Japanese by David A. Schmidt and Fusae EkidaEdwin Mellen Pressc1998
Other Libraries in Japan
  • Author Heading寺山, 修司 Schmidt, David A. Ekida, Fusae

Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings

Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
Paper図書
Radhia Cousot, David A. Schmidt (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingSAS Cousot, Radhia Schmidt, David A.

The structure of typed programming languages

The structure of typed programming languages
Paper図書
David A. SchmidtMIT Pressc1994
Other Libraries in Japan
  • Author HeadingSchmidt, David A.

Ianfu, the comfort women of the Japanese Imperial Army of the Pacific War : broken silence / David Andrew Schmidt. (Japanese studies ; v. 10)

Ianfu, the comfort women of the Japanese Imperial Army of the Pacific War : broken silence / David Andrew Schmidt. (Japanese studies ; v. 10)
Paper図書
Edwin Mellen Pressc2000.<GB531-A154>
National Diet Library
  • Author HeadingSchmidt, David A., 1967-

Programming languages and systems : 13th European symposium on programming, ESOP 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2986)

Programming languages and systems : 13th European symposium on programming, ESOP 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2986)
Paper図書
Springerc2004.<M17-04-3065>
National Diet Library
  • Author Heading...SI Department. Schmidt, David A., 1953 May 10- European Sympos...

Denotational semantics : a methodology for language development

Denotational semantics : a methodology for language development
Paper図書
David A. SchmidtAllyn and Baconc1986
Other Libraries in Japan
  • Author HeadingSchmidt, David A.

Gogatsu no shi = Poems of May : a collection of miscellaneous poems / Terayama Shūji ; translated from Japanese by David A. Schmidt and Fusae Ekida. (Japanese studies ; v. 7)

Gogatsu no shi = Poems of May : a collection of miscellaneous poems / Terayama Shūji ; translated from Japanese by David A. Schmidt and Fusae Ekida. (Japanese studies ; v. 7)
Paper図書
Edwin Mellen Pressc1998.<KH613-A13>
National Diet LibraryOther Libraries in Japan
  • Author Heading寺山, 修司, 1936-1983 Schmidt, David A., 1967- Ekida, Fusae, 1966-

Power collecting : automation for effective asset management : cloth

Power collecting : automation for effective asset management : cloth
Paper図書
Frederick A. Piumelli, David A. SchmidtJohn Wileyc1998
Other Libraries in Japan
  • Author HeadingPiumelli, Frederick A. Schmidt, David A., 1953 Apr. 22-

Reached to the end of result.

RSS