上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.9.D5)
該当件数:48件
Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig
: hdbd. - Berlin : Springer , c2006
図書 <1001791020>
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>
Distributed virtual worlds : foundations and implementation techniques using VRML, Java, and CORBA / Stephan Diehl
Berlin ; New York : Springer , c2001
図書 <1001256580>
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>
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>
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>
Content distribution networks : an engineering approach / Dinesh C. Verma
New York : J. Wiley & Sons , c2002
図書 <1001367901>
Distributed computing : 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 : proceedings / Jennifer Welch (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2180)
図書 <1001327579>
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings / Maurice Herlihy (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1914)
図書 <1001202612>
Distributed computing : 13th International Symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings / Prasad Jayanti (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1693)
図書 <1001084271>
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>
Distributed communities on the web : third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000 : proceedings / Peter Kropf ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1830)
図書 <1001158941>
Distributed computing : 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings / Shay Kutten (ed.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1499)
図書 <1000997436>
Distributed systems : concepts and design / George Coulouris ... [et al.]
5th ed. - Boston : Addison-Wesley , c2012
図書 <1002541821>
The ... International Conference on Distributed Computing Systems
1987- - 1998. - Washington, D.C. : Computer Society Press , c1986-
図書 <1000688850>
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>
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : proceedings / Rachid Guerraoui (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2218)
図書 <1001341848>
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>