close
1.

図書
図書
1. Combinatorial algorithms (pt. 1)
Donald E. Knuth
出版情報: Upper Saddle River, NJ ; Tokyo : Addison-Wesley, c2011
シリーズ名: The art of computer programming ; v. 4A
所蔵情報: loading…
2.

図書
図書
2. GECCO 2005 : Genetic and Evolutionary Computation Conference, June 25-29, 2005(Saturday-Wednesday), Washington, D.C. USA (: set ; v. 1 ; v. 2)
Hans-Georg Beyer et al. (editors) ; sponsored by ACM SIGEVO
出版情報: New York : ACM, c2005
所蔵情報: loading…
3.

図書
図書
3. Genetic and evolutionary computation - GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings (pt. 1 ; pt. 2)
Kalyanmoy Deb ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3102-3103
所蔵情報: loading…
4.

図書
図書
4. Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings (pt. 1 ; pt. 2)
Erick Cantú-Paz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2723-2724
所蔵情報: loading…
5.

図書
図書
5. GECCO-2002 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Seventh Annual Genetic Programming Conference (GP-2002) and the Eleventh International Conference on Genetic Algorithms (ICGA-2002), July 9-13, 2002, New York City, New York
edited by W. B. Langdon ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c2002
所蔵情報: loading…
6.

図書
図書
6. GECCO-2001 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Sixth Annual Genetic Programming Conference (GP-2001) and the Tenth International Conference on Genetic Algorithms (ICGA-2001), July 7-11, 2001, San Francisco, California
edited by Lee Spector ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c2001
所蔵情報: loading…
7.

図書
図書
7. Hackers : heroes of the computer revolution
Steven Levy
出版情報: New York : Penguin Putnam, 2001
シリーズ名: Penguin books
所蔵情報: loading…
8.

図書
図書
8. GECCO-2000 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the ninth International Conference on Genetic Algorithms (ICGA-2000) and the fifth Annual Genetic Programming Conference (GP-2000), July 10-12, 2000, Las Vegas, Nevada
edited by Darrell Whitley ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c2000
所蔵情報: loading…
9.

図書
図書
9. Structured computer organization. 4th ed (:uk ; :us)
Andrew S. Tanenbaum ; with contributions from James R. Goodman
出版情報: London : Prentice Hall International , Upper Saddle River, N.J. : Prentice Hall, c1999
所蔵情報: loading…
10.

図書
図書
10. 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…
11.

図書
図書
11. Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
出版情報: New York : Springer, c1998
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
12.

図書
図書
12. Sorting and searching. 2nd ed
Donald E. Knuth
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1998
シリーズ名: The art of computer programming ; v. 3
所蔵情報: loading…
13.

図書
図書
13. The computational beauty of nature : computer explorations of fractals, chaos, complex systems, and adaptation (: hardcover ; : pbk)
Gary William Flake
出版情報: Cambridge, Mass : The MIT Press, c1998
シリーズ名: Bradford book
所蔵情報: loading…
14.

図書
図書
14. 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…
15.

図書
図書
15. Seminumerical algorithms. 3rd ed
Donald E. Knuth
出版情報: Reading, Mass. ; Tokyo ; Addison-Wesley, c1998
シリーズ名: The art of computer programming ; v. 2
所蔵情報: loading…
16.

図書
図書
16. Introduction to scientific programming : computational problem solving using Mathematica and C
Joseph L. Zachary
出版情報: Santa Clara, CA : TELOS, c1998
所蔵情報: loading…
17.

図書
図書
17. Dependence analysis
Utpal Banerjee
出版情報: Boston, MA : Kluwer Academic, c1997
シリーズ名: Loop transformations for restructuring compilers ; 3
所蔵情報: loading…
18.

図書
図書
18. Computability and complexity : from a programming perspective
Neil D. Jones
出版情報: Cambridge, Mass. : MIT Press, c1997
シリーズ名: Foundations of computing
所蔵情報: loading…
19.

図書
図書
19. Fundamental algorithms. 3rd ed
Donald E. Knuth
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1997
シリーズ名: The art of computer programming ; v. 1
所蔵情報: loading…
20.

図書
図書
20. 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…
21.

図書
図書
21. 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…
22.

図書
図書
22. Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence
所蔵情報: loading…
23.

図書
図書
23. Temporal logic : mathematical foundations and computational aspects (v. 1 ; v. 2)
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1994-
シリーズ名: Oxford logic guides ; 28, 40
所蔵情報: loading…
24.

図書
図書
24. Subrecursive programming systems : complexity & succinctness (:us ; :sz)
James S. Royer, John Case
出版情報: Boston : Birkhäuser, 1994
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
25.

図書
図書
25. A recursive introduction to the theory of computation
Carl H. Smith
出版情報: New York : Springer-Verlag, 1994
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
26.

