選択資料から書架並びで前後20冊ずつを表示します。
Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, proceedings / Paolo Ciancarini, Alexander L. Wolf (eds.)
書庫2階
Coordination languages and models : 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings / António Porto, Gruia-Catalin Roman (eds.)
書庫2階
Coordination models and languages : 5th International Conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings / Farhad Arbab, Carolyn Talcott (eds.)
書庫2階
A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)
書庫2階
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.)
書庫2階
Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997 : proceedings / Marian Bubak, Jack Dongarra, Jerzy Waśniewski, (eds.)
書庫2階
Recent advances in parallel virtual machine and message passing interface : 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998 : proceedings / Vassil Alexandrov, Jack Dongarra (eds.)
書庫2階
Recent advances in parallel virtual machine and message passing interface : 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999 : proceedings / Jack Dongarra, Emilio Luque, Tomàs Margalef (eds.)
書庫2階
Recent advances in parallel virtual machine and message passing interface : 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 10-13, 2000 : proceedings / Jack Dongarra, Peter Kacsuk, Norbert Podhorszki (eds.)
書庫2階
Recent advances in parallel virtual machine and message passing interface : 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001 : proceedings / Yiannis Cotronis, Jack Dongarra (eds.)
書庫2階
Parallel virtual machine-EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings / Arndt Bode ... [et al.], (eds.)
書庫2階
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid
書庫2階
Scientific computing : an introduction with parallel computing / Gene Golub, James M. Ortega
書庫2階
Handbook of parallel computing : models, algorithms and applications / edited by Sanguthevar Rajasekaran, John Reif
書庫2階
Parallel architectures and their efficient use : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 proceedings / F. Meyer auf der Heide, B. Monien, A.L. Rosenberg (eds.)
書庫2階
Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings / H.P. Zima (ed.)
書庫2階
Parallel computation : Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993 : proceedings / Jens Volkert (ed.)
書庫2階
Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings / László Böszörményi (ed.)
書庫2階
Parallel computation : 4th International ACPC Conference including special tracks on Parallel Numerics (ParNum '99) and Parellel Computing in Image Processing, Video Processing, and Multimedia, Salzburg, Austria, February 16-18, 1999 : proceedings / Peter Zinterhof, Marian Vajteršic, Andreas Uhl (ed.)
書庫2階
Large-scale scientific computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers / Svetozar Margenov, Jerzy Was̊niewski, Plamen Yalamov (eds.)
書庫2階