今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Theory and practice of natural computing : 10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings
Claus Aranha, Carlos Martín-Vide, Miguel A. Vega-Rodríguez (eds.)
Language and automata theory and applications : 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021 : proceedings
Alberto Leporati ... [et al.] (eds.)
Algorithms for computational biology : 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13-15, 2020 : proceedings
Carlos Martín-Vide, Miguel A. Vega-Rodríguez, Travis Wheeler, (eds.)
Language and automata theory and applications : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, proceedings
Alberto Leporati ... [et al.] (eds.)
Language and automata theory and applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, proceedings
Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.)
Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings
Adrian-Horia Dediu ... [et al.] (eds)
Language and automata theory and applications : 7th international conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, proceedings
Adrian-Horia Dediu, carlos Martín-Vide, Bianca Truthe (eds.)
New developments in formal languages and applications
Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martín-Vide (eds.)
Recent advances in formal languages and applications
Zoltán Ésik, Carlos Martín-Vide, Victor Mitrana
Formal languages and applications
Carlos Martín-Vide, Victor Mitrana, Gheorge Păun (eds.)
1
2
3
4
5