Book News 210号
11.計算機科学
110001 A.A.A.I.:
A. A. A. I. 1999.
(Proceedings of the National Conference on Artificial intelligence, Vol. 17)
1999 998 pp.
(M.I.T.) 9780262511063 14,620.
110002 A.A.A.I.:
A.A.A.I.-08/ I.A.A.A.I.-08. (3 Vols/ Set)
(Proceedings of the National Conference on Artificial intelligence, Vol. 23)
2008 1903 pp.
(A.A.A.I.) 9781577353683 47,590.
110003 A.A.A.I.:
A. A. A. I. 2004.
(Proceedings of the National Conference on Artificial intelligence, Vol. 19)
2004 1051 pp.
(M.I.T.) 9780262511834 14,110.
110004 Abdallah,A.N.:
The Logic of Partial Information.
(Monographs in Theoretical Computer Science. An EATCS Series)
1995 715 pp.
(Springer) 9783540565833 14,060.
110005 Aceto,L./Ingolfsdottir,A./Guldstrand,K./Srba,J.:
Reactive Systems: Modelling, Specification and Verification.
2007 300 pp.
(Cambridge) 9780521875462 13,870.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110006 A.C.M.:
Computational Geometry (SCG '03).
(Computational Geometry, Vol. 19)
2003 389 pp.
(A.C.M.) 9781581136630 14,320.
110007 A.C.M.:
PODC -2007.
(Symposium on Principles of Distributed Computing, Vol. 26)
2007 ....
(A.C.M.) 9781595936165 12,700.
110008 A.C.M.:
PODS -2000.
(Symposium on Principles of Database Systems, Vol. 19)
2000 281 pp.
(A.C.M.) 9781581132144 8,450.
110009 A.C.M.:
STOC '08.
(Proceedings of the Annual ACM Symposium on Theory of Computing)
2008 798 pp.
(A.C.M.) 9781605580470 22,500.
110010 Almasi,G./Gottlieb,A:
Highly Parallel Computing, 2nd ed.
1994 694 pp.
(Addison) 9780805304435 10,710.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110011 Andrews,P.:
An Introduction to Mathematical Logic and Type
Theory: To Truth Through Proof, 2nd ed.
(Appied Logic Series, Vol. 27)
2002 408 pp.
(Kluwer) 9781402007637 16,190.
110012 Apt,K./Wallace,C.:
Constraint Logic Programming Using Eclipse.
2007 329 pp.
(Cambridge) 9780521866286 10,200.
110013 Arkin,R.C.:
Behavior -Based Robotics.
1998 490 pp.
(M.I.T.) 9780262011655 12,450.
110014 Arumugan,S./Acharya,B./Rao,S.:
Graphs, Combinatorics, Algorithms and Applications.
2005 185 pp.
(Narosa) 9788173196126 17,770.
110015 Ashenden,P.:
The Student's Guide to VHDL.
1998 336 pp.
(M. Kaufman) 9781558605206 5,420.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110016 Ausnit-Hood,C.et al.:
Ada 95 Quality and Style.
(Lecture Notes in Computer Science, Vol. 1344)
1997 292 pp.
(Springer) 9783540638230 6,840.
110017 Avis,D./Bremner,D./Deza,A.(eds.):詳報掲載
Polyhedral Computation.
(CRM Proceedings and Lecture Notes, Vol. 48)
2009 147 pp.
(A.M.S.) 9780821846339 10,510.
110018 Azema,A.:
Software Reliability Determination for
Conventional and Logic Programming.
1995 175 pp.
(de Gruyter) 9783110148077 12,320.
110019 Bachem,A.et al.(eds.):
Mathematical Programming: The State of the Art.
1983 655 pp.
(Springer) 9783540120827 26,180.
110020 Banzhaff,W./Nordin,P./Keller,R./Francone,F.:
Genetic Programming: an Introduction.
1998 470 pp.
(M. Kaufman) 9781558605107 13,450.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110021 Banzhaf,W./Reevs,C.:
Foundations of Genetic Algorithms, Vol. 5: GOGA -5.
1999 316 pp.
(M. Kaufman) 9781558605596 13,030.
110022 Barclay,K.A.et al.:
C++ Problem Soving and Programming.
1994 552 pp.
(Prentice Hall) 9780131266735 7,010.
110023 Barnett,S.:
Matrices.
1990 450 pp.
(Oxford) 9780198596806 14,280.
110024 Barnett,S.:詳報掲載
Quantum Information. (Paper ed.)
2009 300 pp.
(Oxford) 9780198527633 5,940.
110025 Bass,L.et al.:
Software Architecture in Practice.
1998 452 pp.
(Addison) 9780201199307 9,370.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110026 Bauer,F.:
Decrypted Secrets: Methods and Maxims of Cryptology, 2nd ed.
2000 486 pp.
(Springer) 9783540668718 5,440.
110027 Beame,P./Buss,S.(eds.):
Proof Complexity and Feasible Arithmetics.
(DIMACS: Discrete Mathematics and Theoretical Computer Science, Vol. 39)
1997 320 pp.
(A.M.S.) 9780821805770 11,470.
110028 Beck,J.:詳報掲載
Combinatorial Games: Tic-Tac-Toe Theory.
(Encyclopedia of Mathematics and its Applications, Vol. 114)
2008 732 pp.
(Cambridge) 9780521461009 20,200.
110029 Beck,J.:詳報掲載
Inevitable Randomness in Discrete Mathematics.
(University Lecture Series, Vol. 49)
2009 250 pp.
(A.M.S.) 9780821847565 8,490.
110030 Beeri,C./Ohori,A.:
Database Programming Languages: DBPL -4.
(Workshops in Computer)
1994 436 pp.
(Springer) 9783540198536 12,980.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110031 Bernstein,J./Buchmann,J./Dahmen,E.(eds.):
Post Quantum Cryptography.
2008 245 pp.
(Springer) 9783540887010 12,290.
110032 Bertlmann,R./Zeilinger,A.(eds.):
Quantum [Un]speakables: From Bell to Quantum Information.
2002 483 pp.
(Springer) 9783540427568 16,380.
110033 Shaw,A./Bic,F.:
Operating Systems Principles.
2003 543 pp.
(Prentice Hall) 9780130266118 16,470.
110034 Biggs,N.:詳報掲載
Codes.
(Springer Undergraduate Mathematics)
2008 273 pp.
(Springer) 9781848002722 4,820.
110035 Bishop,J.:
Java Gently: Programming Principles Explained.
1997 416 pp.
(Addison) 9780201593990 7,390.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110036 Blanchet-Sadri,F.:
Algorithmic Combinatorics on Partial Words.
(Discrete Mathematics and Its ApplicationsVol. 46)
2007 392 pp.
(Chapman & Hall) 9781420060928 15,770.
110037 Bochman,A.:
Explanatory Nonmonotonic Reasoning.
2005 408 pp.
(World Sci.) 9789812561015 12,180.
110038 Bollobas,B.:
Modern Graph Theory. (Paper ed.)
(Graduate Texts in Mathematics, Vol. 184)
2002 394 pp.
(Springer) 9780387984889 9,210.
110039 Bollobas,B.:
Random Graphs, 2nd ed.
(Cambridge Studies in Advanced Mathematics, Vol. 73)
2001 516 pp.
(Cambridge) 9780521809207 22,510.
110040 Brameier,M./Banzhaf,W.:
Linear Genetic Programming.
2007 315 pp.
(Springer) 9780387310299 14,790.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110041 Braude,E.:
Software Engineering: an Object -Oriented Perspective.
2000 676 pp.
(Wiley) 9780471322085 7,420.
110042 Braverman,M./Yampolsky,M.:詳報掲載
Computability of Julia Sets.
(Algorithms and Computation in Mathematics, Vol. 23)
2009 149 pp.
(Springer) 9783540685463 11,210.
110043 Bres,S.et al.(eds.):
Visual Information and Information Systems: 8th
Int'l Conference, Visual 2005.
(Lecture Notes in Computer Science, Vol. 3736)
2006 291 pp.
(Springer) 9783540304883 11,280.
110044 Brown,W.et al.:
Anti -Patterns.
1998 416 pp.
(Wiley) 9780471197133 6,400.
110045 Brylinski,R./Chen,G.:
Mathematics of Quantum Computation.
2002 429 pp.
(Chapman & Hall) 9781584882824 22,210.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110046 Bshoutl,N./Gentile,C.(eds.):
Learning Theory 20th Annual Conference on
Learning Theory, COLT 2007, San Diego.
(Lecture Notes in Artificial Intelligence, Vol. 4539)
2007 634 pp.
(Springer) 9783540729259 17,350.
110047 Buhler,J./Stevenhagen,P.:
Algorithmic Number Theory: Lattices, Number
Fields, Curves and Cryptography.
(Mathematical Science Research Institute Publications, Vol. 44)
2008 652 pp.
(Cambridge) 9780521808545 13,070.
110048 Calude,C.(ed.):
Randomness and Complexity, From Leibniz to Chaitin.
2007 445 pp.
(World Sci.) 9789812770820 16,170.
110049 Calude,C./Dineen,M./Sburlan,S.(eds.):
Combinatorics, Computability and Logic.
2001 251 pp.
(Springer) 9781852335267 22,530.
110050 Calzarossa,M.C.:
Performance Evaluation of Complex Systems:
Techniques and Tools.
(Lecture Notes in Computer Science, Vol. 2459)
2002 499 pp.
(Springer) 9783540442523 10,910.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110051 Camouzis,E./Ladas,G.:
Dynamics of Third Order Rational Difference
Equations with Open Problems and Conjectures.
(Discrete Mathematics and Its Applications)
2007 576 pp.
(Chapman & Hall) 9781584887652 19,320.
110052 Carpenter,R.:
The Logic of Typed Feature Structures: with
Applications to Unification Grammars, Logic
Programs and Constraint Resolution. (Paper ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 32)
2005 270 pp.
(Cambridge) 9780521022545 7,650.
110053 Cervenka,R./Trencansky,I.:
The Agent Modeling Language -AML: A Comprehensive
Approach to Modeling Multi-Agent Systems.
2007 355 pp.
(Birkhauser) 9783764383954 9,850.
110054 Chaitin,G./Davies,P.:詳報掲載
Thinking About Godel and Turing: Essays on
Complexity, 1970-2007. (Paper ed.)
2007 347 pp.
(World Sci.) 9789812708960 9,570.
110055 Chang,L.-W./Lie,W.-N./Chiang,R.(eds.):
Advances in Image and Video Technology: 1st PSIVT
2006, Hsinchu.
(Lecture Notes in Computer Science, Vol. 4319)
2006 1347 pp.
(Springer) 9783540682974 29,260.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110056 Chen,G./Lomanaco,S.Jr./Kauffman,L.:
Mathematics of Quantum Computation and Quantum Technology.
(Applied Mathematics and Nonlinear Science)
2007 624 pp.
(Chapman & Hall) 9781584888994 20,570.
110057 Chen,K.(ed.) :
Progress on Cryptography: 25 Years of Cryptography in China.
2004 246 pp.
(Kluwer) 9781402079863 22,230.
110058 Chen,Z.:
Computational Intelligence for Decision Support.
2000 400 pp.
(Springer) 9780849317996 11,080.
110059 Chmura,A.et al.:
Logical Data Modeling.
2004 228 pp.
(Springer) 9780387229508 13,440.
110060 Chong,C.et al.(eds.):詳報掲載
Computational Prospects of Infinity, Part I: Tutorials.
(Lecture Notes Series, Insititute for Mathematical Sciences, National University of Singapore, Vol. 14)
2008 250 pp.
(World Sci.) 9789812796530 15,670.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110061 Chong,C.et al.(eds.):
Computational Prospects of Infinity, Part II:
Presented Talks.
(Lecture Notes Series, Insititute for Mathematical Sciences, National University of Singapore, Vol. 15)
2008 400 pp.
(World Sci.) 9789812796547 19,470.
110062 Chong,I.(ed.):
Information Networking: Int'l Conference, Icoin 2002, Part 1
(Lecture Notes in Computer Science, Vol. 2343)
2002 734 pp.
(Springer) 9783540442561 14,660.
110063 Chow,T./Isaksen,D.(eds.):詳報掲載
Communicating Mathematics.
(Contemporary Mathematics, Vol. 479)
2009 238 pp.
(A.M.S.) 9780821843451 11,070.
110064 Christianson,B./Crispo,B./Malcolm,J./Roe,M.(eds.) :
Security Protocols: 11th Int'l Workshop, Cambridge, 003.
(Lecture Notes in Computer Science, Vol. 3364)
2005 ....
(Springer) 9783540283898 12,430.
110065 Conen,W.et al.(eds.):
Coordination Technology for Collaborative Applications.
(Lecture Notes in Computer Science, Vol. 1364)
1998 281 pp.
(Springer) 9783540641704 7,310.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110066 Costa,E.et al.(eds.):
Progress in Artificial Intelligence.
(Lecture Notes in Artificial Intelligence, Vol. 1323)
1997 388 pp.
(Springer) 9783540635864 9,450.
110067 Courage,C./Kathy,B.:
Understanding Your Users: Practical Guide to User
Requirements; Methods, tools, and Techniques.
2005 780 pp.
(M. Kaufman) 9781558609358 9,410.
110068 Cox,D./Little,J../O'Shea,D.:
Ideals, Varieties, and Algorithms: An
Introduction to Computational Algebraic Geometry
and Commutative Algebra, 3rd ed.
(Undergraduate Texts in Mathematics)
2007 575 pp.
(Springer) 9780387356501 8,800.
110069 Craig,I.:
Formal Refinement for Operating System Kernels.
2007 350 pp.
(Springer) 9781846289668 16,860.
110070 Crandall,R.E.:
MATHEMATICA for the Sciences.
1991 300 pp.
(Addison) 9780201510010 8,680.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110071 Crandall,R./Pomerance,C.:
Prime Numbers: A Computational Perspective, 2nd ed.
2005 600 pp.
(Springer) 9780387252827 10,990.
110072 Cummins,R./ Pollock,J.(eds.) :
Philosophy and AI: Essays at the Interface.
1995 320 pp.
(M.I.T.) 9780262531351 3,510.
110073 Cusick,T./Stanica,P.:
Cryptographic Boolean Functions and Applications.
2009 231 pp.
(Academic) 9780123748904 8,750.
110074 Dai,Y.-S.et al.(eds.) :
Advanced Parallel and Distributed Computing:
Evaluation, Improvement and Practice.
2006 321 pp.
(Nova) 9781600212024 20,240.
110075 Danaila,I./Joly,P./Kaber,S./Postel,M.:
An Introduction to Scientific Computing: Twelve
Application Projects Solved by Matlab.
2007 294 pp.
(Springer) 9780387308890 11,030.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110076 Davis,M.:
Computability and Unsolvability.
1982 248 pp.
(Dover) 9780486614717 2,660.
110077 de Raedt,L.:
From Inductive Logic Programming to
Multi-Relational Data Mining.
2008 387 pp.
(Springer) 9783540200406 12,800.
110078 Delfs,H.:
Introduction to Cryptography: Principles and Applications.
(Information Security and Cryptography)
2002 310 pp.
(Springer) 9783540422785 8,580.
110079 Delic,G./Wheeler,M.:
Next Generation Environmental Models and Compputational.
1997 375 pp.
(S.I.A.M.) 9780898713787 14,300.
110080 Demetrescu,C./Goldberg,A./Johnson,D.(eds.):詳報掲載
The Shortest Path Problem: Ninth DIMACS
Implementation Challenge.
(DIMACS: Discrete Mathematics and Theoretical Computer Science, Vol. 74)
2009 319 pp.
(A.M.S.) 9780821843833 14,960.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110081 Reingold,E./Dershowitz,N.:
Calendrical Calculations, 3rd ed.
2008 479 pp.
(Cambridge) 9780521885409 13,680.
110082 Devlin,K.:
Logic and Information.
1995 307 pp.
(Cambridge) 9780521499712 5,430.
110083 Ding,C./Helleseth,T./Niederreiter,H.(eds.) :
Sequences and Their Applications: Proceedings of SETA '98.
1999 395 pp.
(Springer) 9781852331962 12,740.
110084 Ding-Zhu Du /Smith,J./Rubenstein,J.:
Advances in Steiner Trees.
2000 336 pp.
(Kluwer) 9780792361107 21,000.
110085 Dominich,S.:
The Modern Algebra of Information Retrieval.
2008 327 pp.
(Springer) 9783540776581 17,840.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110086 Dorigo,M.et al.(eds.) :
Ant Algorithms: 3rd ANTS 2002.
(Lecture Notes in Computer Science, Vol. 2463)
2002 310 pp.
(Springer) 9783540441465 8,140.
110087 Duato,J.et al.:
Interconnection Networks. (Revised Print)
2002 600 pp.
(M. Kaufman) 9781558608528 9,950.
110088 Dubhashi,D./Panconesi,A.:
Concentration of Measure for the Analysis of
Randomized Algorithms.
2009 196 pp.
(Cambridge) 9780521884273 9,240.
110089 Dumitrescu,D.et al.:
Evolutionary Computing and Appllications.
2000 386 pp.
(Chapman & Hall) 9780849305887 19,000.
110090 Dybvig,R.:
The Scheme Programming Language, 3rd ed.
2003 295 pp.
(M.I.T.) 9780262541480 5,770.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110091 Earnshaw,R./Vince,J.A.(eds.):
Computer Graphics: Developments in Virtual Environments.
1995 576 pp.
(Academic) 9780122277412 11,690.
110092 Ebert,D.S.et al.:
Texturing and Modeling, 2nd ed. (with A CD-ROM)
1998 415 pp.
(Academic) 9780122287305 12,010.
110093 Edgar,S./Geneseo,S.:
Morality and Machines: Perspectives on Computer Ethics.
1997 448 pp.
(J & B) 9780763701840 5,430.
110094 El Yacoubi,S./Chopard,B./Bandini,S.(eds.):
Cellular Automata: 7th Int'l ACRI 2006, Perpignan.
(Lecture Notes in Computer Science, Vol. 4173)
2006 735 pp.
(Springer) 9783540409298 19,740.
110095 Elbirt,A.:詳報掲載
Understanding and Applying Cryptography and Data Security.
2009 637 pp.
(Chapman & Hall) 9781420061604 9,670.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110096 Emmert-Streib,F/Dehmer,M.(eds.):
Information Theory and Statistical Learning.
2008 405 pp.
(Springer) 9780387848150 18,440.
110097 Ensley,D.:
Discrete Mathematics.
2005 691 pp.
(Wiley) 9780471476023 14,230.
110098 Epstein,R.L.et al.:
Computability.
1989 297 pp.
(Wadsworth) 9780534103569 10,920.
110099 Ericsson,M.(ed.) :詳報掲載
Quantum Information and Many Body Quantum Systems.
(Publications of the Scuola Normale Superiore/CRM Series, Vol. 8)
2008 174 pp.
(S.N.S.) 9788876423079 5,120.
110100 M.Kaufman Pub.:
Theoretical Aspects of Reasoning About Knowledge:
Proceedings of the 1994 Conference.
1994 340 pp.
(M. Kaufman) 9781558603318 10,590.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110101 Farah,M./Feinberg,T.(eds.):
Patient -Based Approaches to Cognitive Neuroscience.
1999 425 pp.
(M.I.T.) 9780262561235 7,290.
110102 Fayad,M.et al.:
Implementating Application Frameworks. (with CD -ROM)
1999 688 pp.
(Wiley) 9780471252016 10,530.
110103 Feinberg,V./Levin,A./Rabinovich,E.:
VLSI Planarization: Methods, Models, Implementation.
(Mathematics and its Applications, Vol. 399)
1997 184 pp.
(Kluwer) 9780792345107 16,450.
110104 Feo,J.(ed.) :
A Compatative Study of Parallel Programming Languages.
1992 386 pp.
(North Holland) 9780444881359 28,250.
110105 Figueiredo,M.et al.(eds.):
Energy Minimization Methods in Computer Vision
and Pattern Recognition.
(Lecture Notes in Computer Science, Vol. 2134)
2001 652 pp.
(Springer) 9783540425236 11,560.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110106 Fitzgerald,J.et al.:
Eme '97: Industrial Applications and Strengthened
Foundations of Formal Methods.
(Lecture Notes in Computer Science, Vol. 1313)
1997 684 pp.
(Springer) 9783540635338 13,650.
110107 Fleck,A.:
Formal Models of Computation: The Ultimate Limits
of Computing.
2001 548 pp.
(World Sci.) 9789810245009 14,960.
110108 Fosdick,L./Jessup,R./Schauble,C./ Domik,G.:
An Introduction to High -Performance Scientific Computing.
1995 750 pp.
(M.I.T.) 9780262061810 11,700.
110109 Fox,J./Das.S.:
Safe and Sound: Artificial Intelligence in
Hazardous Applications.
2000 293 pp.
(M.I.T.) 9780262062114 6,440.
110110 Friedman,W.F.:
Military Cryptanalysis Part. 1: Monoalphabetic
Substitution Systems.
1996 149 pp.
(Aegean Park) 9780894120442 7,920.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110111 Fruhwirth,T.:
Constraint Handling Rules.
2009 296 pp.
(Cambridge) 9780521877763 10,560.
110112 Funge,J.:
Artificial Intelligence for Games and Animations:
A Cognitive Modeling Approach.
1999 212 pp.
(A K Peters) 9781568811031 5,890.
110113 Furukawa Koichi /Michie,D./Muggleton,S.:
Machine Intelligence, 15.
1999 515 pp.
(Oxford) 9780198538677 33,120.
110114 Gabbay,D.M./Hoggaer,C./Robinson,J.(eds.):
Handbook of Logic in Artificial Intelligence and
Logic Programming, Vol. 1: Logic Foundations.
1993 518 pp.
(Oxford) 9780198537458 36,540.
110115 Gabbay,D.M./Hoggaer,C./Robinson,J.(eds.):
Handbook of Logic in Artificial Intelligence and
Logic Programming, Vol. 2: Deduction
Methodologies.
1994 496 pp.
(Oxford) 9780198537465 41,850.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110116 Gabbay,D.M./Hoggaer,C./Robinson,J.(eds.):
Handbook of Logic in Artificial Intelligence and
Logic Programming, Vol. 4: Epistemic and Temporal
Reasoning.
1995 611 pp.
(Oxford) 9780198537915 23,850.
110117 Gaines,H.F.:
Crypyanalysis: A Study of Ciphers and Their
Solutions. Reprint
1939 237 pp.
(Dover) 9780486200972 1,500.
110118 Garey,M.R.et al.:
Computers and Intractability.
1979 340 pp.
(Freeman) 9780716710455 12,050.
110119 Garrett,P.:
Making, Breaking Codes: Introduction to Cryptology.
2000 525 pp.
(Prentice Hall) 9780130303691 12,690.
110120 Gazzaniga,M.(ed.) :
The Cognitive Neuroscience, III.
2004 1385 pp.
(M.I.T.) 9780262072540 24,210.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110121 GECCO-2001 :
Genetic and Evolutionary Computation Conference.
(Joint Meeting of ICGA -2001 and GP -2001)
(International Conference on Genetic Algorithms)
2001 1463 pp.
(M. Kaufman) 9781558607743 20,670.
110122 Geppert,A.et al.(eds.) :
Rules in Database Systems.
(Lecture Notes in Computer Science, Vol. 1312)
1997 214 pp.
(Springer) 9783540635161 6,090.
110123 Gillies,D.:
Artificial Intelligence and Scientific Method. (Paper ed.)
1996 194 pp.
(Oxford) 9780198751595 7,810.
110124 Goertzel,B./Pennachin,C.(eds.):
Artificial General Intelligence.
2006 508 pp.
(Springer) 9783540237334 13,730.
110125 Goldberg,L.:
Efficient Algorithms for Listing Combinatorial
Structures. (Paperback ed.)
(Distinguished Dissertations in Computer Science)
2009 160 pp.
(Cambridge) 9780521117883 5,240.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110126 Goldreich,O.:
Foundations of Cryptography, Vol. 2: Basic Applications.
2004 425 pp.
(Cambridge) 9780521830843 12,410.
110127 Goldreich,O.:
Foundations of Cryptography-A Primer.
2005 128 pp.
(Now Publishers) 9781933019024 9,150.
110128 Golub,G./Loan van,C:
Matrix Computations, 3rd ed. (Paper ed.)
1996 664 pp.
(Johns Hopkins) 9780801854149 7,200.
110129 Goodman,J./Pach,J./Pollack,R.(eds.):詳報掲載
Surveys on Discrete and Computational Geometry.
(Contemporary Mathematics, Vol. 453)
2008 556 pp.
(A.M.S.) 9780821842393 20,940.
110130 Gossett,E.:詳報掲載
Discrete Mathematics with Proof, 2nd ed.
2009 904 pp.
(Wiley) 9780470457931 18,980.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110131 Graham,R./Knuth,D./Patashnik,O.:
Concrete Mathematics: A Foundation for Computer
Science, 2nd ed.
1994 625 pp.
(Addison) 9780201558029 9,200.
110132 Greiner,R./Petsche,T./Hanson,S.(eds.):
Computational Learning Theory and Natural
Learning Systems, Vol. IV: Making Learning
Systems Practical.
1997 407 pp.
(M.I.T.) 9780262571180 10,530.
110133 Grodzinsky,Y./Shapiro,L./Swinney,D.:
Language and the Brain.
2000 352 pp.
(Academic) 9780123042606 13,940.
110134 Gupta,P./Kramer,G./van Wijngaarden,A.(eds.):
Advances in Network Information Theory.
(DIMACS: Discrete Mathematics and Theoretical Computer Science, Vol. 66)
2004 339 pp.
(A.M.S.) 9780821834671 16,330.
110135 Hardy,D./Richman,F./Walker,C.:
Applied Algebra: Codes, Ciphers and Discrete
Algorithms, 2nd ed.
(Discrete Mathematics and Its Applications)
2009 410 pp.
(Chapman & Hall) 9781420071429 10,890.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110136 van Hentenryck,P.:
The OPL Optimization Programming Language.
1999 255 pp.
(M.I.T.) 9780262720304 5,130.
110137 Hermann,R.:
Geometric Computing Science.
(Interdisciplinary Mathematics, Vol. 25)
1991 400 pp.
(Math.Sci.Press) 9780915692415 14,920.
110138 Hirtle,S./Frank,A.(eds.):
Spatial Information Theory: A Theoretical Basis
for GIS; Int'l Conf. COSIT '97 Laurel Highlands.
(Lecture Notes in Computer Science, Vol. 1329)
1997 512 pp.
(Springer) 9783540636236 11,660.
110139 Hoare,T./Broy,B./Steinbruggen,R.(eds.):
Engineering Theories of Software Construction.
(NATO ASI Series: Computer and Systems Sciences, Vol. 180)
2001 366 pp.
(IOS Press) 9781586031725 16,900.
110140 Hofstadter,D.:
Fluid Concepts and Creative Analogies.
1996 518 pp.
(Basic Book) 9780465024759 4,100.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110141 Hollnagel,E.:
Cognitive Reliability and Error Analysis Method: Cream.
1998 287 pp.
(Elsevier) 9780080428482 22,300.
110142 Hoos,H./Mitchell,D.(eds.):
Theory and Applications of Satisfiability
Testing: 7th Int'l Conference, SAT 2004,
Vancouver.
(Lecture Notes in Computer Science, Vol. 3542)
2005 393 pp.
(Springer) 9783540278290 10,020.
110143 Huang,J.:詳報掲載
Path-Oriented Program Analysis.
2007 208 pp.
(Cambridge) 9780521882866 12,490.
110144 Husbands,P./Harvey,I.(eds.):
European Conference on Artificial Life, 4.
(Complex Adapting Systems)
1997 583 pp.
(M.I.T.) 9780262581578 15,210.
110145 I.E.E.E.:
FOCS 2005: 46th Annual I. E. E. E. Symposium on
Foundations of Computer Science.
(Annual Symposium on Foundations of Computer Sciences, Vol. 46)
2006 746 pp.
(I.E.E.E.) 9780769524689 42,660.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ>
110146 Irani,R./Basha,S.J.:
Axis: New Generation Java Soap.
2002 275 pp.
(Wrox Press) 9781861007155 3,500.
110147 Jackson,P.:
Introduction to Expert Systems, 3rd ed.
1999 528 pp.
(Addison) 9780201876864 7,070.
110148 Jordan,M./Sejnowski,T.(eds.):
Graphical Models: Foundations of Neural Computation.
2001 421 pp.
(M.I.T.) 9780262600422 6,100.
110149 Kalra,P./Peleg,S.(eds.):
Computer Vision, Graphics and Image Processing:
5th ICVGIP 2006, Madurai.
(Lecture Notes in Computer Science, Vol. 4338)
2006 965 pp.
(Springer) 9783540683018 23,310.
110150 Karlof,J.:
Integer Programming: Theory and Practice.
2005 316 pp.
(C R C Press) 9780849319143 15,400.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110151 Kasabov,N.et al.(eds.) :
Progress in Connectionist-Based Information Systems, Vol. 2.
1998 601 pp.
(Springer) 9789813083639 11,650.
110152 Keller,L.S.:
Operating Systems.
1988 370 pp.
(Prentice Hall) 9780136380405 18,510.
110153 Knuth,D.:
Art of Computer Programming, Vol. 1 -3. (Boxed Set)
1999 2100 pp.
(Addison) 9780201485417 23,420.
110154 Knuth,D.:
The Art of Computer Programming, Vol. 4: Fascicle
0: Introduction to Combinatorial Algorithms and
Boolean Functions.
2008 240 pp.
(Addison) 9780321534965 2,190.
110155 Koblitz,N.:
Algebraic Aspects of Cryptography.
(Algorithms and Computation in Mathematics, Vol. 3)
1998 206 pp.
(Springer) 9783540634461 17,990.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110156 Koch,C./Segev,I.(eds.):
Methods in Neuronal Modeling: From Ions to Networks, 2nd ed.
1998 671 pp.
(M.I.T.) 9780262112314 15,660.
110157 Kontoghiorghes,E.:
Handbook of Parallel Computing and Statistics.
(Statistics: Textbooks and Monographs Series, Vol. 184)
2006 568 pp.
(Dekker) 9780824740672 28,270.
110158 Korte,B./Vygen,J.:
Combinatorial Optimization: Theory and Algorithms, 4th ed.
(Algorithms and Combinatorics, Vol. 21)
2007 627 pp.
(Springer) 9783540718437 11,100.
110159 Krishnamoorthy,C./Rajeev,S.:
Artificial Intelligence and Expert Systems for Engineering.
1996 297 pp.
(C R C Press) 9780849391255 14,190.
110160 Lakemeyer,G./Nebel,B.:
Exploring Artificial Intelligence in the New Millennium.
2002 450 pp.
(M. Kaufman) 9781558608115 10,730.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110161 Lansdale.M./Ormerod,T.:
Understanding Interfaces.
1994 289 pp.
(Academic/London) 9780125283908 9,800.
110162 Last,M./Kandel,A./Bunke,H.(eds.):
Data Mining in the Series Databases.
2004 192 pp.
(World Sci.) 9789812382900 12,180.
110163 Lee,G./Yamada,A./Meng,H./Myaeng,S.(eds.):
Information Retrieval Technology: 2nd Asia
Information Retrieval Symposium, AIRS 2005, Jeju
Island.
(Lecture Notes in Computer Science, Vol. 3689)
2005 735 pp.
(Springer) 9783540291862 19,740.
110164 Leman,M.(ed.):
Music, Gestalt, and Computing. (with CD-ROM)
(Lecture Notes in Artificial Intelligence, Vol. 1317)
1997 524 pp.
(Springer) 9783540635260 10,580.
110165 Leung,C.(ed.):
Visual Information Systems.
(Lecture Notes in Computer Science, Vol. 1306)
1997 274 pp.
(Springer) 9783540636366 6,930.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110166 Li,M./Vitanyi,P.:
An Introduction to Kolmogorov Complexity and Its
Applications.
(Texts in Computer Science)
2008 790 pp.
(Springer) 9780387339986 11,500.
110167 Li,W.-C.(ed.):詳報掲載
Recent Trends in Coding Theory and Its Applications.
(AMS/IP Studies in Advanced Mathematics, Vol. 41)
2007 200 pp.
(A.M.S.) 9780821842980 10,040.
110168 Liang,S.:
The Java Native Interface.
1999 303 pp.
(Addison) 9780201325775 5,440.
110169 Liotta,G./Tamasia,R./Tollis,I.:
Graph Algorithms and Applications, 2.
2004 521 pp.
(World Sci.) 9789812388551 13,120.
110170 Liu,Y.-M./Luo,M.-K.:
Fuzzy Topology.
(Advances in Fuzzy Systems -- Applications and Theory, Vol. 9)
1997 353 pp.
(World Sci.) 9789810228620 12,030.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110171 Lloyd,J.(ed.):
Logic Programming: Proceedings of the 1995 Int'l
Symposium, Portland.
1996 644 pp.
(M.I.T.) 9780262620994 17,550.
110172 Loeckx,J./Ehrich,H.-D./Wolf,M.:
Specification of Abstract Data Types.
1996 260 pp.
(Teubner) 9783519021155 7,170.
110173 Luengo,I.(ed.):詳報掲載
Recent Trends in Cryptography.
(Contemporary Mathematics, Vol. 477)
2009 141 pp.
(A.M.S.) 9780821839843 6,800.
110174 Lyons,R.G.:
Understanding Digital Signal Processing.
1996 517 pp.
(Addison) 9780201634679 11,580.
110175 Maeder,R.:
The MATHEMATICA Programmer II. (with CD -ROM)
1996 295 pp.
(Academic) 9780124649927 9,070.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110176 Maes,P./Mataric,M./Meyer,J.-A./Pollack,J./Wilson,S.(eds.):
From Animals to Animats, 4: Proceedings of the
Fourth Int'l Conference on Simulation of Adaptive
Behavior, 1996, Cape Cod.
(Complex Adapting Systems)
1996 644 pp.
(M.I.T.) 9780262631785 17,300.
110177 Mahdavi,K./Koslover,D.(eds.):詳報掲載
Advances in Quantum Computation.
(Contemporary Mathematics, Vol. 482)
2009 240 pp.
(A.M.S.) 9780821846278 11,730.
110178 Makinson,D.:詳報掲載
Sets, Logic and Maths for Computing.
(Undergraduate Topics in Computer Science)
2008 301 pp.
(Springer) 9781846288449 5,040.
110179 Manna,Z./Pnueli,A.:
The Temporal Logic of Reactive and Concurrent Systems.
1992 427 pp.
(Springer) 9783540976646 11,700.
110180 Mano,M./Kime,C.:
Logic and Computer Design Fundamentals, 2nd ed.
(with 2 CD -ROMs)
2000 652 pp.
(Prentice Hall) 9780130161765 4,700.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110181 Manoilov,P./Manoilov,G./Delijska,B.:
Elsevier's Dictionary of Computer Graphics. (In
English, German, French and Russian)
2000 800 pp.
(North Holland) 9780444500274 25,870.
110182 Marsan,M.et al.:
Modelling with Generalized Stochastic Petri Nets.
1995 301 pp.
(Wiley) 9780471930594 14,620.
110183 Matousek,J.et al.:詳報掲載
Invitation to Discrete Mathematics, 2nd ed.
2008 443 pp.
(Oxford) 9780198570431 22,050.
110184 Matousek,J./Nesetril,J.:詳報掲載
Invitation to Discrete Mathematics, 2nd ed. (Paper ed.)
2008 443 pp.
(Oxford) 9780198570424 8,470.
110185 McConnell,J.:
Analysis of Algorithms: an Active Learning Approach.
2001 320 pp.
(J & B) 9780763716349 13,060.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110186 Mclver,A./Morgan,C.(eds.):
Programming Methodology.
(Monographs in Computer Science)
2002 469 pp.
(Springer) 9780387953496 12,590.
110187 Meurant,G.(ed.):
Computer Solution of Large Linear Systems.
(Studies in Mathmatics and its Applications, Vol. 28)
1999 453 pp.
(North Holland) 9780444501691 28,030.
110188 Michalewicz,Z.:
Genetic Algorithms + Data Structures = Evolution
Programs, 3rd Revised and extended ed. , 1996.
1996 387 pp.
(Springer) 9783540606765 6,090.
110189 Miller,D.(ed.):
Logic Programming.
1993 900 pp.
(M.I.T.) 9780262631525 17,550.
110190 Miller,K.:
An Assembly Language Introduction to Computer
Architecture: Using the Intel Pentium.
1999 335 pp.
(Oxford/USA) 9780195123760 11,760.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110191 Mitchell,M.:
A Visual Guide to Stata Graphics, 2nd ed.
2008 471 pp.
(Stata Press) 9781597180399 8,970.
110192 Mohammadian,M.(ed.) :
Advances in Intelligent Systems: Theory and Applications.
2000 400 pp.
(IOS Press) 9781586030438 14,000.
110193 Mollin,R.:
Codes: The Guide to Secrecy From Ancient to Modern Times.
(Discrete Mathematics and Its Applications, Vol. 33)
2005 704 pp.
(Chapman & Hall) 9781584884705 14,260.
110194 Morvan,J.-M.:
Generalized Curvatures.
(Geometry and Computing, Vol. 2)
2008 266 pp.
(Springer) 9783540737919 14,310.
110195 Mullender,S.(ed.) :
Distributed Systems.
1989 458 pp.
(Addison) 9780201416602 8,960.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110196 Muller,R.:
Productive Objects: An Applied Software Project
Management Frameworks.
1997 698 pp.
(M. Kaufman) 9781558604377 10,440.
110197 Murthy,T.K.S.et al.:
Advances in Computer Technology and Applications in Japan.
(Lecture Notes in Engineering, Vol. 69)
1991 158 pp.
(Springer) 9783540540724 6,240.
110198 Murugesan,S.:
Web Engineering.
(Lecture Notes in Computer Science, Vol. 2016)
2001 357 pp.
(Springer) 9783540421306 6,970.
110199 Musen,M./Neumann,B./Studer,R.(eds.):
Intelligent Information Processing.
2002 328 pp.
(Kluwer) 9781402071713 31,500.
110200 Nagamochi Hiroshi /Ibaraki Toshihide :詳報掲載
Algorithmic Aspects of Graph Connectivity.
(Encyclopedia of Mathematics and its Applications, Vol. 123)
2008 375 pp.
(Cambridge) 9780521878647 12,540.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110201 Narendran,P.et al.(eds.):
Rewriting Techniques and Applications. -Rta'99.
(Lecture Notes in Computer Science, Vol. 1631)
1999 397 pp.
(Springer) 9783540662013 12,810.
110202 Naughton,H./Schidt,H:
Java 1. 1: The Complete Reference, 2nd ed.
1998 1028 pp.
(Mcgraw-Hill) 9780078824364 8,160.
110203 Negnevitsky,M.:
Artificial Intelligence: A Guide to Intelligent Systems.
2001 352 pp.
(Addison) 9780201711592 5,460.
110204 Nguyen,H./Wu,B.:
Fundamentals of Statistics with Fuzzy Data.
2006 195 pp.
(Springer) 9783540316954 19,610.
110205 Nielsen,J.:
Hypertext and Hypermedia. (Paper ed.)
1993 236 pp.
(Academic) 9780125184113 5,840.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110206 Nielsen,K.:
Software Development with C++: Maximizing Reuse
with Object Technology.
1994 496 pp.
(Academic) 9780125184205 5,840.
110207 Nies,A.:
Computability and Randomness.
(Oxford Logic Guides, Vol. 51)
2009 420 pp.
(Oxford) 9780199230761 13,090.
110208 Norusis,M.:
Spss Statistics 17. 0 Statistical Procesures
Companion. (with A CD-ROM)
2008 630 pp.
(Prentice Hall) 9780321621412 7,550.
110209 O'hare,G./Jennings,N.(eds.):
Foundations of Distributed Artificial Intelligence.
1996 576 pp.
(Wiley) 9780471006756 19,990.
110210 Pan,H.-C.et al.:
Intelligent Watermarking Technique. (with A CD-ROM)
2004 680 pp.
(World Sci.) 9789812387578 18,060.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110211 Parhami,B.:
Introduction to Parallel Processing.
1999 532 pp.
(Plenum) 9780306459702 15,480.
110212 Parks,R./Levin,D./Long,D.(eds.):
Fundamentals of Neural Network Modeling:
Neuropsychology and Cognitive Neuroscience.
1998 428 pp.
(M.I.T.) 9780262161756 12,820.
110213 Perales,F./Fisher,R.(eds.):
Articulated Motion and Deformable Objects: 5th
Int'l Conference, AMDO 2008, Port d'Andratx.
(Lecture Notes in Computer Science, Vol. 5098)
2008 458 pp.
(Springer) 9783540705161 11,220.
110214 Pichler,F.et al.(eds.):
Computer Aided Systems Theory-Eurocast '97.
(Lecture Notes in Computer Science, Vol. 1333)
1997 626 pp.
(Springer) 9783540638117 14,390.
110215 Poynton,C.:
Digital Video and HDTV Algorithms and Interfaces.
2002 730 pp.
(M. Kaufman) 9781558607927 11,090.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110216 Preisach,C./Burkhardt,H./Schmidt-Thieme,L./Decker,R.(eds.):
Data Analysis, Machine Learning and Applications:
Proceedings of the Annual Conference.
2008 719 pp.
(Springer) 9783540782391 31,840.
110217 Prietula,M./Carley,K./Gasser,L.(eds.):
Simulated Organizations: Computational Models of
Institutions and Groups.
1998 248 pp.
(M.I.T.) 9780262661089 9,610.
110218 Rajasekaran,S./Reif,J.:
Handbook of Parallel Computing.
(Computer and Information SciencesVol. 17)
2007 1224 pp.
(Chapman & Hall) 9781584886235 24,790.
110219 Ras,Z.et al.(eds.) :
Foundations of Intelligent Systems.
(Lecture Notes in Artificial Intelligence, Vol. 1325)
1997 630 pp.
(Springer) 9783540636144 13,170.
110220 Reilly,E.(ed.):
Concise Encyclopedia of Computer Science.
2004 640 pp.
(Wiley) 9780470090954 9,540.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110221 Retore,C.(ed.):
Logical Aspects of Computational Linguistics.
(Lecture Notes in Artificial Intelligence, Vol. 1328)
1997 435 pp.
(Springer) 9783540637004 10,620.
110222 Rich,E.:
Automata, Computability and Complexity: Theory
and Applications.
2007 1120 pp.
(Prentice Hall) 9780132288064 15,520.
110223 Rich,E.:
Automata, Computability and Complexity.
2008 1120 pp.
(Prentice Hall) 9780132346177 6,170.
110224 Riolo,R./Soule,T./Worzel,B.(eds.):
Genetic Programming Theory and Practice V.
2008 279 pp.
(Springer) 9780387763071 20,390.
110225 Roberts,E.:
Programming Abstraction in C.
1997 819 pp.
(Addison) 9780201545418 13,450.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110226 Robinson,D.:
Fundamentals of Structured Program Design.
2000 326 pp.
(Prentice Hall) 9780139279300 13,780.
110227 Rohrer,C./Rossdeutscher,A./Kamp,H.(eds.):
Linguistic Form and Its Computation. (Paper ed.)
(CSLI Lecture Notes)
2001 400 pp.
(C.S.L.I.) 9781575863597 5,120.
110228 Russ,J.:
The Image Processing Handbook, 4th ed.
2002 800 pp.
(C R C Press) 9780849311420 27,540.
110229 Ryan,B.:
Minitab: Handbook, 2nd ed.
1976 379 pp.
(Wadsworth) 9780871504708 5,280.
110230 Sala,M./Mora,T./Perret,L./Sakata,S./Traverso,C.(eds.) :詳報掲載
Groebner Bases, Coding, and Cryptography.
2009 430 pp.
(Springer) 9783540938057 16,390.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110231 Sanchez,J./Canton,M.:
Patterns, Models, and Application Development: A
C++ Programmer's Reference.
1997 431 pp.
(C R C Press) 9780849331022 12,100.
110232 Sandewall,E.:
Features and Fluents: Representation of Knowledge
About Dynamical Systems.
(Oxford Logic Guides, Vol. 30)
1995 352 pp.
(Oxford) 9780198538455 16,090.
110233 Saraswat,V.A.:
Concurrent Constraint Programming.
1993 527 pp.
(M.I.T.) 9780262192972 14,240.
110234 Sato Masahiko /Toyama Yoshihito (eds.):
Functional and Logic Programming: Proceedings of
the 3rd Fuji Int'l Symposium AIST, Kyoto 1998.
1998 313 pp.
(World Sci.) 9789810233846 16,120.
110235 Schumacher,M.:
Objective Coordination in Multi-Agent System Engineering.
(Lecture Notes in Artificial Intelligence, Vol. 2039)
2001 149 pp.
(Springer) 9783540419822 5,930.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110236 Schwartz,M.:
Broadband Integrated Networks.
1996 369 pp.
(Prentice Hall) 9780135192405 11,900.
110237 Sebesta,R.:
Concepts of Programming Languages, 4th ed.
1999 639 pp.
(Addison) 9780201385960 11,500.
110238 Servedio,R.et al.(eds.):
COLT: 21th -2008.
(Annual Workshop on Computational Learning Theory, Vol. 21)
2008 520 pp.
(A.C.M.) 9781000021851 17,930.
110239 Shonkwiler,R./Mendivil,F.:詳報掲載
Explorations in Monte Carlo Methods.
(Undergraduate Texts in Mathematics)
2009 243 pp.
(Springer) 9780387878362 10,090.
110240 Siam :
Proceedings of the 12th Annual ACM-SIAM Symposium
on Discrete Algorithms.
(Proceeding of Annual ACM-SIAM Symposium of Discrete Algorithm, Vol. 12)
2001 937 pp.
(S.I.A.M.) 9780898714906 22,910.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110241 Simon,R.J.:
Windows 95 Multimedia and ODBC API Bible.
1996 1080 pp.
(Wait Group) 9781571690111 8,000.
110242 Singh,M.P.et al.(eds.) :
Intelligent Agents, IV.
(Lecture Notes in Artificial Intelligence, Vol. 1365)
1998 350 pp.
(Springer) 9783540641629 9,200.
110243 Smith,G.:
The Object -Z Specification Language.
2000 142 pp.
(Kluwer) 9780792386841 17,340.
110244 Snyder,G./Pardoe,T.:
Network Security.
2004 485 pp.
(Wadsworth) 9781401882143 14,590.
110245 Soares,C.et al.(eds.) :
Applications of Data Mining in E-Business and Finance.
2008 143 pp.
(IOS Press) 9781586038908 25,500.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110246 Sommer,G.et al.(eds.) :
Algebraic Frames for the Perception-Action Cycle.
(Lecture Notes in Computer Science, Vol. 1315)
1997 394 pp.
(Springer) 9783540635178 8,610.
110247 Stapleton,J.:
DSDM: Dynamic Systems Development Method.
1998 192 pp.
(Addison) 9780201178890 4,950.
110248 Steel,S./Alami,R.:
Recent Advances in Ai Planning.
(Lecture Notes in Artificial Intelligence, Vol. 1348)
1997 454 pp.
(Springer) 9783540639121 11,560.
110249 Stephenson,K.:
Introduction to Circle Packing.
2005 384 pp.
(Cambridge) 9780521823562 9,500.
110250 Stinson,D.:
Cryptography: Theory and Practice, 2nd ed.
(Discrete Mathematics and Its Applications)
2002 360 pp.
(Chapman & Hall) 9781584882060 12,440.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110251 Stock,O.(ed.):
Spatial and Temporal Reasoning.
1997 408 pp.
(Kluwer) 9780792346449 18,800.
110252 Stolze,J./Suter,D.:
Quantum Computing.
2004 244 pp.
(Wiley-VCH) 9783527404384 10,850.
110253 Strumfels,B.:
Algorithms in Invariant Theory, 2nd ed.
2008 197 pp.
(Springer/Wien) 9783211774168 8,190.
110254 Succi,S.:
An Introduction to Computational Physics, Part 1:
Grid Methods.
(Appunti, Vol. 25)
2003 102 pp.
(S.N.S.) 9781000018264 5,980.
110255 Sutter,H.:
C++ Coding Standards.
2004 ....
(Addison) 9780321113580 6,120.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110256 Swingler,K.:
Applying Neural Networks: A Practical Guide. (CD
-ROM for Mac/Win/C/C++)
1996 303 pp.
(Academic) 9780126791709 11,650.
110257 Takahashi Masako / Okada Mitsuhiro /Dezani-Ciancaglini,M.(eds.):
Theories of Type and Proofs.
(MSJ Memoirs, Vol. 2)
1998 295 pp.
(M. S. J.) 9784931469020 5,800.
110258 Tao,R.:
Finite Automata and Application to Cryptography.
2008 406 pp.
(Springer) 9783540782568 29,910.
110259 Tchuente,M.:
Parallel Computation on Regular Arrays.
1991 315 pp.
(Manchester) 9780719027086 10,780.
110260 Thayer,R.H.et al.:
Software Engineering, Vol. 1: The Development
Processes, 3rd ed.
2005 552 pp.
(Wiley) 9780471684176 12,520.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110261 Tomassini,M.:
Spatially Structured Evolutionary Algorithms:
Artificial Evolution in Space and Time.
2005 192 pp.
(Springer) 9783540241935 8,360.
110262 Tong,C.et al.(eds.) :
Artificial Intelligence in Engineering Design, Vol 3.
1992 388 pp.
(Academic) 9780126605631 7,790.
110263 Trueblood,R./Lovett,J.:
Data Mining and Statistical Analysis Using SQL: A
Practical Guide for DBAs.
2001 250 pp.
(Springer) 9781893115545 7,490.
110264 Tucker,A.(ed.):
Models That Work: Case Studies in Effective
Undergraduate Mathematics Programs.
(MAA Notes, Vol. 38)
1996 78 pp.
(M.A.A.) 9780883850961 4,940.
110265 Van De Velde,E.F.:
Concurrent Scientific Computing.
(Texts in Applied Mathematics, Vol. 16)
1994 325 pp.
(Springer) 9783540941958 9,020.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110266 Van Gool,L.(ed.) :
Pattern Recognition.
(Lecture Notes in Computer Science, Vol. 2449)
2002 628 pp.
(Springer) 9783540442097 13,800.
110267 Van Hentenryck,P(ed.):
Logic Programming: Proceedings of the 11th Int'l
Conference on Logic Programming.
(Logic Programming Series)
1994 752 pp.
(M.I.T.) 9780262720229 17,550.
110268 Vedral,V.:
Introduction to Quantum Information Science.
2006 192 pp.
(Oxford) 9780199215706 11,990.
110269 Vickery,C.:
Unix Shell Programmer's Interactive Workbook.
1999 596 pp.
(Prentice Hall) 9780130200648 6,230.
110270 Vince,J.:詳報掲載
Geometric Algebra for Computer Graphics.
2008 256 pp.
(Springer) 9781846289965 19,620.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110271 Von Seggern,D.:
Practical Handbook of Curve Design and Generation.
1994 267 pp.
(C R C Press) 9780849389160 11,520.
110272 Wallis,W.:
Designs 2002.
(Mathematics and its Applications, Vol. 563)
2003 368 pp.
(Kluwer) 9781402075995 34,370.
110273 Wang,D.(ed.) :
Automated Deduction in Geometry.
(Lecture Notes in Artificial Intelligence, Vol. 1360)
1998 235 pp.
(Springer) 9783540642978 6,840.
110274 Washington,L.:詳報掲載
Elliptic Curves: Number Theory and Cryptography, 2nd ed.
(Discrete Mathematics and Its ApplicationsVol. 50)
2008 513 pp.
(Chapman & Hall) 9781420071467 13,800.
110275 Wayner,P.:
Disappearing Cryptography: Information Hiding:
Steganography and Watermarking, 2nd ed.
2002 412 pp.
(M. Kaufman) 9781558607699 8,900.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110276 Weikum,G./Vossen,G.:
Fundamentals of Transactional Information Systems.
2001 950 pp.
(M. Kaufman) 9781558605084 14,710.
110277 Wilson,G./Lu,P.(eds.):
Parallel Programming Using C++. (Foreword by
Bjarne Stroustrup)
1996 760 pp.
(M.I.T.) 9780262731188 10,530.
110278 Wolfram,S.:
A New Kind of Science.
2002 1197 pp.
(Wolfram Media) 9781579550080 6,950.
110279 Wu,W-T.:
Mechanical Theorem Proving in Geometries.
1994 288 pp.
(Springer/Wien) 9783211825068 10,380.
110280 Zhang,K./Zheng,Y.(eds.):
Information Security: 7th Int'l Conference, ISC
2004 Palo Alto.
(Lecture Notes in Computer Science, Vol. 3225)
2004 442 pp.
(Springer) 9783540232087 11,520.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
110281 Zippel,R.:
Effective Polynomial Computation.
1993 363 pp.
(Kluwer) 9780792393757 52,340.