Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 12 Treffer
- 定理証明 8 Treffer
- ccn 4 Treffer
- network protocol 4 Treffer
- theorem prover 4 Treffer
-
34 weitere Werte:
- ネットワークプロトコル 4 Treffer
- 形式手法 4 Treffer
- behavioral correctness 2 Treffer
- development 2 Treffer
- formal methods 2 Treffer
- formal verification 2 Treffer
- mapreduce 2 Treffer
- outcome 2 Treffer
- program verification 2 Treffer
- proof assistant 2 Treffer
- questionnaire 2 Treffer
- security protocol 2 Treffer
- termination 2 Treffer
- uq 2 Treffer
- verification 2 Treffer
- アウトカム 2 Treffer
- コエンザイムq 2 Treffer
- セキュリティプロトコル 2 Treffer
- ビタミン様物質 2 Treffer
- プログラム検証 2 Treffer
- ユークリッド原論 2 Treffer
- ユビキノール 2 Treffer
- ユビキノン 2 Treffer
- 停止性 2 Treffer
- 形式的検証 2 Treffer
- 手続き型言語 2 Treffer
- 抗酸化作用 2 Treffer
- 正当性検証 2 Treffer
- 治療効果 2 Treffer
- 発達障害 2 Treffer
- 行動 2 Treffer
- 証明支援系 2 Treffer
- 質問紙 2 Treffer
- ミトコンドリア電子伝達系 1 Treffer
Publikation
- 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編 28 Treffer
- 電子情報通信学会技術研究報告 = ieice technical report : 信学技報 10 Treffer
- コンピュータソフトウェア = computer software / 日本ソフトウェア科学会 編 4 Treffer
- 久留米医学会雑誌 4 Treffer
- 情報処理学会論文誌 論文誌トランザクション 4 Treffer
-
16 weitere Werte:
- 数式処理 = bulletin of the japan society for symbolic and algebraic computation 4 Treffer
- 日本臨床 = japanese journal of clinical medicine 4 Treffer
- 防虫科学 4 Treffer
- anti-aging medicine / 日本抗加齢医学会 [編] 2 Treffer
- カナダ研究年報 = the annual review of canadian studies = la revue annuelle d'etudes canadiennes 2 Treffer
- 健康・栄養食品研究 = journal of nutritional food 2 Treffer
- 古代文化 = cultura antiqua 2 Treffer
- 情報処理 : 情報処理学会誌 : ipsj magazine 2 Treffer
- 情報処理学会論文誌. sig 2 Treffer
- 数学セミナー 2 Treffer
- 東南アジア研究 = japanese journal of southeast asian studies / 京都大学東南アジア地域研究研究所 編 2 Treffer
- 甲南大学教育学習支援センター紀要 = memoirs of learning utility center for konan university students / 甲南大学教育学習支援センター 編 2 Treffer
- 石川島播磨技報 = ishikawajima-harima engineering review 2 Treffer
- 自治医科大学紀要 = jichi medical university journal / 紀要編集委員会 編 2 Treffer
- 薬史学雑誌 = the japanese journal for history of pharmacy 2 Treffer
- 電子情報通信学会論文誌. d, 情報・システム = the ieice transactions on information and systems / 電子情報通信学会 編 2 Treffer
Sprache
88 Treffer
-
In: コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編, Jg. 40 (2023-08-01), Heft 3, S. 2-15Online academicJournalZugriff:
-
In: コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編, Jg. 40 (2023-08-01), Heft 3, S. 2-15Online academicJournalZugriff:
-
In: コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編, Jg. 37 (2020-08-01), Heft 3, S. 79-95Online academicJournalZugriff:
-
In: コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編, Jg. 37 (2020-08-01), Heft 3, S. 79-95Online academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 135-148academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 321-331academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 321-331academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 135-148academicJournalZugriff:
-
In: 甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students / 甲南大学教育学習支援センター 編, 2020-03-01, Heft 5, S. 1-16academicJournalZugriff:
-
In: 甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students / 甲南大学教育学習支援センター 編, 2020-03-01, Heft 5, S. 1-16academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 36 (2019-08-01), S. 105-121academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 36 (2019-08-01), S. 105-121academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 341-356academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 341-356academicJournalZugriff:
-
In: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jg. 115 (2016-03-01), Heft 482, S. 233-240academicJournalZugriff:
-
In: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jg. 115 (2016-03-01), Heft 481, S. 233-240academicJournalZugriff:
-
In: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jg. 115 (2016-03-01), Heft 482, S. 233-240academicJournalZugriff:
-
In: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jg. 115 (2016-03-01), Heft 481, S. 233-240academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 34 (2017-09-01), S. 135-140academicJournalZugriff:
-
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 34 (2017-09-01), S. 135-140academicJournalZugriff: