1.

図書
図書
1. Modelling methodology for physiology and medicine. Second edition (hbk. ; ebook)
Ewart Carson, Claudio Cobelli
出版情報: London : Elsevier, 2014 , 〓2014
シリーズ名: Elsevier insights ;
所蔵情報: loading…
2.

図書
図書
2. Real world OCaml
Yaron Minsky, Anil Madhavapeddy, and Jason Hickey
出版情報: Sebastopol, Calif. : O'Reilly, 2013
所蔵情報: loading…
3.

図書
図書
3. C++ primer. 5th ed (: pbk)
Stanley B. Lippman, Josée Lajoie, Barbara E. Moo
出版情報: Upper Saddle River, N.J. : Addison-Wesley, c2013
所蔵情報: loading…
4.

図書
図書
4. C++ primer plus. 6th ed (: pbk)
Stephen Prata
出版情報: Upper Saddle River, N.J. : Addison-Wesley, c2012
シリーズ名: Developer's library
所蔵情報: loading…
5.

図書
図書
5. Model-based development : applications
H.S. Lahman
出版情報: Upper Saddle River, NJ : Addison-Wesley, c2011
所蔵情報: loading…
6.

図書
図書
6. Contemporary abstract algebra. 7th ed
Joseph A. Gallian
出版情報: Belmont, CA : Brooks/Cole, Cengage Learning, c2010
所蔵情報: loading…
7.

図書
図書
7. A wavelet tour of signal processing : the sparse way. 3rd ed (: hard)
Stéphane Mallat ; with contributions from Gabriel Peyré
出版情報: Amsterdam : Elsevier/Academic Press, c2009
所蔵情報: loading…
8.

図書
図書
8. The nonlinear workbook : chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, support vector machine, wavelets, hidden markov models, fuzzy logic with C++, Java and SymbolicC++ programs. 4th ed (: pbk)
Willi-Hans Steeb ; in collaboration with Yorick Hardy, Ruedi Stoop
出版情報: New Jersey : World Scientific, c2008
所蔵情報: loading…
9.

図書
図書
9. Residue number systems : theory and implementation
Amos Omondi, Benjamin Premkumar
出版情報: London : Imperial College Press , Singapore ; Hackensack, NJ : Distributed by World Scientific Publishing, c2007
シリーズ名: Advances in computer science and engineering: Texts ; v. 2
所蔵情報: loading…
10.

図書
図書
10. Data mining : practical machine learning tools and techniques. 2nd ed
Ian H. Witten, Eibe Frank
出版情報: Amsterdam ; Boston ; Tokyo : Elsevier , San Francisco, Calif. : Morgan Kaufmann Publishers, c2005
シリーズ名: The Morgan Kaufmann series in data management systems
所蔵情報: loading…
11.

図書
図書
11. Model-based testing of reactive systems : advanced lectures
Manfred Broy ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3472
所蔵情報: loading…
12.

図書
図書
12. New Constructions in Cellular Automata (: pbk ; : hbk)
editors David Griffeath, Cristopher Moore
出版情報: New York : Oxford University Press, 2003
シリーズ名: Santa Fe Institute studies in the sciences of complexity
所蔵情報: loading…
13.

図書
図書
13. Handbook of global optimization ([v. 1] ; v. 2)
edited by Reiner Horst and Panos M. Pardalos
出版情報: Dordrecht : Kluwer Academic, c1995-c2002
シリーズ名: Nonconvex optimization and its applications ; v. 2, v. 62
所蔵情報: loading…
14.

図書
図書
14. Cellular automata : A discrete universe (: pbk)
Andrew Ilachinski
出版情報: Singapore : World Scientific, c2001
所蔵情報: loading…
15.

図書
図書
15. Pattern classification. 2nd ed
Richard O. Duda, Peter E. Hart, David G. Stork
出版情報: New York ; Chichester : Wiley, c2001
所蔵情報: loading…
16.

図書
図書
16. Advances in cryptology - ASIACRYPT 2000 : 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000 : proceedings
Tatsuaki Okamoto (ed.)
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1976
所蔵情報: loading…
17.

