Jump to main content

yr 〜
yr

Search results 34

Effects of aliskiren on blood pressure and humoral factors in hypertensive hemodialysis patients previously on angiotensin II receptor antagonists

Effects of aliskiren on blood pressure and humoral factors in hypertensive hemodialysis patients previously on angiotensin II receptor antagonists
Digital博士論文障害者向け資料あり
Ito, Takayasu三重大学2016-03-25
National Diet Library
  • Author HeadingIto, Takayasu

Framework of infinite computation and observably computable functions

Framework of infinite computation and observably computable functions
Paper図書
by Takayasu ItoSankeisha2016.10<M159-B157>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Program correctness and observable computability

Program correctness and observable computability
Paper図書
by Takayasu ItoSankeisha2013.5<M159-B144>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Mathematical theory of programs dedicated to the memory of John McMarthy

Mathematical theory of programs dedicated to the memory of John McMarthy
Paper図書
by Takayasu ItoSankeisha2013.12<M159-B148>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Constructive Logics for Program Correctness

Constructive Logics for Program Correctness
Paper図書
Takayasu Ito [著]Maruzen Planetc2012<M159-B143>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Constructive theory for programs and their correctness : contributions to Hoare's ideal of program correctness and Scott's thesis on existence and identity

Constructive theory for programs and their correctness : contributions to Hoare's ideal of program correctness and Scott's thesis on existence and identity
Paper図書
Takayasu Ito [著]Sankeisha2011.11<M159-B131>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Constructive logics for program correctness and verification : dedicated to John McCarthy and Rod Burstall Revised edition

Constructive logics for program correctness and verification : dedicated to John McCarthy and Rod Burstall Revised edition
Paper図書
Takayasu Ito [著]Sankeisha2011.4<M159-B123>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

プログラム理論

プログラム理論
Paper図書
伊藤貴康 著三恵社2010.6<M159-J981>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Mathematical theory of programs

Mathematical theory of programs
Paper図書
Takayasu Ito [著]Sankeisha2010.10<M159-B119>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Development of the mucosal vascular system in the distal colon of the fetal mouse

Development of the mucosal vascular system in the distal colon of the fetal mouse
Paper博士論文
Takayasu Ito [著][Takayasu Ito][2011]<UT51-2011-P949>
National Diet Library

The Value of Additional Conventional Transbronchial Biopsy in the Negative Results of Rapid On-site Evaluation During Endobronchial Ultrasound With Guide Sheath to Diagnose Small Peripheral Lung Cancer

The Value of Additional Conventional Transbronchial Biopsy in the Negative Results of Rapid On-site Evaluation During Endobronchial Ultrasound With Guide Sheath to Diagnose Small Peripheral Lung Cancer
Digital博士論文
伊藤, 貴康2022-03-25
Available onlineOther Libraries in Japan

Long term interest rates in Japan : analysis of market structure and international linkage

Long term interest rates in Japan : analysis of market structure and international linkage
Paper博士論文
伊藤隆康 [著][伊藤隆康]2005<UT51-2006-S914>
National Diet Library

新しい並列関数型言語とその高性能処理系の研究

新しい並列関数型言語とその高性能処理系の研究
Paper図書
伊藤, 貴康, 東北大学2001-2002<Y151-H13480073>
National Diet Library
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Effects of aliskiren on blood pressure and humoral factors in hypertensive hemodialysis patients previously on angiotensin II receptor antagonists

Effects of aliskiren on blood pressure and humoral factors in hypertensive hemodialysis patients previously on angiotensin II receptor antagonists
Digital博士論文
伊藤, 貴康三重大学2016-03-25
Available onlineOther Libraries in Japan

日本における金利の期間構造分析 : 金融政策の効果とインフレ情報を中心に

日本における金利の期間構造分析 : 金融政策の効果とインフレ情報を中心に
Paper博士論文
伊藤隆康 [著][伊藤隆康]2002<UT51-2003-S302>
National Diet Library

Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / Takayasu Ito, Akinori Yonezawa, eds. (Lecture notes in computer science)

Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / Takayasu Ito, Akinori Yonezawa, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9644>
National Diet Library
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito 米澤, 明憲

Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings / Robert H. Halstead, Jr., Takayasu Ito, eds. (Lecture notes in computer science)

Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings / Robert H. Halstead, Jr., Takayasu Ito, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A9106>
National Diet Library
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

並列LISPとその処理系の研究

並列LISPとその処理系の研究
Paper図書
伊藤, 貴康, 東北大学1989-1993<Y151-H01420029>
National Diet Library
  • Authority（Author Heading/altLabel）Ito, Takayasu Takayasu Ito

Sensitivity of osteoinductive activity of demineralized and defatted rat femur to temperature and duration of heating

Sensitivity of osteoinductive activity of demineralized and defatted rat femur to temperature and duration of heating
PaperDigital博士論文障害者向け資料あり
伊藤隆安 [著]<UT51-95-N357>
Available onlineNational Diet Library

Roles of transcription and repair in alkylation mutagenesis

Roles of transcription and repair in alkylation mutagenesis
PaperDigital博士論文障害者向け資料あり
伊藤隆康 [著]<UT51-95-B40>
Available onlineNational Diet Library
RSS