上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード：(書名(完全形): Lecture notes in computer science ;)
該当件数:2,742件
Lecture notes in computer science
volumes 1-100 index. - Berlin ; Tokyo : Springer-Verlag
図書 <1001043621>
: Springer
電子ジャーナル <EJ00026632>
Temporally distributed symptoms in technical diagnosis / K. Nökel
Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 517. Lecture notes in artificial intelligence). - (Lecture notes in computer science ; 517). - (Lecture notes in computer science ; Lecture notes in artificial intelligence.)
図書 <1000650452>
Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July/August 1987 / Rolf T. Nossum, ed
Berlin ; New York : Springer-Verlag , 1989. - (Lecture notes in computer science. ; 345.). - (Lecture notes in computer science. ; Lecture notes in artificial intelligence.)
図書 <1000587472>
The dynamics of concepts : a connectionist model / Philip R. Van Loocke
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 766). - (Lecture notes in computer science ; Lecture notes in artificial intelligence)
図書 <1000491562>
EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, proceedings / J.P. Martins, E.M. Morgado, eds
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science. ; 390.). - (Lecture notes in computer science. ; Lecture notes in artificial intelligence.)
図書 <1000593119>
The design of intelligent agents : a layered approach / Jörg Müller
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1177.). - (Lecture notes in computer science ; 1177.). - (Lecture notes in computer science ; Lecture notes in artificial intelligence.)
図書 <1000660863>
Nonmonotonic logics : basic concepts, results, and techniques / Karl Schlechta
New York : Springer , 1997. - (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1187.). - (Lecture notes in computer science ; 1187.). - (Lecture notes in computer science ; Lecture notes in artificial intelligence.)
図書 <1000660939>
Intelligent agent systems : theoretical foundations and practical issues : based on a workshop held at PRICAI'96, Cairns, Australia, August 26-30, 1996 / Lawrence Cavedon, Anand Rao, Wayne Wobcke (eds.)
New York : Springer , 1997. - (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1209.). - (Lecture notes in computer science ; 1209.). - (Lecture notes in computer science ; Lecture notes in artificial intelligence.)
図書 <1000661033>
Creating personalities for synthetic actors : towards autonomous personality agents / Robert Trappl, Paolo Petta, eds
Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1195.). - (Lecture notes in computer science ; 1195.). - (Lecture notes in computer science ; Lecture notes in artificial intelligence.)
図書 <1000661038>
Computational learning theory : Third European Conference, EuroCOLT'97, Jerusalem, Israel, March 1997 proceedings / Shai Ben-David (ed.)
New York : Springer , 1997. - (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1208.). - (Lecture notes in computer science ; 1208.). - (Lecture notes in computer science ; Lecture notes in artificial intelligence.)
図書 <1000661043>
Numerical integration on advanced computer systems / ARnold R. Krommer, Christoph W. Ueberhuber
Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 848)
図書 <1000659069>
Optimization of SQL queries for parallel machines / Waqar Hasan
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1182)
図書 <1000660865>
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science. ; 164)
図書 <1000626491>
Negation and control in PROLOG / Lee Naish
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 238)
図書 <1000627167>
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 192)
図書 <1000586724>
A survey of verification techniques for parallel programs / Howard Barringer
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 191)
図書 <1000586725>
A hierarchical associative processing system / Heinrich J. Stüttgen
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 195)
図書 <1000586733>
How to multiply matrices faster / Victor Pan
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science. ; 179)
図書 <1000586750>
On the integration of algebraic functions / James Harold Davenport
Berlin ; New York : Springer , 1981. - (Lecture notes in computer science. ; 102)
図書 <1000586754>
