Jump to main content

yr 〜
yr

Search results 247

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).

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).
Paper図書
IEEE Computer Society Pressc2004.<M17-05-474>
National Diet Library

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

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

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

COMPSAC 2004 : proceedings of the 28th annual international computer software and applications conference : 28-30 September 2004 : Hong Kong.
Paper図書
IEEE Computer Society Pressc2004.<M17-05-722>
National Diet Library

COMPSAC 2004 : proceedings of the 28th annual international computer software and applications conference : workshops and fast abstracts : 28-30 September 2004 : Hong Kong.

COMPSAC 2004 : proceedings of the 28th annual international computer software and applications conference : workshops and fast abstracts : 28-30 September 2004 : Hong Kong.
Paper図書
IEEE Computer Societyc2004.<M17-05-725>
National Diet Library

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

COMPSAC 2003 : 27th annual international computer software and applications conference : proceedings : 3-6 November 2003 : Dallas, Texas, USA.
Paper図書
IEEE Computer Societyc2003.<M17-04-1860>
National Diet Library

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Categories (Mathematics) -- ...

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses.

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Computer science -- Mathemat...

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Programming languages (Elect...

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Programming languages (Elect...

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
  • Subject Heading...-- Congresses. Electronic digital computers -- Programming -- Congresses. Algorithms -- Congresses.

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Computer science -- Mathemat...

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
  • Subject Heading...-- Congresses. Electronic digital computers -- Programming -- Congresses. Algorithms -- Congresses.

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses.

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Programming languages (Elect...

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Categories (Mathematics) -- ...

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
  • Subject Heading...-- Congresses. Electronic digital computers -- Programming -- Congresses. Algorithms -- Congresses.

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
  • Subject HeadingElectronic digital computers -- Programming -- Congresses.

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
  • Subject HeadingComputer software -- Congresses. Electronic digital computers -- Programming -- Congresses.

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A4999>
National Diet Library
  • Subject HeadingElectronic digital computers -- Programming -- Congresses. Electronic data processing -...
RSS