本文に飛ぶ

年 〜
年

検索結果 1,083 件

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>
国立国会図書館
  • 件名Electronic 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.
紙図書
IEEE Computer Societyc2003.<M17-04-1371>
国立国会図書館
  • 件名Electronic digital computers -- Programming. -- Congresses.

Combinatorial algorithms pt. 2

Combinatorial algorithms pt. 2
紙図書
Donald E. KnuthAddison-Wesleyc2023
全国の図書館

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>
国立国会図書館
  • 件名Electronic digital computers -- Programming. -- Congresses. Computer softw...

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>
国立国会図書館
  • 件名Electronic digital computers -- Programming. -- Congresses. Computer softw...

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>
国立国会図書館
  • 件名Electronic digital computers -- Programming. -- Congresses. Computer softw...

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.). (Lecture notes in computer science)

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1993.<M15-A9117>
国立国会図書館
  • 件名Electronic digital computers -- Programming.

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)
紙図書
Springer-Verlagc1994.<M15-A9320>
国立国会図書館
  • 件名Electronic digital computers -- Programming. Logic, Symbolic and mathemati...

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

Combinatorial algorithms pt. 1

Combinatorial algorithms pt. 1
紙図書
Donald E. KnuthAddison-Wesleyc2011
全国の図書館

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>
国立国会図書館

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>
国立国会図書館

Genetic programming : on the programming of computers by means of natural selection / John R. Koza. (Complex adaptive systems)

Genetic programming : on the programming of computers by means of natural selection / John R. Koza. (Complex adaptive systems)
紙図書
MIT Pressc1992.<M159-A148>
国立国会図書館
  • 件名プログラミング (電子計算機) Electronic digital computers -- Programming.

Mathematics for the analysis of algorithms 3rd ed

Mathematics for the analysis of algorithms 3rd ed
紙図書
Daniel H. Greene, Donald E. KnuthBirkhäuserc2008
全国の図書館

Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.). (Lecture notes in computer science)

Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M159-A118>
国立国会図書館
  • 件名プログラミング (電子計算機) Electronic digital computers -- Programming.
RSS