| 発行日 | タイトル |
著者 |
|---|
| Jan-1997 | Varieties of monadic Heyting algebras. Part 1 | Bezhanishvili, Guram |
| Jan-1997 | Varieties of monadic Heyting algebras. Part 2 : Duality theory | Bezhanishvili, Guram |
| Apr-1997 | Varieties of monadic heyting algebras.Part III | Bezhanishvili, Guram |
| 2000 | The variety of residuated lattices is generated by its finite simple members | KOWALSKI, Tomasz; ONO, Hiroakira |
| Sep-2016 | Various Approaches to Improving Entertainment Impact in Games | Chetprayoon, Panumate; ちぇとぷらゆん, ぱぬめーと |
| 31-Oct-1996 | VB育成の思想と創造性 | 山本, 通隆 |
| Sep-2022 | Vector-quantized Variational Autoencoder for Phase-aware Speech Enhancement | Ho, Tuan Vu; Nguyen, Quoc Huy; Akagi, Masato; Unoki, Masashi |
| Dec-2015 | Vehicular Massive Multiway Relay Networks Applying Graph-Based Random Access | Purwita, Ardimas Andi; Anwar, Khoirul |
| 28-Feb-2024 | Veil off Party：グループワークの適切な役割分担のためのキックオフパーティの提案 | 山口, 雄太郎; 西本, 一志 |
| 4-Mar-2024 | Veil-off Party：トラブルだらけのキックオフパーティによる役割分担支援 | 山口, 雄太郎; 西本, 一志; Yutaro Yamaguchi; Kazushi Nishimoto |
| 12-Mar-2009 | A Verification Framework for Automotive Embedded Systems | KATO, Norio |
| Sep-2015 | Verification of automotive operating systems for multi-core processors | MALEEHUAN, Pattaravut; まりーぬあん, ぱったーうっと |
| 7-Mar-2007 | Verification of Multi-Task Software | Aoki, Toshiaki |
| 15-Dec-2006 | Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project | Bjorner, Dines |
| 21-Sep-2005 | Verifying Specifications with Proof Scores | FUTATSUGI, Kokichi |
| Mar-2011 | Verifying the Correctness of Compiler for an Imperative Programming Language | Trinh, Bao Ngoc Quoc; トリン, バオ ノン クォック |
| 13-Sep-2011 | Very Simple BICM-ID Using Repetition Code and Extended Mapping with Doped Accumulator | Anwar, Khoirul; Matsumoto, Tad |
| Mar-2011 | A Very Simple BICM-ID with EXIT Constraints | 府川, 輝翔; ふかわ, きしょう |
| 5-Nov-2016 | 「VHS VTRの研究開発・事業化」における人本主義的イノベーションマネジメント | 志賀, 敏宏 |
| Oct-2009 | Vietnamese Noun Phrase Chunking Based on Conditional Random Fields | Nguyen, Thi Huong Thao; Nguyen, Phuong Thai; Nguyen, Le Minh; Ha, Quang Thuy |
| Nov-2003 | ViewFrame : 画像処理による位置検出法を用いた「借景」 | 河原塚,有希彦; 高橋,誠史; 宮田,一乗 |
