1.

図書
図書
1. Job scheduling strategies for parallel processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004 : revised selected papers
Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3277
所蔵情報: loading…
2.

図書
図書
2. Job scheduling strategies for parallel processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005 : revised selected papers
Dror Feitelson ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3834
所蔵情報: loading…
3.

図書
図書
3. 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 ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1601
所蔵情報: loading…
4.

図書
図書
4. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
David O'Hallaron (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1511
所蔵情報: loading…
5.

図書
図書
5. 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
所蔵情報: loading…
6.

図書
図書
6. 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
所蔵情報: loading…
7.

図書
図書
7. Euro-Par '98 parallel processing : 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998, proceedings
David Pritchard , Jeff Reeve (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1470
所蔵情報: loading…
8.

図書
図書
8. 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
所蔵情報: loading…
9.

図書
図書
9. Vector and parallel processing - VECPAR'98 : Third International Conference Porto, Portugal, June 21-23, 1998 : selected papers and invited talks
José M.L.M. Palma, Jack Dongarra, Vicente Hernández(eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1573
所蔵情報: loading…
10.

図書
図書
10. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings
Miquel Bertran, Teodor Rus, (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1231
所蔵情報: loading…
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
所蔵情報: loading…
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
所蔵情報: loading…
13.

図書
図書
13. Solving irregularly structured problems in parallel : 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997 : proceedings
G. Bilardi ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1253
所蔵情報: loading…
14.

図書
図書
14. Job scheduling strategies for parallel processing : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997 : proceedings
Dror G. Feitelson, Larry Rudolph, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1291
所蔵情報: loading…
15.

図書
図書
15. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings (: kart)
Didier Galmiche (ed.)
出版情報: Berlin ; Heidelberg : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1227 . Lecture notes in artificial intelligence
所蔵情報: loading…
16.

図書
図書
16. SPAA '97 : 9th Annual ACM Symposium on Parallel Algorithms and Architectures, June 22-25, 1997, Newport, Rhode Island, USA
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1997
所蔵情報: loading…
17.

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

図書
図書
18. 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
所蔵情報: loading…
19.

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

図書
図書
20. Languages and compilers for parallel computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 : proceedings
Siddhartha Chatterjee ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1656
所蔵情報: loading…
21.

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

図書
図書
22. Job scheduling strategies for parallel processing : IPPS/SPDP '99 Workshop, JSSPP '99, San Juan, Puerto Rico, April 16, 1999 : proceedings
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1659
所蔵情報: loading…
23.

図書
図書
23. CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
Jos C.M. Baeten, Sjouke Mauw (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1664
所蔵情報: loading…
24.

図書
図書
24. Computing in object-oriented parallel environments : third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 : proceedings
Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1732
所蔵情報: loading…
25.

図書
図書
25. 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
所蔵情報: loading…
26.

図書
図書
26. 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
所蔵情報: loading…
27.

図書
図書
27. 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
所蔵情報: loading…
28.

図書
図書
28. Applied parallel computing : computations in physics, chemistry and engineering science : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
Jack Dongarra, Kaj Madsen, Jerzy Waśniewski, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1041
所蔵情報: loading…
29.

図書
図書
29. 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
所蔵情報: loading…
30.

図書
図書
30. 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
所蔵情報: loading…
31.

図書
図書
31. 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
所蔵情報: loading…
32.

図書
図書
32. 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
所蔵情報: loading…
33.

図書
図書
33. 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
所蔵情報: loading…
34.

図書
図書
34. Eighth IEEE Symposium on Parallel and Distributed Processing, October 23/26, 1996, New Orleans, Louisiana : proceedings (: case)
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996
所蔵情報: loading…
35.

図書
図書
35. Seventh IEEE Symposium on Parallel and Distributed Processing, October 25-28, 1995, San Antonio, Texas : proceedings (: case)
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995
所蔵情報: loading…
36.

図書
図書
36. 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
所蔵情報: loading…
37.

図書
図書
37. Euro-Par 2000 parallel processing : 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000 : proceedings
Arndt Bode ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1900
所蔵情報: loading…
38.

図書
図書
38. Coordination languages and models : 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings
António Porto, Gruia-Catalin Roman (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1906
所蔵情報: loading…
39.

図書
図書
39. Languages and compilers for parallel computing : 12th International Workshop, LCPC'99, La Jolla, CA, USA, August 4-6, 1999 : proceedings
Larry Carter, Jeanne Ferrante (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1863
所蔵情報: loading…
40.

図書
図書
40. CONCUR 2000 - concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings
Catuscia Palamidessi (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1877
所蔵情報: loading…
41.

図書
図書
41. Job scheduling strategies for parallel processing : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003 : revised papers
Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2862
所蔵情報: loading…
42.

図書
図書
42. Languages and compilers for parallel computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers
Henry G. Dietz (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2624
所蔵情報: loading…
43.

図書
図書
43. Languages and Compilers for Parallel Computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers
Samuel P. Midkiff ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2017
所蔵情報: loading…
44.

図書
図書
44. Applied parallel computing : advanced scientific computing : 6th International conference, PARA 2002, Espoo, Finland, June 15-18, 2002 : proceedings
Juha Fagerholm ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2367
所蔵情報: loading…
45.

図書
図書
45. Parallel processing and applied mathematics : 4th International Conference, PPAM 2001, Nałęczów, Poland, September 9-12, 2001 : revised papers
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2328
所蔵情報: loading…
46.

図書
図書
46. Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Holger Hermanns, Roberto Segala (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2399
所蔵情報: loading…
47.

図書
図書
47. Coordination Models and Languages : 5th International Conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings
Farhad Arbab, Carolyn Talcott (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2315
所蔵情報: loading…
48.

図書
図書
48. CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings
Luboš Brim ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2421
所蔵情報: loading…
49.

図書
図書
49. Euro-Par 2002 parallel processing : 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002 : proceedings
Burkhard Monien, Rainer Feldmann (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2400
所蔵情報: loading…
50.

図書
図書
50. Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings
Victor Malyshkin (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2127
所蔵情報: loading…