Jump to main content

yr 〜
yr

Search results 29

A histopathological and immunohistochemical study of cell-cell interactions : with special reference to advance of dysplastic grading

A histopathological and immunohistochemical study of cell-cell interactions : with special reference to advance of dysplastic grading
Paper博士論文
Aoki Toshiaki [著][Aoki Toshiaki][2012]<UT51-2013-C166>
National Diet Library

Formal methods and software engineering : 14th international conference on formal engineering methods, ICFEM 2012 : Kyoto, Japan, November 12-16, 2012 : proceedings : Nov 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7635)

Formal methods and software engineering : 14th international conference on formal engineering methods, ICFEM 2012 : Kyoto, Japan, November 12-16, 2012 : proceedings : Nov 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7635)
Paper図書
Springerc2012.<M17-13-1159>
National Diet Library
  • Author Heading... Kyoto, Japan) Aoki, Toshiaki. Taguchi, Kenji, 1956- Sangyō ...

ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)

ソフトウェア工学の基礎 22 (レクチャーノート/ソフトウェア学 ; 41)
Paper図書
近代科学社2015.11<M159-L802>
National Diet LibraryOther Libraries in Japan

ランドスケープアーキテクチャーの起点

ランドスケープアーキテクチャーの起点
Paper図書
森山雅幸 編著, 河合嗣生, 平岡直樹, 青木俊明, 田村孝浩 著ぎょうせい2007.2<KA421-H221>
National Diet LibraryOther Libraries in Japan

Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System

Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System
Digital文書・図像類
Aoki, Toshiaki, Satoh, Makoto, Tani, Mitsuhiro, Yatake, Kenro, Kishi, Tomoji北陸先端科学技術大学院大学先端科学技術研究科情報科学系2016-05-23Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology)IS-RR-2016-002p.1-11
Other Libraries in Japan

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
PaperDigital図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
National Diet LibraryOther Libraries in Japan

Seventh IEEE international symposium on object-oriented real-time distributed computing : proceedings : 12-14 May 2004 : Vienna, Austria. : May 2004, Vienna, Austria.

Seventh IEEE international symposium on object-oriented real-time distributed computing : proceedings : 12-14 May 2004 : Vienna, Austria. : May 2004, Vienna, Austria.
Paper図書
IEEE Computer Societyc2004.<M17-04-3438>
National Diet Library
  • Author HeadingGustafsson, Jan, Ph. D. Aoki, Toshiaki. Lee, Insup. International Sym...

Model Checking Conformance of Design Model to Its Formal Specification

Model Checking Conformance of Design Model to Its Formal Specification
Digital文書・図像類
Vu, Dieu-Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki北陸先端科学技術大学院大学情報科学研究科2014-04-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-001p.1-18
Other Libraries in Japan

Difference of [Ca[2+]]i movements in platelets stimulated by thrombin and TRAP : the involvement of α[Ⅱb]β3-mediated TXA2 synthesis

Difference of [Ca[2+]]i movements in platelets stimulated by thrombin and TRAP : the involvement of α[Ⅱb]β3-mediated TXA2 synthesis
PaperDigital博士論文障害者向け資料あり
青木俊明 [著]<UT51-99-R653>
Available onlineNational Diet Library

都市内居住特性分布の変化とその予測

都市内居住特性分布の変化とその予測
PaperDigital博士論文障害者向け資料あり
青木俊明 [著]<UT51-99-H469>
Available onlineNational Diet Library

オブジェクト指向方法論の形式化とその計算機支援環境

オブジェクト指向方法論の形式化とその計算機支援環境
PaperDigital博士論文障害者向け資料あり
青木利晃 [著]<UT51-99-Q210>
Available onlineNational Diet Library

Modeling of Real-Time System Designs for Parametric Analysis

Modeling of Real-Time System Designs for Parametric Analysis
Paper文書・図像類
Chaiwat, Sathawornwichit, Aoki, Toshiaki, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2010-04-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2010-003p.1-10
Other Libraries in Japan

Automatic Generation of Model Checking Scripts based on Environment Modeling

Automatic Generation of Model Checking Scripts based on Environment Modeling
Digital文書・図像類
Yatake, Kenro, Nishibata, Hirokazu, Aoki, Toshiaki北陸先端科学技術大学院大学情報科学研究科2010-02-10Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2010-001p.1-8
Other Libraries in Japan

Development of active headlight system SAE-970650

Development of active headlight system SAE-970650
Paper規格・テクニカルリポート類
Aoki, Toshiaki, Kitamura, Hideki, Miyagawa, Kenji, Kaneda, Makoto1997<M-SAE-970650>
National Diet Library

Verification of Multi-Task Software

Verification of Multi-Task Software
Digital文書・図像類
Aoki, Toshiaki2007-03-07p.1-25
Other Libraries in Japan

An Object-Oriented logic for software analysis and design

An Object-Oriented logic for software analysis and design
Digital文書・図像類
Yatake, Kenro, Aoki, Toshiaki, Katayama, Takuya2005-09-21p.1-27
Other Libraries in Japan

Extracting threads from concurrent objects for the design of embedded systems

Extracting threads from concurrent objects for the design of embedded systems
Digital文書・図像類
Okazaki, Mitsutaka, Aoki, Toshiaki, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2002-08-05Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2002-019p.1-10
Other Libraries in Japan

Proceedings : Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 12-14 May 2004, Vienna, Austria : pbk

Proceedings : Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 12-14 May 2004, Vienna, Austria : pbk
Paper図書
edited by Jan Gustafsson, Toshiaki Aoki, and Insup Lee ; sponsored by IEEE Computer Society Technical Committee on Distributed Processing (TCDP) ; in cooperation with OMG, IFIP WG 10.4IEEE Computer Societyc2004
Other Libraries in Japan

タイの自然と蝶

タイの自然と蝶
Paper図書
岡本眞一, 青木俊明, 山口就平 著ぱるす出版2020.1<RA531-M91>
National Diet LibraryOther Libraries in Japan

インプラント革命

インプラント革命
Paper図書
青木俊明, 五十嵐一, 鈴木仙一, 脇田雅文 著東山書房2007.1<SC677-H253>
National Diet LibraryOther Libraries in Japan
RSS