1.

図書
図書
1. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Joost-Pieter Katoen (ed.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1601
所蔵情報: 図書館
2.

図書
図書
2. Euro-Par '99 parallel processing : 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999 : proceedings
Patrick Amestoy ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1685
所蔵情報: 図書館
3.

図書
図書
3. Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1536
所蔵情報: 図書館
4.

図書
図書
4. Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida,USA,March 30, 1998 : proceedings
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1459
所蔵情報: 図書館
5.

図書
図書
5. Parallel computer routing and communication : Second International Workshop, PCRCW '97, Atlanta, Georgia, USA, June 26-27, 1997 : proceedings (:)
Sudhakar Yalamanchili, José Duato (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1417
所蔵情報: 図書館
6.

図書
図書
6. Solving irregularly structured problems in parallel : 5th International Symposium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998 : proceedings
A. Ferreira ... [et al.], eds.
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1457
所蔵情報: 図書館
7.

図書
図書
7. Languages and compilers for parallel computing : 10th International Workshop, LCPC '97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings (: gw)
Zhiyuan Li ... [et al.] (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1366
所蔵情報: 図書館
8.

図書
図書
8. CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 1998 : proceedings
Davide Sangiorgi, Robert de Simone (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1466
所蔵情報: 図書館, 研究室
9.

図書
図書
9. Parallel computing technologies : 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997 : proceedings
Victor Malyshkin (ed.)
出版情報: Berlin ; Heidelberg ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1277
所蔵情報: 図書館
10.

図書
図書
10. Euro-Par'97, parallel processing : Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997 : proceedings (: pbk)
Christian Lengauer, Martin Griebl, Sergei Gorlatch, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1300
所蔵情報: 図書館
11.

図書
図書
11. Languages and compilers for parallel computing : 9th International Workshop, LCPC '96, San Jose, California, USA, August 8-10, 1996 : proceedings (: gw)
David Sehr ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1239
所蔵情報: 図書館
12.

図書
図書
12. CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings
Antoni Mazurkiewicz, Józef Winkowski (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1243
所蔵情報: 図書館, 研究室
13.

図書
図書
13. Computation of three-dimensional complex flows
edited by Michel Deville ... [et al.]
出版情報: Braunschweig/Wiesbaden : Vieweg, c1996
シリーズ名: Notes on numerical fluid mechanics ; v. 53
所蔵情報: 図書館
14.

図書
図書
14. Job scheduling strategies for parallel processing : IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996 : proceedings
Dror G. Feitelson, Larry Rudolph, (eds.)
出版情報: Berlin : Springer, 1996
シリーズ名: Lecture notes in computer science ; 1162
所蔵情報: 図書館
15.

図書
図書
15. Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing, August 12, 1996
H.J. Siegel, editor
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996
シリーズ名: Proceedings of the 1996 International Conference on Parallel Processing, August 12-16, 1996 / sponsored by International Association for Computers and Communications, the Pennsylvania State University ; ICPP Workshop
所蔵情報: 図書館
16.

図書
図書
16. 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.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1127
所蔵情報: 図書館
17.

図書
図書
17. 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
所蔵情報: 図書館
18.

図書
図書
18. Parallel symbolic languages and systems : International Workshop PSLS '95 Beaune, France, October 2-4, 1995 : proceedings
Takayasu Ito, Robert H. Halstead, Jr., Christeian Queinnec (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1068
所蔵情報: 図書館
19.

図書
図書
19. 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
所蔵情報: 図書館
20.

図書
図書
20. CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
Ugo Montanari, Vladimiro Sassone, (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1119
所蔵情報: 図書館
21.

図書
図書
21. Euro-Par'96 : parallel processing : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings (v. 1 ; v. 2)
Luc Bougé ...[et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1123-1124
所蔵情報: 図書館
22.

図書
図書
22. Applied parallel computing : industrial computation and optimization : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996 : proceedings
Jerzy Waśniewski ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1184
所蔵情報: 図書館
23.

図書
図書
23. Languages and compilers for parallel computing : 8th International Workshop, LCPC '95, Columbus, Ohio, USA, August 10-12, 1995 : proceedings (: gw)
C.- H. Huang ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1033
所蔵情報: 図書館
24.

図書
図書
24. Modal logic and process algebra : a bisimulation perspective (: pbk)
edited by Alban Ponse, Maarten de Rijke & Yde Venema
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1995
シリーズ名: CSLI lecture notes ; no. 53
所蔵情報: 図書館
25.

図書
図書
25. Proceedings : Frontiers '95 : The Fifth Symposium on the Frontiers of Massively Parallel Computation, February 6-9, 1995, McLean, Virginia
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; in coorperation with NASA/Goddard Space Flight Center, University of Maryland Institute for Advanced Computer Studies, George Mason University
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995
所蔵情報: 図書館
26.

図書
図書
26. Job scheduling strategies for parallel processing : IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995 : proceedings
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 949
所蔵情報: 図書館
27.

図書
図書
27. Parallel processing of discrete optimization problems : DIMACS workshop, April 28-29, 1994
Panos M. Pardalos, Mauricio G.C Resende, K.G. Ramakrishnan, editors
出版情報: Providence, RI : American Mathematical Society, 1995
シリーズ名: DIMACS series in discrete mathematics and theoretical computer science ; v. 22
所蔵情報: 図書館
28.

図書
図書
28. EURO-PAR '95 Parallel Processing : First International EURO-PAR Conference, Stockholm, Sweden, August 29-31, 1995 : proceedings (: gw)
Seif Haridi, Khayri Ali, Peter Magnusson (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 966
所蔵情報: 図書館
29.

図書
図書
29. Parallel algorithms for irregularly structured problems : Second International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 : proceedings (: gw)
Afonso Ferreira, José Rolim (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 980
所蔵情報: 図書館
30.

図書
図書
30. Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995
Jörg Desel, (ed.)
出版情報: Berlin ; New York : Springer , [London] : in collaboration with the British Computer Society, c1995
シリーズ名: Workshops in computing
所蔵情報: 図書館
31.

図書
図書
31. Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings (: gw)
K. Pingali ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 892
所蔵情報: 図書館
32.

図書
図書
32. CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings
Insup Lee, Scott A. Smolka, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 962
所蔵情報: 図書館
33.

図書
図書
33. Parallel computing technologies : Third International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings
Victor Malyshkin (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 964
所蔵情報: 図書館
34.

図書
図書
34. Applications in parallel and distributed computing : proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994
edited by Claude Girault
出版情報: Amsterdam ; Tokyo : North-Holland, 1994
シリーズ名: IFIP transactions ; A . Computer science and technology ; 44
所蔵情報: 図書館
35.

図書
図書
35. A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 803
所蔵情報: 図書館
36.

図書
図書
36. CONCUR '94: Concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings (: us ; : gw)
Bengt Jonsson, Joachim Parrow, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 836
所蔵情報: 図書館
37.

図書
図書
37. Parallel computer routing and communication : First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994 : proceedings (: gw ; : us)
Kevin Bolding, Lawrence Snyder (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 853
所蔵情報: 図書館
38.

図書
図書
38. Parallel problem solving from nature--PPSN III : International Conference on Evolutionary Computation, the Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994 : proceedings
Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; v.866
所蔵情報: 図書館
39.

図書
図書
39. Seventh International Parallel Processing Symposium : proceedings : April 13-16, 1993, Newport Beach, California
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with ACM SIGARCH
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1993
所蔵情報: 図書館
40.

図書
図書
40. Architecture
C.Y. Roger Chen and P. Bruce Berra, editors
出版情報: Boca Raton, Fla. ; Tokyo : CRC Press, c1993
シリーズ名: Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993 / sponsored by the Pennsylvania State University ; v. 1
所蔵情報: 図書館
41.

図書
図書
41. Software
Alok N. Choudhary and P. Bruce Berra, editors
出版情報: Boca Raton, Fla. ; Tokyo : CRC Press, c1993
シリーズ名: Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993 / sponsored by the Pennsylvania State University ; v. 2
所蔵情報: 図書館
42.

図書
図書
42. Algorithms & applications
Salim Hariri and P. Bruce Berra, editors
出版情報: Boca Raton, Fla. ; Tokyo : CRC Press, c1993
シリーズ名: Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993 / sponsored by the Pennsylvania State University ; v. 3
所蔵情報: 図書館
43.

図書
図書
43. Parallel computation : Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993 : proceedings (: us ; : gw)
Jens Volkert (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 734
所蔵情報: 図書館
44.

図書
図書
44. Parallel computing on distributed memory multiprocessors (: gw ; : us)
edited by Füsun Özgüner, Fikret Erçal
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: NATO ASI series ; Ser. F . Computer and system sciences; v. 103
所蔵情報: 図書館
45.

図書
図書
45. CONCUR '93 : 4th International Confernece on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 : proceedings (: us ; : gw)
Eike Best, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 715
所蔵情報: 図書館
46.

図書
図書
46. Algorithms and parallel VLSI architectures II : proceedings of the International Workshop, Algorithms and Parallel VLSI Architectures II, Château de Bonas, Gers, France, June 3-6, 1991
edited by Patrice Quinton, Yves Robert
出版情報: Amsterdam ; Tokyo : Elsevier, 1992
所蔵情報: 図書館
47.

図書
図書
47. CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings (: gw ; : us)
W.R. Cleaveland, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 630
所蔵情報: 図書館
48.

図書
図書
48. Parallel processing : CONPAR 92-VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 : proceedings (: gw ; : us)
L. Bougé ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 634
所蔵情報: 図書館
49.

図書
図書
49. Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings (: Berlin ; : New York)
B. Fronhöfer, G. Wrightson, eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 590 . Lecture notes in artificial intelligence
所蔵情報: 図書館
50.

図書
図書
50. Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings (: New York ; : Berlin)
H.P. Zima (ed.)
出版情報: Berlin ; New York : Springer, c1992
シリーズ名: Lecture notes in computer science ; 591
所蔵情報: 図書館
51.

図書
図書
51. Parallel and distributed processing '91 : proceedings of the Third Workshop on Parallel and Distributed Processing (WP&DP'91), Sofia, Bulgaria, 16-19 April, 1991
edited by Kiril Boyanov
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1992
所蔵情報: 図書館
52.

図書
図書
52. Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings (: Berlin ; : New York)
R.E. Zippel (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 584
所蔵情報: 図書館
53.

図書
図書
53. Parallel computational fluid dynamics '91 : proceedings of the Conference on Parallel Computational Fluid Dynamics, Stuttgart, Germany, 10-12 June, 1991
K.G. Reinsch ... [et al.], editors
出版情報: Amsterdam ; New York : Elsevier , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992
所蔵情報: 図書館
54.

図書
図書
54. Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings (: Berlin ; : New York)
A. Beaumont, G. Gupta (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 569
所蔵情報: 図書館
55.

図書
図書
55. Parallelism, learning, evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing, Logic, Organization, and Technology-WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989 : proceedings (: Berlin ; : New York)
J.D. Becker, I. Eisele, F.W. Mündemann, eds
出版情報: Berlin ; New York : Springer Verlag, c1991
シリーズ名: Lecture notes in computer science ; 565 . Lecture notes in artificial intelligence
所蔵情報: 図書館
56.

図書
図書
56. Parallel architectures and algorithms : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings (: Berlin ; : New York)
E.H.L. Aarts, J. van Leeuwen, M. Rem (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 505 . PARLE '91 : parallel architectures and languages Europe ; v. 1
所蔵情報: 図書館
57.

図書
図書
57. Parallel languages : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings (: Berlin ; : New York)
E.H.L. Aarts, J. van Leeuwen, M. Rem, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 506 . PARLE '91 : parallel architectures and languages Europe ; v. 2
所蔵情報: 図書館
58.

図書
図書
58. Parallel problem solving from nature : 1st workshop, PPSN 1, Dortmund, FRG, October 1-3, 1990 : proceedings (: New York ; : Berlin)
H.-P. Schwefel, R. Männer, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 496
所蔵情報: 図書館
59.

図書
図書
59. Parallel database systems : PRISMA workshop, Noordwijk, The Netherlands, September 24-26, 1990 : proceedings (: gw ; : us)
Pierre America, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 503
所蔵情報: 図書館
60.

図書
図書
60. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings (: gw ; : us)
J.C.M. Baeten, J.F. Groote, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 527
所蔵情報: 図書館
61.

図書
図書
61. Parallel computing 89 : proceedings of the International Conference, Leiden, 29 August-1 September 1989
edited by David J. Evans, Gerhard R. Joubert, Frans J. Peters
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990
シリーズ名: Advances in parallel computing ; v. 2
所蔵情報: 図書館
62.

図書
図書
62. Parallel processing in neural systems and computers
edited by Rolf Eckmiller, Georg Hartmann, Gert Hauske
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Elsevier Science Pub. Co., 1990
所蔵情報: 図書館
63.

図書
図書
63. CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings (: gw ; : us)
J.C.M. Baeten, J.W. Klop (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 458
所蔵情報: 図書館
64.

図書
図書
64. Specification and verification of concurrent systems (: Germany ; : U.S.)
C. Rattray, (ed.)
出版情報: London ; Tokyo : Springer-Verlag, c1990
シリーズ名: Workshops in computing
所蔵情報: 図書館
65.

図書
図書
65. CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings (: gw ; : us)
H. Burkhart (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 457
所蔵情報: 図書館