上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 005.2)
該当件数:20件
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>
The Data parallel programming model : foundations, HPF realization, and scientific applications / Guy-René Perrin, Alain Darte (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1132)
図書 <1000543575>
Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings / K. Pingali ... [et al.]
: gw. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 892)
図書 <1000514181>
Parallel symbolic computing : languages, systems, and applications : US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings / Robert H. Halstead, Jr., Takayasu Ito, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 748)
図書 <1000488516>
Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings / Utpal Banerjee ... [et al.] (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 757)
図書 <1000489104>
Languages and compilers for parallel computing : 6th international workshop, Portland, Oregon, USA, August 12-14, 1993 : proceedings / Utpal Banerjee ... [et al.], (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 768)
図書 <1000491537>
Visualization of scientific parallel programs / Gerald Tomas, Christoph W. Ueberhuber
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 771)
図書 <1000494995>
Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings / Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 791)
図書 <1000500959>
Computers as theatre / Brenda Laurel
Reading, Mass. ; Tokyo : Addison-Wesley , c1991
図書 <1000436910>
Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings / J.B. [i.e. P.] Banâtre, D. Le Métayer, eds
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 574)
図書 <1000440244>
Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, proceedings / T. Ito, R.H. Halstead, Jr. (eds.) ; foreword by J. McCarthy
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 441)
図書 <1000378205>
11th IEEE Workshop on Real-Time Operating Systems and Software : RTOSS '94 : proceedings, May 18-19, 1994, Seattle, Washington / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
paper,microfiche. - Los Alamitos, Calif. : IEEE Computer Society Press , c1994
図書 <1000513211>
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao
: gw. - Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 908)
図書 <1000518422>
Theory and practice of parallel programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings / Takayasu Ito, Akinori Yonezawa (eds.)
: gw. - Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 907)
図書 <1000519975>
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid
New York : Springer , 1996. - (Lecture notes in computer science ; 1032)
図書 <1000533743>
Parallel algorithms for irregularly structured problems : Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings / A. Ferreira ... [et al.], (eds.)
Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1117)
図書 <1000541966>
Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 1019)
図書 <1000531847>
Coordination languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 15-17 1996 : proceedings / Paolo Ciancarini, Chris Hankin (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1061)
図書 <1000537342>
Coordination languages and models : Second International Conference COORDINATION '97, Berlin, Germany, September 1-3 1997 : proceedings / David Garlan, Daniel Le Métayer (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1282)
図書 <1000554992>
Parallel algorithms for irregularly structured problems : Second International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 : proceedings / Afonso Ferreira, José Rolim (eds.)
: gw. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 980)
図書 <1000526180>