close
1.

図書
図書
1. GECCO-99 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Eighth International Conference on Genetic Algorithms (ICGA-99) and the Fourth Annual Genetic Programming Conference (GP-99), July 13-17, 1999, Orlando, Florida (v. 1 ; v. 2)
edited by Wolfgang Banzhaf ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c1999
所蔵情報: loading…
2.

図書
図書
2. Genetic programming 1997 : proceedings of the Second Annual Conference, July 13-16, 1997, Stanford University
edited by John R. Koza ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c1997
所蔵情報: loading…
3.

図書
図書
3. Genetic programming 1998 : proceedings of the Third Annual Conference, July 22-25, 1998, University of Wisconsin, Madison
edited by John R. Koza ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c1998
所蔵情報: loading…
4.

図書
図書
4. Advances in genetic programming ([v. 1] ; v. 2 ; v. 3)
edited by Kenneth E. Kinnear, Jr.
出版情報: Cambridge, Mass. : MIT Press, c1994-
シリーズ名: Complex adaptive systems
Bradford book
所蔵情報: loading…
5.

図書
図書
5. Partial evaluation and automatic program generation
Neil D. Jones, Carsten K. Gomard, Peter Sestoft ; with chapters by Lars Ole Andersen and Torben Mogensen
出版情報: New York : Prentice Hall, 1993
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
6.

図書
図書
6. A programming approach to formal methods
Chris Casey
出版情報: London ; New York : McGraw-Hill Book Co., c1994
シリーズ名: The McGraw-Hill international series in software engineering
所蔵情報: loading…
7.

図書
図書
7. Genetic programming : proceedings of the first annual conference, 1996
edited by John R. Koza ... [et al.]
出版情報: Cambridge, Mass. ; London : MIT Press, c1996
シリーズ名: Complex adaptive systems
所蔵情報: loading…
8.

図書
図書
8. Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us)
Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 735
所蔵情報: loading…
9.

図書
図書
9. Formal program development : IFIP TC 2/WG 2.1 state of the art report (: gw ; : us)
Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 755
所蔵情報: loading…
10.

図書
図書
10. Problems in programming : experience through practice
Andrej Vitek ... [et al.]
出版情報: Chichester, West Sussex, England ; New York : J. Wiley, c1991
シリーズ名: Wiley professional computing
所蔵情報: loading…