大学内の資料を探す
大学内の資料、データベース、電子ジャーナル・電子ブック等をまとめて検索する「HOSEI Search」の簡易版です
全国の大学図書館の本を探す
日本の論文を探す
国立国会図書館サーチで探す
本学の蔵書を検索した結果です。 電子媒体は詳細画面からリンクする事が可能です。自宅など学外から電子媒体を表示させる場合は、【ＶＰＮ接続】を行う必要があります。
検索キーワード：(件名: #Computer Science)
該当件数:18,838件
Computer science in perspective : essays dedicated to Thomas Ottmann / Rolf Klein, Hans-Werner Six, Lutz Wegner (eds.)
Berlin ; Tokyo : Springer , c2003. - (Lecture notes in computer science ; 2598)
図書 <1010316306> [BA61330749]
Handbook of theoretical computer science / editor, Jan van Leeuwen
MIT Press : set. - MIT Press paperback edition. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1994
図書 <1400363026> [BA2255168X]
Algorithms and complexity / edited by Jan van Leeuwen
: pbk. - MIT Press paperback edition. - Cambridge, Mass. : MIT Press. - Amsterdam ; Tokyo : Elsevier , 1994. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A)
図書 <1210133241> [BA22551624]
Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.)
Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1337)
図書 <1210135273> [BA33419549]
Spatial cognition : an interdisciplinary approach to representing and processing spatial knowledge / Christian Freksa, Christopher Habel , Karl F. Wender (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1404 . Lecture notes in artificial intelligence)
図書 <1210136627> [BA3620587X]
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1181)
図書 <1210140020> [BA29335795]
1st IEEE International Conference on Cognitive Informatics (ICCI 2002)
電子ブック <EB00000044>
1st International Symposium on Cyber Worlds (CW 2002
電子ブック <EB00000057>
2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops)
電子ブック <EB00000087>
2nd IEEE International Conference on Pervasive Computing (PerCom 2004)
電子ブック <EB00000088>
2nd IEEE Symposium on High-Performance Computer Architecture
電子ブック <EB00000093>
2nd International Conference on Application of Concurrency to System Design, 2001, Newcastle upon Tyne, UK
電子ブック <EB00000100>
2nd International Conference on Computer Science and Engineering : Antalya-Türkiye 5-8 Ekim (October) 2017
電子ブック <EB00000101>
2nd International Conference on Systems and Computer Science : 26-27 August 2013
電子ブック <EB00000105>
2nd International Workshop on Distributed Interactive Simulation and Real Time Applications : proceedings : July 19-20, 1998, Montreal, Canada, in conjunction with MASCOTS'98
電子ブック <EB00000110>
3rd Asia-Pacific computer and human interaction : proceedings, Shonan Village Center, Japan, July 15-17, 1998
電子ブック <EB00000123>
3rd IEEE International Symposium on Cluster Computing and the Grid
電子ブック <EB00000134>
3rd IEEE Symposium on Application-Specific Software Engineering Technology : proceedings, March 24-25, 2000, Richardson, Texas
電子ブック <EB00000137>
3rd IEEE Workshop on Mobile Computing Systems and Applications: Proceedings, December 7-8, 2000, Monterey, California
電子ブック <EB00000138>
3rd IET International Conference on Intelligent Environments, IE 07 : 24-25 September 2007 : University of Ulm, Ulm, Germany
電子ブック <EB00000139>
