選択資料から書架並びで前後20冊ずつを表示します。
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
書庫2階
Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner
書庫2階
Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers / K.P. Birman, F. Mattern, A. Schiper, (eds.)
書庫2階
Distributed systems for system architects / by Paulo Veríssimo, Luís Rodrigues
書庫2階
Content distribution networks : an engineering approach / Dinesh C. Verma
書庫2階
Advances in distributed systems : advanced distributed computing: from algorithms to systems / Sacha Krakowiak, Santosh Shrivastava (eds.)
書庫2階
Collaboration between human and artificial societies : coordination and agent-based distributed computing / Julian A. Padget (ed.)
書庫2階
Distributed communities on the web : third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000 : proceedings / Peter Kropf ... [et al.] (eds.)
書庫2階
Distributed virtual worlds : foundations and implementation techniques using VRML, Java, and CORBA / Stephan Diehl
書庫2階
Distributed computing : 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings / Shay Kutten (ed.)
書庫2階
Distributed computing : 13th International Symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings / Prasad Jayanti (ed.)
書庫2階
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings / Maurice Herlihy (ed.)
書庫2階
Distributed computing : 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 : proceedings / Jennifer Welch (ed.)
書庫2階
Distributed algorithms : 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987 : proceedings / J. van Leeuwen (ed.)
書庫2階
Formal methods for distributed processing : a survey of object-oriented approaches / edited by Howard Bowman, John Derrick
書庫2階
Distributed algorithms : 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993 : proceedings / André Schiper (ed.)
書庫2階
Distributed algorithms : 8th international workshop / WDAG '94, Terschelling, the Netherlands, September 29-October 1, 1994, proceedings ; Gerard Tel, Paul Vitányi (eds.)
書庫2階
Distributed algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings / Özalp Babaoğlu, Keith Marzullo (eds.)
書庫2階
Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997 : proceedings / Marios Mavronicolas, Philippas Tsigas (eds.)
書庫2階