今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Synthesis of Digital Automata / Problemy Sinteza Tsifrovykh Avtomatov / Проƃлемы Синтеза Цифровых Автоматов
Lazarev, V. G.
読みたい
読んだ
Logic Synthesis for Control Automata
Baranov, Samary
読みたい
読んだ
Digital Design and Synthesis With Verilog Hdl.
Sternheim, Eli
読みたい
読んだ
Finite State Machines and Algorithmic State Machines: Fast and Simple Design of Complex Finite State Machines
Baranov, Samary
読みたい
読んだ
Computational Photography: Methods and Applications (Digital Imaging and Computer Vision)
Lukac, Rastislav
読みたい
読んだ
Speech Recognition Algorithms Using Weighted Finite-State Transducers
Hori, Takaaki/Nakamura, Atsushi
読みたい
読んだ
Verification and Control of Hybrid Systems: A Symbolic Approach
Tabuada, Paulo
読みたい
読んだ
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings (Lecture Notes in Computer Science, 14284)
Hermenegildo, Manuel V./Morales, José F.
読みたい
読んだ
Artificial neural networks : International Workshop IWANN '91, Granada, Spain, September 17-19, 1991, proceedings
InternationalWorkshopIWANN/著 PrietoAlberto/著
読みたい
読んだ