上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.5)
該当件数:78件
Digitale Simulation / hrsg. von K. Bauknecht und W. Nef
New York : Springer-Verlag , 1971. - (Lecture notes in operations research and mathematical systems ; 51)
図書 <1000657898>
Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2067)
図書 <1001341818>
Computers and games : Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000 : revised papers / Tony Marsland, Ian Frank (eds.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2063)
図書 <1001356371>
Handheld and ubiquitous computing : Second International Symposium, HUC 2000 Bristol, UK, September 25-27, 2000 : proceedings / Peter Thomas, Hans-W. Gellersen (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1927)
図書 <1001195209>
Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 362)
図書 <1000347187>
Proceedings, the 2nd Symposium on the Frontiers of Massively Parallel Computations : proceedings of the second symposium sponsored by the Computer Society of the IEEE, NASA/Goddard Space Fight [sic] Center, IEEE National Capital Area Council, and George Mason University, and held at George Mason University, Fairfax, Virginia, October 10-12, 1988 / Ronnie Mills, editor
Washington : IEEE Computer Society Press. - Piscataway, NJ : IEEE Service Center [distributor] , 1988
図書 <1000646213>
System modeling and analysis : foundations of system performance evaluation / Hisashi Kobayashi, Brian L. Mark
Pearson international ed. - Upper Saddle River, N.J. : Pearson Prentice Hall/Pearson Education International , c2009
図書 <1002001909>
Ubicomp 2001 : ubiquitous computing : International Conference, Atlanta, Georgia, USA, September 30 - October 2, 2001 : proceedings / Gregory D. Abowd, Barry Brumitt, Steven Shafer (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2201)
図書 <1001337027>
The architecture of computer hardware and systems software : an information technology approach / Irv Englander
2nd ed. - New York : John Wiley & Sons , c2000
図書 <1001142655>
Proceedings / Supercomputing ; sponsored by IEEE Computer Society and ACM SIGARCH
1988- - 1993. - Washington, D.C : IEEE Computer Society Press , 1988-
図書 <1000672814>
Introduction to computer theory / Daniel I.A. Cohen
New York : Wiley , c1986
図書 <1000619367>
Microcomputers and their applications for developing countries : report of an ad hoc panel on the use of microcomputers for developing countries
Boulder : Westview Press , c1986. - (Westview special studies in science, technology, and public policy.)
図書 <1000621767>
Designing efficient algorithms for parallel computers / Michael J. Quinn
New York : McGraw-Hill , c1987. - (McGraw-Hill series in supercomputing and artificial intelligence.)
図書 <1000586396>
Supercomputers : technology and applications : Fourteenth Euromicro Symposium on Microprocessing and Microprogramming (Euromicro '88), Zurich, August 29-September 1, 1988 / edited by Stephen Winter, Harald Schumny
Amsterdam ; New York ; New York, N.Y., U.S.A. : North-Holland : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1988
図書 <1000586561>
A survey of verification techniques for parallel programs / Howard Barringer
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 191)
図書 <1000586725>
Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 224)
図書 <1000587379>
LUCAS associative array processor : design, programming, and application studies / Christer Fernstrom, Ivan Kruzela, Bertil Svensson
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 216)
図書 <1000587398>
PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings / edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
v. 1,v. 2. - Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 258-259)
図書 <1000587409>
Future parallel computers : an advanced course, Pisa, Italy, June 9-10, 1986 : proceedings / P. Treleaven, M. Vanneschi (eds.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 272)
図書 <1000587426>
Supercomputing : 1st international conference, Athens, Greece, June 8-12, 1987 : proceedings / E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos, eds
Berlin ; New York : Springer-Verlag , c1988. - (Lecture notes in computer science. ; 297)
図書 <1000587437>