Jump to main content

yr 〜
yr

Search results 3

The Ninth Karmapa's Ocean of definitive meaning

The Ninth Karmapa's Ocean of definitive meaning
Paper図書
by Khenchen Thrangu Rinpoche ; oral translation by Lama Yeshe Gyamtso ; edited, introduced, and annotated by Lama Tashi NamgyalSnow Lion Publicationsc2010
Other Libraries in Japan
  • Author HeadingThrangu Rinpoche O'Hearn, Peter Tashi Namgyal, Lama

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)
Paper図書
Springerc2010.<M17-10-4245>
National Diet Library
  • Author Heading...avens, Gary T. O'Hearn, Peter W. (Peter William) , 1963- Ra...

ALGOL-like languages v. 1 v. 2

ALGOL-like languages v. 1 v. 2
Paper図書
Peter W. O'Hearn, Robert D. Tennent, editorsBirkhauserc1997
Other Libraries in Japan
  • Author HeadingO'Hearn, Peter W. (Peter William) Tennent, R...

Reached to the end of result.

RSS