上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Distributed processing)
該当件数:98件
Distributed systems : concepts and design / George Coulouris ... [et al.]
5th ed. - Boston : Addison-Wesley , c2012
図書 <1002541821>
Cooperative environments for distributed systems engineering : the distributed systems environment report / Khalil Drira, Andrea Martelli, Thierry Villemur (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2236)
図書 <1001353353>
Distributed systems for system architects / by Paulo Veríssimo, Luís Rodrigues
Boston, MA : Kluwer Academic Publishers , c2001. - (Advances in distributed computing and middleware ; dist1)
図書 <1001281054>
Multiagent systems : a theoretical framework for intentions, know-how, and communications / Munindar P. Singh ; foreword by Michael N. Huhns
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 799 . Lecture notes in artificial intelligence)
図書 <1000502153>
Advances in distributed systems : advanced distributed computing: from algorithms to systems / Sacha Krakowiak, Santosh Shrivastava (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1752)
図書 <1001125866>
Trends in distributed systems : corba and beyond : International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996 : proceedings / Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1161)
図書 <1000544336>
Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig
: hdbd. - Berlin : Springer , c2006
図書 <1001791020>
Architectural design of multi-agent systems : technologies and techniques / Hong Lin [editor]
: hardcover. - Hershey : Information Science Reference , c2007
図書 <1001894109>
The ... International Conference on Distributed Computing Systems
1987- - 1998. - Washington, D.C. : Computer Society Press , c1986-
図書 <1000688850>
Objective coordination in multi-agent system engineering : design and implementation / Michael Schumacher
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2039 . Lecture notes in artificial intelligence)
図書 <1001266343>
Object-based parallel and distributed computation : France-Japan workshop, OBPDC ' 95, Tokyo, Japan, June 21-23, 1995 : selected papers / Jean-Pierre Briot ... [ et al.]
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1107)
図書 <1000542099>
Security engineering : a guide to building dependable distributed systems / Ross J. Anderson
: cloth. - 2nd ed. - Indianapolis, Ind. : Wiley Pub. , c2008
図書 <1001954937>
Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 430)
図書 <1000371778>
Distributed programming paradigms with cryptography applications / Jonathan S. Greenfield
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 870)
図書 <1000506797>
Trends in distributed systems: towards a universal service market : third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings / Claudia Linnhoff-Popien, Heinz-Gerd Hegering (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1890)
図書 <1001195270>
Engineering distributed objects / Wolfgang Emmerich
Chichester ; New York : John Wiley & Sons , c2000
図書 <1001191274>
Formal methods for distributed processing : a survey of object-oriented approaches / edited by Howard Bowman, John Derrick
Cambridge ; New York : Cambridge University Press , 2001
図書 <1001341438>
Conflicting agents : conflict management in multi-agent systems / edited by Catherine Tessier, Laurent Chaudron, Heinz-Jürgen Müller
Boston : Kluwer Academic , c2001. - (Multiagent systems, artificial societies, and simulated organizations : International book series ; [1])
図書 <1001226756>
Computer-supported cooperative work : introduction to distributed applications / Uwe M. Borghoff, Johann H. Schlichter
Berlin ; New York : Springer , c2000
図書 <1001228284>
Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings / Morris Sloman, Jorge Lobo, Emil C. Lupu (eds.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 1995)
図書 <1001238567>