今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Correct System Design: Symposium in Honor of Ernst-Ruediger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Theoretical Computer Science and General Issues)
Meyer, Roland／Platzer, André／Wehrheim, Heike
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
Platzer, Andre／Rozier, Kristin Yvonne／Pradella, Matteo／Rossi, Matteo
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Platzer, André／Rozier, Kristin Yvonne／Pradella, Matteo／Rossi, Matteo
Logical foundations of cyber-physical systems
André Platzer
Logical foundations of cyber-physical systems
André Platzer
Logical analysis of hybrid systems : proving theorems for complex dynamics
André Platzer
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