図書
図書
17. How to solve it : modern heuristics
Zbigniew Michalewicz, David B. Fogel
出版情報: Berlin ; Tokyo : Springer, c2000
所蔵情報: loading…
18.

図書
図書
18. Distributed computing : fundamentals, simulations and advanced topics
Hagit Attiya and Jennifer Welch
出版情報: London : McGraw-Hill, 1998
所蔵情報: loading…
19.

図書
図書
19. Statistical learning theory (: cloth)
Vladimir N. Vapnik
出版情報: New York : John Wiley & Sons, c1998
シリーズ名: Adaptive and learning systems for signal processing, communications, and control
所蔵情報: loading…
20.

図書
図書
20. Proceedings of the Seventh International Conference on Genetic Algorithms : Michigan State University, East Lansing, MI, July 19-23, 1997
editor/prgram chair, Thomas Bäck ; supported by Office of Naval Research ... [et al.]
出版情報: San Francisco, Calif. : M. Kaufmann, c1997
所蔵情報: loading…
21.

図書
図書
21. Net security : your digtal doberman : sure-fire strategies for wired businesses
Michael Alexander
出版情報: Research Triangle Park, NC : Ventana, c1997
所蔵情報: loading…
22.

図書
図書
22. Evolutionary algorithms in theory and practice : evolution strategies, evolutionary programming, genetic algorithms
Thomas Bäck
出版情報: Oxford ; New York ; Tokyo : Oxford University Press, 1996
所蔵情報: loading…
23.

図書
図書
23. Global optimization : deterministic approaches. 3rd rev. and enl. ed
Reiner Horst, Hoang Tuy
出版情報: New York ; Berlin : Springer, c1996
所蔵情報: loading…
24.

図書
図書
24. Accuracy and stability of numerical algorithms (: pbk)
Nicholas J. Higham
出版情報: Philadelphia : Society for Industrial and Applied Mathematics, c1996
所蔵情報: loading…
25.

図書
図書
25. Proceedings of the Sixth International Conference on Genetic Algorithms : University of Pittsburgh, July 15-19, 1995
editor, program chair., Larry J. Eshelman
出版情報: San Francisco, Calif. : M. Kaufmann, c1995
所蔵情報: loading…
26.

図書
図書
26. Introduction to global optimization (: hbk ; : pbk)
by Reiner Horst, Panos M. Pardalos, and Nguyen V. Thoai
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c1995
シリーズ名: Nonconvex optimization and its applications ; v. 3
所蔵情報: loading…
27.

図書
図書
27. New frontiers
edited by Lance Chambers
出版情報: Boca Raton : CRC Press, c1995
シリーズ名: Practical handbook of genetic algorithms / edited by Lance Chambers ; v. 2
所蔵情報: loading…
28.

図書
図書
28. Applications
edited by Lance Chambers
出版情報: Boca Raton ; Tokyo : CRC Press, c1995
シリーズ名: Practical handbook of genetic algorithms / edited by Lance Chambers ; v. 1
所蔵情報: loading…
29.

図書
図書
29. Randomized algorithms
Rajeev Motwani, Prabhakar Raghavan
出版情報: Cambridge ; New York, N.Y. : Cambridge University Press, 1995
所蔵情報: loading…
30.

図書
図書
30. Atomic transactions
Nancy Lynch ... [et al.]
出版情報: San Mateo, Calif. : Morgan Kaufmann Publishers, c1994
シリーズ名: The Morgan Kaufmann series in data management systems
所蔵情報: loading…
31.

図書
図書
31. Cellular automata and complexity : collected papers (: pbk)
Stephen Wolfram
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1994
所蔵情報: loading…
32.

図書
図書
32. Advances in optimization and approximation
edited by Ding-Zhu Du and Jie Sun
出版情報: Dordrecht : Kluwer Academic, 1994
シリーズ名: Nonconvex optimization and its applications ; v. 1
所蔵情報: loading…
33.

図書
図書
33. Concrete mathematics : a foundation for computer science. 2nd ed
Ronald L. Graham, Donald E. Knuth, Oren Patashnik
出版情報: Reading, Mass. : Addison-Wesley, c1994
所蔵情報: loading…
34.

