上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード：(書名(完全形): Lecture notes in computer science ;)
該当件数:2,741件
Lecture notes in computer science
: 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>
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 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>
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>
Distributed programming paradigms with cryptography applications / Jonathan S. Greenfield
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 870)
図書 <1000506797>
Closed object boundaries from scattered points / Remco C. Veltkamp
Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 885)
図書 <1000509736>
Towards a CSCW framework for scientific cooperation in Europe / Hannes P. Lubich
: gw,: us. - Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 889)
図書 <1000514177>
Efficient graph rewriting and its implementation / Heiko Dörr
: gw,: us. - New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 922)
図書 <1000524520>
Exploitation of fine-grain parallelism / Günter Böckle
: gw,: us. - Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 942)
図書 <1000524530>
Hybrid systems / Panos Antsaklis [et al.] (eds.)
2,4,5. - Berlin : Springer , c1995-. - (Lecture notes in computer science ; 999, 1273, 1567)
図書 <1000528949>
The complexity of simple computer architectures / Silvia M. Müller, Wolfgang J. Paul
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 995)
図書 <1000529897>
Spatial representation and motion planning / [edited by] Angel Pasqual del Pobil, Miguel Angel Serna
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 1014)
図書 <1000529996>
Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 1001)
図書 <1000531783>
Disconnected operation in a distributed file system / James Jay Kistler
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 1002)
図書 <1000531784>