図書
図書
26. Genetic programming : on the programming of computers by means of natural selection ([1] ; 2)
John R. Koza
出版情報: Cambridge, Mass. : MIT Press, c1992-c1994
シリーズ名: Complex adaptive systems
Bradford book
所蔵情報: loading…
27.

図書
図書
27. 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…
28.

図書
図書
28. 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…
29.

図書
図書
29. C4.5 : programs for machine learning
J. Ross Quinlan
出版情報: San Mateo, Calif. : Morgan Kaufmann Publishers, c1993
シリーズ名: The Morgan Kaufmann series in machine learning
所蔵情報: loading…
30.

図書
図書
30. The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)
Zohar Manna, Amir Pnueli
出版情報: New York ; Tokyo : Springer-Verlag, c1992-
所蔵情報: loading…
31.

図書
図書
31. Paradigms of artificial intelligence programming : case studies in common LISP
Peter Norvig
出版情報: San Mateo, Calif. : Morgan Kaufman Publishers, c1992
所蔵情報: loading…
32.

図書
図書
32. Automated reasoning : introduction and applications. 2nd ed
Larry Wos ... [et al.]
出版情報: New York : McGraw-Hill, c1992
所蔵情報: loading…
33.

図書
図書
33. First-order programming theories (: Berlin ; : New York)
Tamás Gergely, László Úry
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: EATCS monographs on theoretical computer science ; v. 24
所蔵情報: loading…
34.

図書
図書
34. Formal description of programming concepts (gw ; us)
Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: IFIP state-of-the-art reports
所蔵情報: loading…
35.

図書
図書
35. Categories and computer science (: hard ; : pbk)
R.F.C. Walters
出版情報: Cambridge : Cambridge University Press, c1991
シリーズ名: Cambridge computer science texts ; 28
所蔵情報: loading…
36.

図書
図書
36. Partial computation and the construction of language processors
Frank G. Pagan
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1991
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
37.

図書
図書
37. Data structures and search algorithms
Pierre Berlioux and Philippe Bizard ; translated by Jack Howlett
出版情報: Chichester : Wiley, c1990
シリーズ名: Algorithms ; 2
所蔵情報: loading…
38.

図書
図書
38. Origins of programming : discourses on methodology (: us ; : gw)
A.P. Ershov ; translated by Robert H. Silverman
出版情報: New York ; Tokyo : Springer-Verlag, c1990
所蔵情報: loading…
39.

図書
図書
39. Programming in Martin-Löf's type theory : an introduction
Bengt Nordström, Kent Petersson and Jan M. Smith
出版情報: Oxford, England : Clarendon Press , New York : Oxford University Press, 1990
シリーズ名: The International series of monographs on computer science ; 7
所蔵情報: loading…
40.

図書
図書
40. Combinatorial algorithms
Luděk Kučera
出版情報: Bristol ; Philadelphia : Adam Hilger, c1990
所蔵情報: loading…
41.

図書
図書
41. Programming in the 1990s : an introduction to the calculation of programs (us ; alk. paper ; gw)
Edward Cohen
出版情報: New York : Springer-Verlag, c1990
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
42.

図書
図書
42. Structured computer organization. 3rd ed (:us ; :uk)
Andrew S. Tanenbaum
出版情報: Englewood Cliffs, N.J. : Prentice Hall , London : Prentice Hall International, c1990
所蔵情報: loading…
43.

図書
図書
43. Introduction to algorithms (: MIT Press ; : MIT Press : pbk ; : McGraw-Hill)
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1990
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
44.

図書
図書
44. Advanced programming methodologies
edited by Gianna Cioni and Andrzej Salwicki
出版情報: London ; Tokyo : Academic Press, c1989
シリーズ名: A.P.I.C. studies in data processing ; no. 30
所蔵情報: loading…
45.

図書
図書
45. Computational category theory
David E. Rydeheard, Rod M. Burstall
出版情報: New York ; Tokyo : Prentice Hall, 1988
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
46.

図書
図書
46. Computer algorithms : introduction to design and analysis. 2nd ed
Sara Baase
出版情報: Tokyo : Addison-Wesley, 1988 , Reading, Mass. : Addison-Wesley, 1988
所蔵情報: loading…
47.

図書
図書
47. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us)
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: loading…
48.

図書
図書
48. Algorithms and applications on vector and parallel computers
edited by H.J.J. te Riele, Th.J. Dekker, H.A. van der Vorst
出版情報: Amsterdam ; Tokyo : North-Holland, 1987
シリーズ名: Special topics in supercomputing ; v. 3
所蔵情報: loading…
49.

図書
図書
49. Pascal, an introduction to the art and science of programming. 2nd ed
Walter J. Savitch
出版情報: Menlo Park, Calif. ; Tokyo : Benjamin/Cummings Pub. Co., c1987
シリーズ名: The Benjamin/Cummings series in structured programming
所蔵情報: loading…
50.

図書
図書
50. Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation (: U.S. ; : Germany)
Micha Hofri
出版情報: New York ; Tokyo : Springer-Verlag, c1987
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…