図書
図書
34. An introduction to computational learning theory
Michael J. Kearns, Umesh V. Vazirani
出版情報: Cambridge, Mass. : MIT Press, c1994
所蔵情報: loading…
35.

図書
図書
35. Genetic algorithms + data structures = evolution programs. 2nd, extended ed
Zbigniew Michalewicz
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
所蔵情報: loading…
36.

図書
図書
36. Computational complexity
Christos H. Papadimitriou
出版情報: Reading, Mass. : Addison-Wesley, c1994
所蔵情報: loading…
37.

図書
図書
37. Simulation of semiconductor devices and processes, vol. 5 (: New York ; : Wien)
S. Selberherr, H. Stippel, and E. Strasser, (eds.)
出版情報: Wien ; New York : Springer-Verlag, c1993
所蔵情報: loading…
38.

図書
図書
38. Parallel symbolic computing : languages, systems, and applications : US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings (: gw ; : us)
Robert H. Halstead, Jr., Takayasu Ito, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 748
所蔵情報: loading…
39.

図書
図書
39. Network flows : theory, algorithms, and applications (: hard ; : pbk)
Ravindra K. Ahuja, Thomas L. Magnanti, James B. Orlin
出版情報: Upper saddle River, N.J. : Prentice Hall, c1993
所蔵情報: loading…
40.

図書
図書
40. Proceedings of the Fifth International Conference on Genetic Algorithms : University of Illinois at Urbana-Champaign, July 17-21, 1993
editor/program chair, Stephanie Forrest ; supported by Office of Naval Research ... [et al.]
出版情報: San Mateo, Calif. : Morgan Kaufmann Publishers, c1993
所蔵情報: loading…
41.

図書
図書
41. Relations and graphs : discrete mathematics for computer scientists (: gw ; : us)
Gunther Schmidt, Thomas Ströhlein
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: EATCS monographs on theoretical computer science
所蔵情報: loading…
42.

図書
図書
42. New trends in discrete and computational geometry (: gw ; : us)
János Pach (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Algorithms and combinatorics ; 10
所蔵情報: loading…
43.

図書
図書
43. Topics in parallel computing in mathematical programming (: U.S. ; : Beijing)
P.M. Pardalos, A.T. Phillips, J.B. Rosen
出版情報: New York : Science Press, c1992
シリーズ名: Applied discrete mathematics and theoretical computer science ; v. 2
所蔵情報: loading…
44.

図書
図書
44. Genetic algorithms + data structures = evolution programs (: gw ; : us)
Zbigniew Michalewicz
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Artificial intelligence
所蔵情報: loading…
45.

図書
図書
45. Algebraic and structural automata theory
edited by Boleslaw Mikolajczak
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1991
シリーズ名: Annals of discrete mathematics ; 44
所蔵情報: loading…
46.

図書
図書
46. Handbook of genetic algorithms
edited by Lawrence Davis
出版情報: New York : Van Nostrand Reinhold, c1991
所蔵情報: loading…
47.

図書
図書
47. Machine learning : a theoretical approach
Balas K. Natarajan
出版情報: San Mateo, Calif. : M. Kaufmann Publishers, c1991
所蔵情報: loading…
48.

図書
図書
48. Proceedings of the Fourth International Conference on Genetic Algorithms : University of California, San Diego, July 13-16, 1991 (: pbk)
editors/program co-chairpersons, Richard K. Belew , Lashon B. Booker ; supported by International Society for Genetic Algorithms, Office of Naval Research, Naval Research Laboratory
出版情報: San Mateo, Calif. : Morgan Kaufmann Publishers, c1991
所蔵情報: loading…
49.

図書
図書
49. Discrete mathematics for computing
A. Vince and C. Morris
出版情報: New York : Ellis Horwood, 1990
シリーズ名: Ellis Horwood series in mathematics and its applications ; Statistics, operational reseach and computational mathematics
所蔵情報: loading…
50.

図書
図書
50. Single-layer wire routing and compaction
F. Miller Maley
出版情報: Cambridge, Mass. : MIT Press, c1990
シリーズ名: Foundations of computing
所蔵情報: loading…