年 〜
年

検索結果 34 件

Framework of infinite computation and observably computable functions

Framework of infinite computation and observably computable functions
紙図書
by Takayasu ItoSankeisha2016.10<M159-B157>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）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
デジタル博士論文障害者向け資料あり
Ito, Takayasu三重大学2016-03-25
国立国会図書館
  • 著者標目Ito, Takayasu

Mathematical theory of programs dedicated to the memory of John McMarthy

Mathematical theory of programs dedicated to the memory of John McMarthy
紙図書
by Takayasu ItoSankeisha2013.12<M159-B148>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）Ito, Takayasu Takayasu Ito

Program correctness and observable computability

Program correctness and observable computability
紙図書
by Takayasu ItoSankeisha2013.5<M159-B144>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）Ito, Takayasu Takayasu Ito

Constructive Logics for Program Correctness

Constructive Logics for Program Correctness
紙図書
Takayasu Ito [著]Maruzen Planetc2012<M159-B143>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）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
紙図書
Takayasu Ito [著]Sankeisha2011.11<M159-B131>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）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
紙図書
Takayasu Ito [著]Sankeisha2011.4<M159-B123>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）Ito, Takayasu Takayasu Ito

プログラム理論

プログラム理論
紙図書
伊藤貴康 著三恵社2010.6<M159-J981>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）Ito, Takayasu Takayasu Ito

Mathematical theory of programs

Mathematical theory of programs
紙図書
Takayasu Ito [著]Sankeisha2010.10<M159-B119>
国立国会図書館全国の図書館
  • 典拠情報（Author Heading/「を見よ」参照）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
紙博士論文
Takayasu Ito [著][Takayasu Ito][2011]<UT51-2011-P949>
国立国会図書館

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
デジタル博士論文
伊藤, 貴康2022-03-25
インターネットで読める全国の図書館

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
紙博士論文
伊藤隆康 [著][伊藤隆康]2005<UT51-2006-S914>
国立国会図書館

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

新しい並列関数型言語とその高性能処理系の研究
紙図書
伊藤, 貴康, 東北大学2001-2002<Y151-H13480073>
国立国会図書館
  • 典拠情報（Author Heading/「を見よ」参照）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
デジタル博士論文
伊藤, 貴康三重大学2016-03-25
インターネットで読める全国の図書館

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

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

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)
紙図書
Springer-Verlagc1995.<M15-A9644>
国立国会図書館
  • 典拠情報（Author Heading/「を見よ」参照）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)
紙図書
Springer-Verlagc1993.<M15-A9106>
国立国会図書館
  • 典拠情報（Author Heading/「を見よ」参照）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
紙デジタル博士論文障害者向け資料あり
伊藤隆安 [著]<UT51-95-N357>
インターネットで読める国立国会図書館

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

並列LISPとその処理系の研究
紙図書
伊藤, 貴康, 東北大学1989-1993<Y151-H01420029>
国立国会図書館
  • 典拠情報（Author Heading/「を見よ」参照）Ito, Takayasu Takayasu Ito

Roles of transcription and repair in alkylation mutagenesis

Roles of transcription and repair in alkylation mutagenesis
紙デジタル博士論文障害者向け資料あり
伊藤隆康 [著]<UT51-95-B40>
インターネットで読める国立国会図書館