yr 〜
yr

Search results 1,086

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.

Combinatorial algorithms pt. 2

Combinatorial algorithms pt. 2
Paper図書
Donald E. KnuthAddison-Wesleyc2023
Other Libraries in Japan
  • Subject HeadingComputer programming Computer algorithms Electronic digital computers -- Programming
  • Subject Heading (ID)Computer programming Computer algorithms Electronic digital computers -- Programming

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

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

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

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)
Paper図書
Springer-Verlagc1993.<M15-A9117>
National Diet Library
  • Subject HeadingElectronic 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)
Paper図書
Springer-Verlagc1994.<M15-A9320>
National Diet Library
  • Subject HeadingElectronic digital computers -- Programming. Logic, Symbolic and mathemat...

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 (Ma...

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

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

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

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

Combinatorial algorithms pt. 1

Combinatorial algorithms pt. 1
Paper図書
Donald E. KnuthAddison-Wesleyc2011
Other Libraries in Japan
  • Subject HeadingComputer programming Computer algorithms Electronic digital computers -- Programming
  • Subject Heading (ID)Computer programming Computer algorithms Electronic digital computers -- Programming

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

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

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)
Paper図書
MIT Pressc1992.<M159-A148>
National Diet Library
  • Subject Headingプログラミング (電子計算機) Electronic digital computers -- Programming.

Mathematics for the analysis of algorithms 3rd ed

Mathematics for the analysis of algorithms 3rd ed
Paper図書
Daniel H. Greene, Donald E. KnuthBirkhäuserc2008
Other Libraries in Japan
  • Subject HeadingElectronic digital computers -- Programming Algorithms
  • Subject Heading (ID)Electronic digital computers -- Programming Algorithms

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)
Paper図書
Springer-Verlagc1991.<M159-A118>
National Diet Library
  • Subject Headingプログラミング (電子計算機) Electronic digital computers -- Programming.