Search results for "研究速報" | NDL Search

Search results 1,596

Group by title

生き方としての生物世界とのかかわり研究速報 : 学習助成12年計画試案

Paper雑誌雑誌タイトル

子どもと自然学会生物教育研究委員会[2018]-[2020]<Z72-E61>

National Diet Library

Replaces生きかたとしての生物学習指導要領試案研究速報
Alternative Title研究速報
Alternative Title研究速報

ひょうごの遺跡 : 調査研究速報 : 企画展 2020

Paper図書

兵庫県立考古博物館編兵庫県立考古博物館2020.1<Y121-M6297>

National Diet Library

生きかたとしての生物学習指導要領試案研究速報

Paper雑誌雑誌タイトル

子どもと自然学会生物教育研究委員会[2013]-2018<Z72-E61>

National Diet Library

Replaces生きかたとしての生物学習指導計画研究速報
Continues生き方としての生物世界とのかかわり研究速報
Alternative Title研究速報

ひょうごの遺跡 : 調査研究速報 : 企画展 2017

Paper図書

兵庫県立考古博物館編兵庫県立考古博物館2017.1<Y121-L14661>

National Diet LibraryOther Libraries in Japan

ひょうごの遺跡 : 調査研究速報 : 鑑賞の手引き : 平成30年度企画展 2019

Paper図書

兵庫県立考古博物館[2019]<Y121-M4065>

National Diet Library

ひょうごの遺跡 : 調査研究速報 : 企画展 2016

Paper図書

兵庫県立考古博物館編兵庫県立考古博物館2016.1<Y121-L10788>

National Diet LibraryOther Libraries in Japan

生きかたとしての生物学習指導計画研究速報

Paper雑誌雑誌タイトル

子どもと自然学会生物教育研究委員会[2012]-[2013]<Z72-E61>

National Diet Library

ReplacesCBS研究速報
Continues生きかたとしての生物学習指導要領試案研究速報
Alternative Title生きかたとしての生物学習指導計画改訂版研究速報

ひょうごの遺跡 : 調査研究速報 : 企画展 2014

Paper図書

兵庫県立考古博物館編兵庫県立考古博物館2014.1<Y121-L5175>

National Diet LibraryOther Libraries in Japan

CBS研究速報

Paper雑誌雑誌タイトル

子どもと自然学会生物教育研究委員会[2012]-[2012]<Z72-E61>

National Diet Library

Continues生きかたとしての生物学習指導計画研究速報

ひょうごの遺跡 : 調査研究速報 : 阪神・淡路大震災20年展企画展 2015

Paper図書

兵庫県立考古博物館編兵庫県立考古博物館2015.1<Y121-L7098>

National Diet LibraryOther Libraries in Japan

ひょうごの遺跡 : 調査研究速報 : 企画展 vol. 5

Paper図書

兵庫県立考古博物館編兵庫県立考古博物館2013.1<Y121-L2150>

National Diet Library

研究速報

Paper雑誌雑誌タイトル

福井県農業試験場 [ほか編]福井県農業試験場[ほか]1983-<Z18-1028>

National Diet Library

Replaces福井県農業試験場・畜産試験場・園芸センター研究速報 / 福井県農業試験場 [ほか編]

Interpretation of STM by CSP (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2012-1)

Paper図書

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Noriyuki Katahira, Van Tang Nguyen, Hitoshi Ohsaki [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2012.1<M159-B136>

National Diet Library

FM approaches to assurance cases : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-10)

Paper図書

Keishi Okamoto, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.12<M159-B116>

National Diet Library

User oriented dependability : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-7)

Paper図書

Yoshiki Kinoshita [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B98>

National Diet Library

Agda言語について (算譜科学研究速報 ; AIST-PS-2008-14)

Paper図書

木下佳樹 [著], 産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所2008.9<Y251-J512>

National Diet Library

システム検証の事例報告集 2009年度版 (算譜科学研究速報 ; AIST-PS-2010-5)

Paper図書

産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所 (組込みシステム技術連携研究体)2010.7<M159-J1079>

National Diet Library

研究速報

Paper雑誌雑誌タイトル

東京都農業試験場編東京都農業試験場[1971]-1993<Z18-3400>

National Diet Library

A note on"D-Cases as proofs as programs" : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2010-7)

Paper図書

Makoto Takeyama [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2010.10<M159-B120>

National Diet Library

SENS-specification language for embedded network systems-toward automatic test generation : preliminary version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2011-2)

Paper図書

Eun Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, Osamu Mizuno [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2011.8<M159-B129>

National Diet Library

RSS