上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76)
該当件数:44件
Proceedings of the fifth IBM symposium on mathematical foundations of computer science
Tokyo : Academic and Scientific Programs, IBM Japan , 1980
図書 <1000362626>
Informatics : 10 years back, 10 years ahead / Reinhard Wilhelm (ed.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2000)
図書 <1001241304>
Where mathematics, computer science, linguistics, and biology meet : essays in honour of Gheorghe Păun / edited by Carlos Martín-Vide and Victor Mitrana
Dordrecht ; Boston : Kluwer Academic Publishers , c2001
図書 <1001234522>
Jewels are forever : contributions on theoretical computer science in honor of Arto Salomaa / Juhani Karhumäki ... [et al.]
Berlin ; New York : Springer , c1999
図書 <1001185759>
Computer science project work : principles and pragmatics / Sally Fincher, Marian Petre and Martyn Clark (eds)
London ; New York : Springer , c2001
図書 <1001270939>
Theoretical aspects of computer science : advanced lectures / Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi (eds.)
Berlin ; Tokyo : Springer , c2002. - (Lecture notes in computer science ; 2292)
図書 <1001362523>
Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs / Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel
Tokyo : Corporate & Scientific Programs IBM Japan , [1981]
図書 <1000324337>
Between mind and computer : fuzzy science and engineering / editors: P.Z. Wang, K.F. Loe
Singapore : World Scientific , 1993. - (Advances in fuzzy systems--applications and theory ; v. 1)
図書 <1000658406>
The Analysis of concurrent systems : Cambridge, September 12-16, 1983, proceedings / edited by B.T. Denvir ... [et al.]
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 207)
図書 <1000586959>
The structure of style : algorithmic approaches to understanding manner and meaning / Shlomo Argamon, Kevin Burns, Shlomo Dubnov, editors
: hbk. - Heidelberg ; New York : Springer , c2010
図書 <1002272040>
Nine algorithms that changed the future : the ingenious ideas that drive today's computers / John MacCormick ; with a foreword by Chris Bishop
: hardcover. - Princeton : Princeton University Press , c2012
図書 <1002529454>
HAL's legacy : 2001ʹs computer as dream and reality / edited by David G. Stork
Cambridge, Mass. : MIT Press , c1997
図書 <1000547819>
Algorithms and complexity / edited by Jan van Leeuwen
: Elsevier,: MIT Press. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A)
図書 <1001983567>
Handbook of theoretical computer science / editor, Jan van Leeuwen
Elsevier : set,MIT Press : set. - Amsterdam ; Tokyo : Elsevier. - Cambridge, Mass. : MIT Press , 1990-
図書 <1001983570>
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / A. Fuhrmann, M. Morreau, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 465 . Lecture notes in artificial intelligence)
図書 <1000412489>
Approximations for digital computers / Cecil Hastings, Jr ; assisted by Jeanne T. Hayward, James P. Wong, Jr
Princeton, N. J. : Princeton Univ. Press , 1955. - (Rand series (New York, N.Y.))
図書 <1000362308>
Computer systems / J. Stanley Warford
Boston : Jones and Bartlett Publishers , c1999
図書 <1001293773>
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2244)
図書 <1001353344>
The second self : computers and the human spirit / Sherry Turkle
: pbk. - 20th anniversary ed. - Cambridge, Mass. : MIT Press , c2005
図書 <1001695354>
Computer science reconsidered : the invocation model of process expression / Karl M. Fant
Hoboken, N.J. : Wiley-Interscience , c2007
図書 <1001889876>