東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 511.35)
該当件数:4件
Cellular automata : analysis and applications / Karl-Peter Hadeler, Johannes Müller
[Cham] : Springer , c2017. - (Springer monographs in mathematics)
図書
土の支持力と沈下 / 赤井浩一著
東京 : 山海堂 , 1964.5
Petri net synthesis / Eric Badouel, Luca Bernardinello, Philippe Darondeau
Heidelberg : Springer , c2015. - (Texts in theoretical computer science ; An EATCS series)
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Cambridge : Cambridge Univ. Pr. , 1996. - (London Mathematical Society lecture note series ; 224)