Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 172 (Search time: 0.042 seconds).
Item hits:
BibliographyContents
Confluency and Strong Normalizability of Call-by-Valueλμ-Calculus
  Nakazawa, Koji (2002-11-25)
  Kyoto University (京都大学)
file type icon 
ペプチドの側鎖における配座変化の自由エネルギー・エンタルピー・エントロピーの配列位置依存性と水和効果
  木村, 智大 (2002-11-25)
  Kyoto University (京都大学)
file type icon 
Protein-bound polysaccharide inhibits angiogenesis in vitro and in vivo
  Wada, Tsutomu (2002-11-25)
  Kyoto University (京都大学)
file type icon 
精巣・卵巣に特異的に発現する新規コラーゲン : Type 26 コラーゲン
  佐藤, 啓二 (2002-11-25)
  Kyoto University (京都大学)
file type icon 
G蛋白質共役型受容体とHomer 1cの機能的相互作用研究
  廣明, 洋子 (2002-11-25)
  Kyoto University (京都大学)
file type icon 
Reproductive ecology of three Japanese silurid catfishes
  Maehata, Masayoshi (2002-11-25)
  Kyoto University (京都大学)
file type icon 
Discrete Convex Analysis
  Murota, Kazuo (2002-09-24)
  Kyoto University (京都大学)
file type icon 
A topological proof of real and symplectic Bott periodicity theorem
  Kishimoto, Daisuke (2002-03-25)
  Kyoto University (京都大学)
file type icon 
Existence of closed quasigeodesic in Alexandrov spaces of some types
  Kishimoto, Iwao (2002-03-25)
  Kyoto University (京都大学)
file type icon 
Classification theorems for cohomology rings of finite H-spaces
  Nishimura, Osamu (2002-03-25)
  Kyoto University (京都大学)
file type icon