本文に飛ぶ

年 〜
年

検索結果 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.
紙図書
IEEE Computer Society Pressc2004.<M17-05-474>
国立国会図書館

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.
紙図書
IEEE Computer Societyc2003.<M17-04-1371>
国立国会図書館

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.
紙図書
IEEE Computer Societyc2004.<M17-05-725>
国立国会図書館

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.
紙図書
IEEE Computer Society Pressc2004.<M17-05-722>
国立国会図書館

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.
紙図書
IEEE Computer Societyc2003.<M17-04-1860>
国立国会図書館

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.
紙図書
Springerc1995.<M15-A9766>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1992.<M15-A8160>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springerc1995.<M15-A9763>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1994.<M15-A9437>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1994.<M15-A9209>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1995.<M15-A9580>
国立国会図書館
  • 件名...-- 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)
紙図書
Springer-Verlagc1993.<M15-A8715>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1993.<M15-A8819>
国立国会図書館
  • 件名...-- 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)
紙図書
Springer-Verlagc1987.<M15-A3662>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1990.<M15-A6890>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1989.<M15-A5330>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1991.<M15-A7700>
国立国会図書館
  • 件名...-- 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)
紙図書
Springer-Verlagc1986.<M15-A3432>
国立国会図書館
  • 件名Electronic 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)
紙図書
Springer-Verlagc1988.<M15-A3872>
国立国会図書館
  • 件名Computer software -- Congresses. Electronic digital computers -- Programming -- Congresses.

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

Proceedings of the twentieth annual ACM-SIAM symposium on discrete algorithms
紙図書
Association for Computing Machineryc2009
全国の図書館
  • 件名Electronic digital computers -- Programming -- Congresses Computer algorithms -- Congre...
  • 件名（識別子）Electronic digital computers -- Programming -- Congresses Computer algorithms -- Congre...
RSS