上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 511)
該当件数:31件
土木基礎力学 / 笠井哲郎 [ほか] 共著
東京 : コロナ社 , 2018.4
図書 <1002964521>
土木応用力学入門 / 三宅政光 [ほか] 編修
東京 : 実教出版 , 1998.6. - (基礎シリーズ)
図書 <1001932861>
Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 424)
図書 <1000372109>
土木解析学演習 / 加納正道, 黒木健実共著
東京 : 理工図書 , 1993.2
図書 <1000236680>
Discrete mathematics and its applications / Kenneth H. Rosen
7th ed. - New York : McGraw-Hill , c2012
図書 <1002549672>
Theory and applications of cellular automata : including selected papers 1983-1986 / Stephen Wolfram
: pbk. - Singapore : World Scientific , c1986. - (Advanced series on complex systems ; v. 1)
図書 <1001983625>
Theory of finite automata : with an introduction to formal languages / John Carroll, Darrell Long
: pbk.. - Englewood Cliffs, N.J. : Prentice Hall , c1989
図書 <1001985090>
Constructibility and mathematical existence / Charles S. Chihara
Oxford : Clarendon Press. - New York : Oxford University Press , 1990
図書 <1000371199>
建設技術者のためのデータ解析と応用 : カルマンフィルタを中心として / 星谷勝, 斉藤悦郎共著
東京 : 鹿島出版会 , 1991.7
図書 <1000207459>
土質工学演習 / 河上房義編 ; 浅田秋江[ほか]執筆
基礎編,応用編. - 東京 : 森北出版 , 1978.4-1982.4
図書 <1000070899>
連続体の力学 / 白石成人, 大西有三, 谷口健男共著
東京 : 技報堂出版 , 1988.5. - (新体系土木工学 / 土木学会編 ; 5)
図書 <1000103377>
Discrete mathematics / Kenneth A. Ross, Charles R.B. Wright
3rd ed. - Englewood Cliffs, N.J. : Prentice Hall , c1992
図書 <1000445380>
Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 372)
図書 <1000349087>
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 85)
図書 <1000324649>
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / Timo Lepistö, Arto Salomaa (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 317)
図書 <1000329662>
Proceedings of the ... annual ACM Symposium on Theory of Computing
1986. - New York, N.Y. : Association for Computing Machinery, Inc. , c1982-
図書 <1000638397>
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 118)
図書 <1000586757>
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / edited by Ferenc Gécseg
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 117)
図書 <1000586772>
Advances in Petri nets, 1984 / edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science ; 188)
図書 <1000587010>
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 208)
図書 <1000587049>