yr 〜
yr

Search results 257

HIPS 2004 : ninth international workshop on high-level parallel programming models and supportive environments : proceedings : 26 April 2004 : Santa Fe, New Mexico, USA : held in conjunction with 18th international parallel and distributed processing symposium (IPDPS). : Apr 2004, Santa Fe, NM.

HIPS 2004 : ninth international workshop on high-level parallel programming models and supportive environments : proceedings : 26 April 2004 : Santa Fe, New Mexico, USA : held in conjunction with 18th international parallel and distributed processing symposium (IPDPS). : Apr 2004, Santa Fe, NM.
Paper図書
IEEE Computer Society Pressc2004.<M17-05-474>
National Diet Library
  • Subject HeadingElectronic digital computers -- Programming. -- Congresses.

Eighth international workshop on high-level parallel programming models and supportive environments : proceedings : 22 April 2003 : Nice, France. : HIPS 2003 : Apr 2003, Nice, France.

Eighth international workshop on high-level parallel programming models and supportive environments : proceedings : 22 April 2003 : Nice, France. : HIPS 2003 : Apr 2003, Nice, France.
Paper図書
IEEE Computer Societyc2003.<M17-04-1371>
National Diet Library
  • Subject HeadingElectronic digital computers -- Programming. -- Congresses.

COMPSAC 2004 : proceedings of the 28th annual international computer software and applications conference : 28-30 September 2004 : Hong Kong. : Sep 2004, Hong Kong, China.

COMPSAC 2004 : proceedings of the 28th annual international computer software and applications conference : 28-30 September 2004 : Hong Kong. : Sep 2004, Hong Kong, China.
Paper図書
IEEE Computer Society Pressc2004.<M17-05-722>
National Diet Library
  • Subject HeadingElectronic digital computers -- Programming. -- Congresses. Computer software -- Congress...

COMPSAC 2004 : proceedings of the 28th annual international computer software and applications conference : workshops and fast abstracts : 28-30 September 2004 : Hong Kong. : workshop on quality assurance and testing of web-based applications : workshop on software cybernetics : workshop on geographic and biological data management : Sep 2004, Hong Kong, China.

COMPSAC 2004 : proceedings of the 28th annual international computer software and applications conference : workshops and fast abstracts : 28-30 September 2004 : Hong Kong. : workshop on quality assurance and testing of web-based applications : workshop on software cybernetics : workshop on geographic and biological data management : Sep 2004, Hong Kong, China.
Paper図書
IEEE Computer Societyc2004.<M17-05-725>
National Diet Library
  • Subject HeadingElectronic digital computers -- Programming. -- Congresses. Computer software -- Congress...

COMPSAC 2003 : 27th annual international computer software and applications conference : proceedings : 3-6 November 2003 : Dallas, Texas, USA. : Nov 2003, Dallas, TX.

COMPSAC 2003 : 27th annual international computer software and applications conference : proceedings : 3-6 November 2003 : Dallas, Texas, USA. : Nov 2003, Dallas, TX.
Paper図書
IEEE Computer Societyc2003.<M17-04-1860>
National Diet Library
  • Subject HeadingElectronic digital computers -- Programming. -- Congresses. Computer software -- Congress...

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds.

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds.
Paper図書
Springerc1995.<M15-A9766>
National Diet Library

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.). (Lecture notes in computer science)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8160>
National Diet Library

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)
Paper図書
Springerc1995.<M15-A9763>
National Diet Library

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.). (Lecture notes in computer science)

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9437>
National Diet Library

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed. (Lecture notes in computer science)

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9209>
National Diet Library

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed. (Lecture notes in computer science)

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9580>
National Diet Library

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8715>
National Diet Library

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.). (Lecture notes in computer science)

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8819>
National Diet Library

ECOOP '87, European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, proceedings / J. Bézivin ... [et al.] (eds.). (Lecture notes in computer science)

ECOOP '87, European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, proceedings / J. Bézivin ... [et al.] (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1987.<M15-A3662>
National Diet Library

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.). (Lecture notes in computer science)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6890>
National Diet Library

Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings / D.H. Pitt ... [et al.] (eds.). (Lecture notes in computer science)

Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings / D.H. Pitt ... [et al.] (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5330>
National Diet Library

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book, ed. (Lecture notes in computer science)

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7700>
National Diet Library

Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik. (Lecture notes in computer science)

Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1986.<M15-A3432>
National Diet Library

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / K.V. Nori, S. Kumar (eds.). (Lecture notes in computer science)

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / K.V. Nori, S. Kumar (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A3872>
National Diet Library

Proceedings of the twentieth annual ACM-SIAM symposium on discrete algorithms

Proceedings of the twentieth annual ACM-SIAM symposium on discrete algorithms
Paper図書
Association for Computing Machineryc2009
Other Libraries in Japan