YURINSHA STOCK LIST 2009／数理科学関係洋書在庫目録
11.計算機科学
110001 A.A.A.I.(ed.):
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.(ed.):
A. A. A. I. 2004.
(Proceedings of the National Conference on Artificial intelligence, Vol. 19)
2004 1051 pp.
(M.I.T.) 9780262511834 14,110.
110003 A.C.M.:
Computational Geometry: SCG '03.
(Computational Geometry, Vol. 19)
2003 389 pp.
(A.C.M.) 9781581136630 14,320.
110004 A.C.M.:
PODS-2000.
(Symposium on Principles of Database Systems, Vol. 19)
2000 281 pp.
(A.C.M.) 9781581132144 8,450.
110005 A.C.M.:
POPL-2007.
(Symposium on Principles of Programming Language, Vol. 34)
2007 390 pp.
(A.C.M.) 9781595935755 12,870.
／注文方法／ボタンの
110006 Abdallah,A.N.:
The Logic of Partial Information.
(Monographs in Theoretical Computer Science. An EATCS Series)
1995 715 pp.
(Springer) 9783540565833 14,060.
110007 Ablamowicz,R./Lounesto,P./Parra,J.M.:
Clifford Algebras with Numeric and Symbolic Computations.
1996 322 pp.
(Birkhauser) 9783764339074 10,360.
110008 Aceto,L./Ingolfsdottir,A./Guldstrand,K./Srba,J.:
Reactive Systems: Modelling, Specification and Verification.
2007 300 pp.
(Cambridge) 9780521875462 13,870.
110009 Almasi,G./Gottlieb,A:
Highly Parallel Computing, 2nd ed.
1994 694 pp.
(Addison) 9780805304435 10,710.
110010 Apt,K./Wallace,C.:
Constraint Logic Programming Using Eclipse.
2007 329 pp.
(Cambridge) 9780521866286 10,200.
／注文方法／ボタンの
110011 Arumugan,S./Acharya,B./Rao,S.:
Graphs, Combinatorics, Algorithms and Applications.
2005 185 pp.
(Narosa) 9788173196126 17,770.
110012 Ashenden,P.:
The Student's Guide to VHDL.
1998 336 pp.
(M. Kaufman) 9781558605206 5,420.
110013 Ausnit-Hood,C.et al.:
Ada 95 Quality and Style.
(Lecture Notes in Computer Science, Vol. 1344)
1997 292 pp.
(Springer) 9783540638230 6,840.
110014 Azema,A.:
Software Reliability Determination for
Conventional and Logic Programming.
1995 175 pp.
(de Gruyter) 9783110148077 12,320.
110015 Bachem,A.et al.(eds.):
Mathematical Programming: The State of the Art.
1983 655 pp.
(Springer) 9783540120827 26,180.
／注文方法／ボタンの
110016 Banzhaf,W./Reevs,C.:
Foundations of Genetic Algorithms, Vol. 5: GOGA -5.
1999 316 pp.
(M. Kaufman) 9781558605596 13,030.
110017 Banzhaff,W./Nordin,P./Keller,R./Francone,F.:
Genetic Programming: An Introduction.
1998 470 pp.
(M. Kaufman) 9781558605107 13,450.
110018 Barclay,K.A.et al.:
C++ Problem Soving and Programming.
1994 552 pp.
(Prentice Hall) 9780131266735 7,010.
110019 Bass,L.et al.:
Software Architecture in Practice.
1998 452 pp.
(Addison) 9780201199307 9,370.
110020 Bauer,F.:
Decrypted Secrets: Methods and Maxims of Cryptology, 2nd ed.
2000 486 pp.
(Springer) 9783540668718 5,440.
／注文方法／ボタンの
110021 Beeri,C./Ohori,A.:
Database Programming Languages. (DBPL - 4)
(Workshops in Computer)
1994 436 pp.
(Springer) 9783540198536 12,980.
110022 Beth,T.et al.(eds.):
Quantum Information Processing, 2nd ed.
2005 449 pp.
(Wiley-VCH) 9783527405411 37,480.
110023 Bhandari,A./Nagraji,D./Ramakrishnan,B./Venkataramana,T.(eds.):
Elliptic Curves, Modular Forms and Cryptography.
2003 345 pp.
(Hindustan) 9788185931425 9,910.
110024 Bic,L.F./Shaw,A.C.:
Operating Systems Principles.
2003 543 pp.
(Prentice Hall) 9780130266118 16,470.
110025 Bishop,C.:
Pattern Recognition and Machine Learning.
(Information Science and Statistics Series)
2006 738 pp.
(Springer) 9780387310732 16,050.
／注文方法／ボタンの
110026 Bishop,J.:
Java Gently: Programming Principles Explained.
1997 416 pp.
(Addison) 9780201593990 7,390.
110027 Blake,I./Seroussi,G./Smart,N.:
Advances in Ellptic Curve Cryptography.
(London Mathematical Society Lecture Note Series, Vol. 317)
2005 298 pp.
(Cambridge) 9780521604154 8,670.
110028 Bochman,A.:
Explanatory Nonmonotonic Reasoning.
2005 408 pp.
(World Sci.) 9789812561015 12,180.
110029 Bollobas,B.:
Random Graphs, 2nd ed.
(Cambridge Studies in Advanced Mathematics, Vol. 73)
2001 516 pp.
(Cambridge) 9780521809207 23,860.
110030 Bollobas,B.:
Modern Graph Theory. (Paper ed.)
(Graduate Texts in Mathematics, Vol. 184)
2002 394 pp.
(Springer) 9780387984889 10,790.
／注文方法／ボタンの
110031 Bonato,A.:詳報掲載
A Course on The Web Graph.
(Graduate Studies in Mathematics, Vol. 89)
2008 184 pp.
(A.M.S.) 9780821844670 7,290.
110032 Boolos,G./Burgess,J./Jeffrey,R.:
Computability and Logic, 4th ed. (Paper ed. )
2002 356 pp.
(Cambridge) 9780521007580 4,710.
110033 Brachman,R./Levesque,H.:
Knowledge Representation and Reasoning.
2004 384 pp.
(M. Kaufman) 9781558609327 11,610.
110034 Brameier,M./Banzhaf,W.:
Linear Genetic Programming.
2007 315 pp.
(Springer) 9780387310299 14,790.
110035 Braude,E.:
Software Engineering: An Object-Oriented Perspective.
2000 676 pp.
(Wiley) 9780471322085 7,420.
／注文方法／ボタンの
110036 Bres,S./Emerson,A./Laurini,R.(eds.) :
Visual Information and Information Systems:
8th International Conference, Visual 2005.
(Lecture Notes in Computer Science, Vol. 3736)
2006 291 pp.
(Springer) 9783540304883 11,280.
110037 Bressoud,D./Wagon,S.:
A Course in Computational Number Theory. (with CD-ROM)
2000 367 pp.
(Springer) 9781930190108 14,680.
110038 Brown,W.et al.:
Anti -Patterns.
1998 416 pp.
(Wiley) 9780471197133 6,400.
110039 Brylinski,R./Chen,G.:
Mathematics of Quantum Computation.
2002 429 pp.
(Chapman & Hall) 9781584882824 22,210.
110040 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.
／注文方法／ボタンの
110041 Bunke,H./Dickinson,P./Kraetzl,M./Wallis,W.:
A Graph-Theoretic Approach to Enterprise Network Dynamics.
(Progress in Computer Science and Applied Logic, Vol. 24)
2007 225 pp.
(Birkhauser) 9780817644857 13,630.
110042 Calude,C./Dineen,M./Sburlan,S.(eds.):
Combinatorics, Computability and Logic.
2001 251 pp.
(Springer) 9781852335267 22,530.
110043 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.
110044 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.
110045 Carpenter,R.:
The Logic of Typed Feature Structures.
(Now in Paperback ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 32)
2005 270 pp.
(Cambridge) 9780521022545 7,650.
／注文方法／ボタンの
110046 Cervenka,R./Trencansky,I.:
The Agent Modeling Language -AML:
A Comprehensive Approach to Modeling Multi-Agent Systems.
2007 355 pp.
(Birkhauser) 9783764383954 9,850.
110047 Chambers,L.(ed.) :
Practical Handbook of Genetic Algorithms, Vol. 2:
New Frontiers.
1995 435 pp.
(C R C Press) 9780849325298 11,990.
110048 Chang,L.-W.(ed.) :
Advances in Image and Video Technology.
(Lecture Notes in Computer Science, Vol. 4319)
2006 1347 pp.
(Springer) 9783540682974 29,260.
110049 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.
110050 Chen,K.(ed.) :
Progress on Cryptography: 25 Years of Cryptography in China.
2004 246 pp.
(Kluwer) 9781402079863 22,230.
／注文方法／ボタンの
110051 Chen,Z.:
Computational Intelligence for Decision Support.
2000 400 pp.
(Springer) 9780849317996 11,080.
110052 Chen,Z.:
Intelligent Data Warehouseing:
From Data Preparation to Data Mining.
2001 243 pp.
(C R C Press) 9780849312045 15,170.
110053 Chmura,A./Heumann,J.:
Logical Data Modeling: What It Is and How To Do It.
2004 228 pp.
(Springer) 9780387229508 13,440.
110054 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.
110055 Christianson,B.et al.:
Security Protocols.
(Lecture Notes in Computer Science, Vol. 3364)
2005 ....
(Springer) 9783540283898 12,430.
／注文方法／ボタンの
110056 Codognet,P.(ed.) :
Logic Programming: ICLP 2001.
(Lecture Notes in Computer Science, Vol. 2237)
2001 364 pp.
(Springer) 9783540429357 7,920.
110057 Cohen,H./Fray,G.:
Handbook of Elliptic and Hyperelliptic Curve Cryptography.
(Discrete Mathematics and Its ApplicationsVol. 34)
2005 848 pp.
(Chapman & Hall) 9781584885184 21,980.
110058 Conen,W./Neumann,G.(eds.) :
Coordination Technology for Collaborative Applications.
(Lecture Notes in Computer Science, Vol. 1364)
1998 281 pp.
(Springer) 9783540641704 7,310.
110059 Cormen,T.et al.:
Introduction to Algorithms, 2nd ed. (Paper ed.)
2001 1184 pp.
(M.I.T.) 9780262531962 9,400.
110060 Costa,E./Cardoso,A.(eds.):
Progress in Artificial Intelligence: 8th
Portuguese Conference on Artificial Intelligence,
EPIA ・7, Coimbra.
(Lecture Notes in Artificial Intelligence, Vol. 1323)
1997 388 pp.
(Springer) 9783540635864 9,450.
／注文方法／ボタンの
110061 Courage,C./Baxter,K.:
Understanding Your Users.
2005 780 pp.
(M. Kaufman) 9781558609358 9,410.
110062 Craig,I.:
Formal Refinement for Operating System Kernels.
2007 350 pp.
(Springer) 9781846289668 16,860.
110063 Crandall,R./Pomerance,C.:
Prime Numbers: A Computational Perspective, 2nd ed.
2005 600 pp.
(Springer) 9780387252827 13,190.
110064 Dai,Y.-S.et al.(eds.) :
Advanced Parallel and Distributed Computing:
Evaluation, Improvement and Practice.
2006 321 pp.
(Nova) 9781600212024 20,240.
110065 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.
／注文方法／ボタンの
110066 Davis,M.:
Computability and Unsolvability.
1982 248 pp.
(Dover) 9780486614717 2,660.
110067 Delfs,H./Knebl,H.:
Introduction to Cryptography.
(Information Security and Cryptography)
2002 310 pp.
(Springer) 9783540422785 8,580.
110068 Delic,G./Wheeler,M.:
Next Generation Environmental Models and Compputational.
1997 375 pp.
(S.I.A.M.) 9780898713787 14,300.
110069 Derksen,H./Kemper,G.:
Computational Invariant Theory.
(Encyclopaedia of Mathematical Sciences, Vol. 130)
2002 268 pp.
(Springer) 9783540434764 22,200.
110070 Devore,R./Iserles,A./Suli,E.:
Foundations of Computational Mathematics.
(London Mathematical Society Lecture Note Series, Vol. 284)
2001 400 pp.
(Cambridge) 9780521003490 10,440.
／注文方法／ボタンの
110071 Deza,M./Sikiric,M.:詳報掲載
Geometry of Chemical Graphs: Polycycles and Two-faced Maps.
(Encyclopedia of Mathematics and its Applications, Vol. 119)
2008 316 pp.
(Cambridge) 9780521873079 15,620.
110072 Ding,C./Helleseth,T./Niederreiter,H.(eds.) :
Sequences and Their Applications: Proceedings of SETA ・8.
1999 395 pp.
(Springer) 9781852331962 12,740.
110073 Dominich,S.:
The Modern Algebra of Information Retrieval.
2008 327 pp.
(Springer) 9783540776581 17,840.
110074 Domosi,P./Nehaniv,C.:
Algebraic Theory of Automata Networks.
2004 258 pp.
(S.I.A.M.) 9780898715699 16,850.
110075 Dorigo,M./Di Caro,G./Sampels,M.(eds.) :
Ant Algorithms: 3rd ANTS 2002.
(Lecture Notes in Computer Science, Vol. 2463)
2002 310 pp.
(Springer) 9783540441465 8,140.
／注文方法／ボタンの
110076 Duato,J.et al.:
Interconnection Networks. (Revised Print)
2002 600 pp.
(M. Kaufman) 9781558608528 9,950.
110077 Dumitrescu,D.et al.:
Evolutionary Computing and Appllications.
2000 386 pp.
(Chapman & Hall) 9780849305887 19,000.
110078 Durrett,R.:
Random Graph Dynamics.
(Cambridge Series in Statistical and Probabilistic Mathematics)
2006 212 pp.
(Cambridge) 9780521866569 8,760.
110079 Dybvig,R.:
The Scheme Programming Language, 3rd ed.
2003 295 pp.
(M.I.T.) 9780262541480 5,770.
110080 Earnshaw,R./Vince,J.A.(eds.):
Computer Graphics: Developments in Virtual Environments.
1995 576 pp.
(Academic) 9780122277412 11,690.
／注文方法／ボタンの
110081 Ebert,D.S.et al.:
Texturing and Modeling. 2nd ed. (with A CD-ROM)
1998 415 pp.
(Academic) 9780122287305 12,010.
110082 Edgar,S./Geneseo,S.:
Morality and Machines: Perspectives on Computer Ethics.
1997 448 pp.
(J & B) 9780763701840 5,430.
110083 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.
110084 Epstein,R.L.et al.:
Computability.
1989 297 pp.
(Wadsworth) 9780534103569 10,920.
110085 Esparza,J./Heljanko,K.:
Unfoldings: A Partial-Order Approach to Model Checking.
(Monographs in Theoretical Computer Science. An EATCS Series)
2008 169 pp.
(Springer) 9783540774259 13,020.
／注文方法／ボタンの
110086 Exner,P./Keating,J./Kuchment,P./Sunada Toshikazu /Teplyaev,A.(eds.):詳報掲載
Analysis on Graphs and Its Applications.
(Proceedings of Symposia in Pure Mathematics, Vol. 77)
2008 705 pp.
(A.M.S.) 9780821844717 21,840.
110087 Farah,M./Feinberg,T.(eds.):
Patient -Based Approaches to Cognitive Neuroscience.
1999 425 pp.
(M.I.T.) 9780262561235 7,290.
110088 Farouki,R.:詳報掲載
Pythagorean-Hodograph Curves:
Algebra and Geometry Inseparable.
(Geometry and Computing, Vol. 1)
2007 728 pp.
(Springer) 9783540733973 14,930.
110089 Fayad,M.et al.:
Implementating Application Frameworks. (with CD -ROM)
1999 688 pp.
(Wiley) 9780471252016 10,530.
110090 Feinberg,V./Levin,A./Rabinovich,E.:
VLSI Planarization: Methods, Models, Implementation.
(Mathematics and its Applications, Vol. 399)
1997 184 pp.
(Kluwer) 9780792345107 16,450.
／注文方法／ボタンの
110091 Feo,J.(ed.) :
A Compatative Study of Parallel Programming Languages.
1992 386 pp.
(North Holland) 9780444881359 28,250.
110092 Figueiredo,M./Zerubia,J./Jain,A.(eds.) :
Energy Minimization Methods in
Computer Vision and Pattern Recognition.
(Lecture Notes in Computer Science, Vol. 2134)
2001 652 pp.
(Springer) 9783540425236 11,560.
110093 Finkelstein,E.:
Syndicating Weg Sites with Rss Feeds for Dummies.
2005 326 pp.
(Wiley) 9780764588488 4,070.
110094 Fitzgerald,J.et al.:
FME '97: Industrial Applications
and Strengthened Foundations of Formal Methods.
(Lecture Notes in Computer Science, Vol. 1313)
1997 684 pp.
(Springer) 9783540635338 13,650.
110095 Fleck,A.:
Formal Models of Computation.
2001 548 pp.
(World Sci.) 9789810245009 14,960.
／注文方法／ボタンの
110096 Fosdick,L./Jessup,R./Schauble,C./ Domik,G.:
An Introduction to High -Performance Scientific Computing.
1995 750 pp.
(M.I.T.) 9780262061810 11,700.
110097 Fox,J./Das.S.:
Safe and Sound:
Artificial Intelligence in Hazardous Applications.
2000 293 pp.
(M.I.T.) 9780262062114 6,440.
110098 Friedman,W.F.:
Military Cryptanalysis Part. 1:
Monoalphabetic Substitution Systems.
1996 149 pp.
(Aegean Park) 9780894120442 7,920.
110099 Funge,J.:
Artificial Intelligence for Games and Animations:
A Cognitive Modeling Approach.
1999 212 pp.
(A K Peters) 9781568811031 5,890.
110100 Furukawa Koichi /Michie,D./Muggleton,S.:
Machine Intelligence, 15.
1999 515 pp.
(Oxford) 9780198538677 33,120.
／注文方法／ボタンの
110101 Furukawa,K.et al.(eds.):
Machine Intelligence and Inductive Learning.
(Machine Intelligence, Vol. 13)
1994 478 pp.
(Oxford) 9780198538509 19,500.
110102 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.
110103 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.
110104 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.
110105 Gaines,H.F.:
Crypyanalysis:
A Study of Ciphers and Their Solutions. Reprint
1939 237 pp.
(Dover) 9780486200972 1,500.
／注文方法／ボタンの
110106 Gaitan,F.:
Quantum Error Correction
and Fault Tolerant Quantum Computing.
2008 312 pp.
(Taylor & Francis) 9780849371998 13,990.
110107 Garey,M.R.et al.:
Computers and Intractability.
1979 340 pp.
(Freeman) 9780716710455 14,040.
110108 Garrett,P.:
Making, Breaking Codes: Introduction to Cryptology.
2000 525 pp.
(Prentice Hall) 9780130303691 12,690.
110109 Gazzaniga,M.(ed.):
The Cognitive Neuroscience, III.
2004 1385 pp.
(M.I.T.) 9780262072540 24,210.
110110 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.
／注文方法／ボタンの
110111 Geppert,A./Berndtsson,M.(eds.) :
Rules in Database Systems: 3rd RIDS '97, Skovde.
(Lecture Notes in Computer Science, Vol. 1312)
1997 214 pp.
(Springer) 9783540635161 6,090.
110112 Gillies,D.:
Artificial Intelligence and Scientific Method. (Paper ed.)
1996 194 pp.
(Oxford) 9780198751595 7,810.
110113 Goertzel,B./Pennachin,C.(eds.):
Artificial General Intelligence.
2006 508 pp.
(Springer) 9783540237334 13,730.
110114 Goldreich,O.:
Foundations of Cryptography, Vol. 2: Basic Applications.
2004 425 pp.
(Cambridge) 9780521830843 11,730.
110115 Goldreich,O.:
Foundations of Cryptography-A Primer.
2005 128 pp.
(Now Publishers) 9781933019024 9,150.
／注文方法／ボタンの
110116 Golub,G./Loan van,C:
Matrix Computations, 3rd ed. (Paper ed.)
1996 664 pp.
(Johns Hopkins) 9780801854149 7,780.
110117 Golumbic,M.:
Algorithmic Graph Theory and Perfect Graphs, 2nd ed.
(Annals of Discrete Mathematics, Vol. 57)
2004 314 pp.
(North Holland) 9780444515308 12,950.
110118 Goodman,J./Pach,J./Pollack,R.(eds.):詳報掲載
Surveys on Discrete and Computational Geometry:
Twenty Years Later.
(Contemporary Mathematics, Vol. 453)
2008 556 pp.
(A.M.S.) 9780821842393 20,940.
110119 Gratzer,G.:
More Math Into Latex, 4th ed.
2007 619 pp.
(Springer) 9780387322896 9,590.
110120 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.
／注文方法／ボタンの
110121 Grodzinsky,Y./Shapiro,L./Swinney,D.:
Language and the Brain.
2000 352 pp.
(Academic) 9780123042606 13,940.
110122 Gross,J.:
Combinatorial Methods with Computer Applications.
(Discrete Mathematics and Its ApplicationsVol. 45)
2007 656 pp.
(Chapman & Hall) 9781584887430 15,610.
110123 Grune,D./Jacobs,C.:
Parsing Techniques, 2nd ed.
(Monographs in Computer Science)
2008 662 pp.
(Springer) 9780387202488 13,630.
110124 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.
110125 Hansen,P./Marcotte,O.:
Graph Colouring and Applications.
(CRM Proceedings and Lecture Notes, Vol. 23)
1999 149 pp.
(A.M.S.) 9780821819555 7,280.
／注文方法／ボタンの
110126 Hanson,S./Drastal,G./Rivest,R.(eds.):
Computational Learning Theory
and Natural Learning Systems, Vol. I:
Constraints and Prospects.
1994 584 pp.
(M.I.T.) 9780262581264 11,690.
110127 Hanson,S./Petsche,T./Rivest,R./Kearns,M.(eds.):
Computational Learning Theory
and Natural Learning Systems, Vol. II:
Intersections between Theory and Experiment.
1994 449 pp.
(M.I.T.) 9780262581332 9,350.
110128 Harrison,J.:
Theorem Proving with the Real Numbers.
1998 186 pp.
(Springer) 9783540762560 15,290.
110129 Hermann,R.:
Geometric Computing Science.
(Interdisciplinary Mathematics, Vol. 25)
1991 400 pp.
(Math.Sci.Press) 9780915692415 14,920.
110130 Higgins,P.:詳報掲載
Number Theory: From Counting to Cryptography.
2008 324 pp.
(Springer) 9781848000001 4,730.
／注文方法／ボタンの
110131 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.
110132 Hockney,R.W.:
The Science of Computer Benchmarking.
1996 129 pp.
(S.I.A.M.) 9780898713633 4,210.
110133 Hofstadter,D.:
Fluid Concepts and Creative Analogies.
1996 518 pp.
(Basic Book) 9780465024759 4,100.
110134 Hooker,J.:
Logic-Based Methods for Optimization.
(Wiley Series in Discrete Mathematics and Optimization)
2000 495 pp.
(Wiley) 9780471385219 19,550.
110135 Huang,J.:詳報掲載
Path-Oriented Program Analysis.
2007 208 pp.
(Cambridge) 9780521882866 12,490.
／注文方法／ボタンの
110136 Huffman,W./Pless,V.:
Fundamentals of Error-Correcting Codes.
2003 646 pp.
(Cambridge) 9780521782807 15,700.
110137 Husbands,P./Harvey,I.(eds.):
European Conference on Artificial Life, 4.
(Complex Adapting Systems)
1997 583 pp.
(M.I.T.) 9780262581578 15,210.
110138 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.
110139 I.J.C.A.I.:
I.J.C.A.I.-01: 17th Joint Conference on
Artificial Intelligence.(CD-ROM ed.Only)
2001 ....
(M. Kaufman) 9781558608139 9,200.
110140 I.J.C.A.I.:
I.J.C.A.I.-03: 18th Joint Conference on
Artificial Intelligence.
2003 1675 pp.
(M. Kaufman) 9780127056616 16,190.
／注文方法／ボタンの
110141 Irani,R./Basha,S.J.:
Axis: New Generation Java Soap.
2002 275 pp.
(Wrox Press) 9781861007155 3,500.
110142 Jackson,P.:
Introduction to Expert Systems, 3rd ed.
1999 528 pp.
(Addison) 9780201876864 7,070.
110143 Jain,L.C./Johnson,R./Takefuji,Y./Zadeh,L.(eds.):
Knowledge -Based Intelligent Techniques in Industry.
1998 336 pp.
(C R C Press) 9780849398032 17,380.
110144 Jonsson,J.:詳報掲載
Simplicial Complexes of Graphs.
(Lecture Notes in Mathematics, Vol. 1928)
2007 378 pp.
(Springer) 9783540758587 12,740.
110145 Jordan,M./Sejnowski,T.(eds.):
Graphical Models: Foundations of Neural Computation.
2001 421 pp.
(M.I.T.) 9780262600422 6,100.
／注文方法／ボタンの
110146 Jungnickel,D.:詳報掲載
Graphs, Networks and Algorithms, 3rd ed.
(Algorithms and Computation in Mathematics, Vol. 5)
2007 650 pp.
(Springer) 9783540727798 15,720.
110147 Kalai,G./Ziegler,G.(eds.):
Polytopes -Combinatorics and Computation.
(DMV-Seminar, Vol. 29)
2000 232 pp.
(Birkhauser) 9783764363512 6,560.
110148 Kalra,P.et al.(eds.):
Computer Vision, Graphics and Image Processing.
(Lecture Notes in Computer Science, Vol. 4338)
2006 965 pp.
(Springer) 9783540683018 23,310.
110149 Kao,M.-Y.(ed.):
Encyclopedia of Algorithms.
2008 1166 pp.
(Springer) 9780387307701 68,590.
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 Kecman,V.:
Learning and Soft Computing.
(Complex Adapting Systems)
2001 608 pp.
(M.I.T.) 9780262112550 11,660.
110153 Keller,L.S.:
Operating Systems.
1988 370 pp.
(Prentice Hall) 9780136380405 18,510.
110154 Kitaev,A./Shen,A./Vyalyi,M.:
Classical and Quantum Computation. (Paper ed.)
(Graduate Studies in Mathematics, Vol. 47)
2002 272 pp.
(A.M.S.) 9780821832295 6,460.
110155 Kitano,H.et al.(eds.) :
Massively Parallel Artificial Intelligence.
1994 426 pp.
(M.I.T.) 9780262611022 9,350.
／注文方法／ボタンの
110156 Knuth,D.:
Art of Computer Programming, Vol. 1 - 3. (Boxed Set)
1999 2100 pp.
(Addison) 9780201485417 24,680.
110157 Knuth,D.:
The Art of Computer Programming, Vol. 1: Fascicle
1: Mmix-A Risc Computer for The New Millen
2005 144 pp.
(Addison) 9780201853926 2,800.
110158 Knuth,D.:
The Art of Computer Programming. Vol. 4: Fascicle
2: Generating All Tuples and Permutations.
2005 144 pp.
(Addison) 9780201853933 2,800.
110159 Knuth,D.:
The Art of Computer Programming, Vol. 4: Fascicle
3: Generating All Combinations and Partitions
2005 160 pp.
(Addison) 9780201853940 2,800.
110160 Knuth,D.:
The Art of Computer Programminf, Vol.4, Fascicle,
4: Generating All Trees.
2006 127 pp.
(Addison) 9780321335708 2,940.
／注文方法／ボタンの
110161 Koch,C./Segev,I.(eds.):
Methods in Neuronal Modeling: From Ions to Networks, 2nd ed.
1998 671 pp.
(M.I.T.) 9780262112314 15,660.
110162 Koh,K./Dong,F./Tay,E:
Introduction to Graph Theory: H3 Mathematics.
2007 244 pp.
(World Sci.) 9789812705259 14,350.
110163 Kontoghiorghes,E.:
Handbook of Parallel Computing and Statistics.
(Statistics: Textbooks and Monographs Series, Vol. 184)
2006 568 pp.
(Dekker) 9780824740672 28,270.
110164 Kozen,D.:
Theory of Computation.
(Texts in Computer Science)
2006 418 pp.
(Springer) 9781846282973 14,330.
110165 Krishnamoorthy,C./Rajeev,S.:
Artificial Intelligence and Expert Systems for Engineering.
1996 297 pp.
(C R C Press) 9780849391255 14,190.
／注文方法／ボタンの
110166 Kroger,F./Merz,S.:
Temporal Logic and State Systems.
(Texts in Theoretical Computer Sciences. An EATCS Series)
2008 433 pp.
(Springer) 9783540674016 14,010.
110167 Kulisch,U.:詳報掲載
Computer Arithmetic and Validity.
(de Gruyter Studies in Mathematics, Vol. 33)
2008 409 pp.
(de Gruyter) 9783110203189 19,190.
110168 Laih,Chi Sung(ed.):
Advances in Cryptology-ASIACRYPT 2003: 9th
International Conference, Taipei.
(Lecture Notes in Computer Science, Vol. 2894)
2003 544 pp.
(Springer) 9783540205920 13,530.
110169 Lakemeyer,G./Nebel,B:
Exploring Artificial Intelligence in The New Millennium.
2002 450 pp.
(M. Kaufman) 9781558608115 10,730.
110170 Last,M./Kandel,A./Bunke,H.(eds.):
Data Mining in the Series Databases.
2004 192 pp.
(World Sci.) 9789812382900 12,180.
／注文方法／ボタンの
110171 Lauter,K./Ribet,K.(eds.):詳報掲載
Computational Arithmetic Geometry.
(Contemporary Mathematics, Vol. 463)
2008 129 pp.
(A.M.S.) 9780821843208 7,930.
110172 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.
110173 Leman,M.(ed.):
Music, Gestalt, and Computing. (with CD-ROM)
(Lecture Notes in Artificial Intelligence, Vol. 1317)
1997 524 pp.
(Springer) 9783540635260 10,580.
110174 Leung,C.(ed.):
Visual Information Systems.
(Lecture Notes in Computer Science, Vol. 1306)
1997 274 pp.
(Springer) 9783540636366 6,930.
110175 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.
／注文方法／ボタンの
110176 Li,Y./Zhang,S./Ling,S./Wang,H./Xing,C./Niederreiter,H.(eds.):
Coding and Cryptology:
Proceedings of the Int'l Workshop Wuyi Mountain, 2007.
2008 288 pp.
(World Sci.) 9789812832238 13,280.
110177 Liang,S.:
The Java Native Interface.
1999 303 pp.
(Addison) 9780201325775 5,440.
110178 Liotta,G./Tamasia,R./Tollis,I.:
Graph Algorithms and Applications, 2.
2004 521 pp.
(World Sci.) 9789812388551 13,120.
110179 Liotta,G./Tamassia,R./Tollis,I.:
Graph Algorithms and Applications, 3.
2004 404 pp.
(World Sci.) 9789812389398 9,450.
110180 Lloyd,J.(ed.):
Logic Programming:
Proceedings of the 1995 Int'l Symposium, Portland.
1996 644 pp.
(M.I.T.) 9780262620994 17,550.
／注文方法／ボタンの
110181 Loeckx,J./Ehrich,H.-D./Wolf,M.:
Specification of Abstract Data Types.
1996 260 pp.
(Teubner) 9783519021155 7,170.
110182 Lyons,R.G.:
Understanding Digital Signal Processing.
1996 517 pp.
(Addison) 9780201634679 11,580.
110183 Maeder,R.:
The MATHEMATICA Programmer II. (with CD -ROM)
1996 295 pp.
(Academic) 9780124649927 9,070.
110184 Manna,Z./Pnueli,A.:
The Temporal Logic of Reactive and Concurrent Systems.
1992 427 pp.
(Springer) 9783540976646 11,700.
110185 Mano,M./Kime,C.:
Logic and Computer Design Fundamentals, 2nd ed.
(with 2 CD-ROMs)
2000 652 pp.
(Prentice Hall) 9780130161765 4,700.
／注文方法／ボタンの
110186 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.
110187 Marcus,D.:詳報掲載
Graph Theory: A Problem Oriented Approach.
2008 205 pp.
(M.A.A.) 9780883857533 8,760.
110188 Marsan,M.et al.:
Modelling with Generalized Stochastic Petri Nets.
1995 301 pp.
(Wiley) 9780471930594 14,620.
110189 Masand,B.(ed.):
Web Usage Analysis and User Profiling.
(Lecture Notes in Artificial Intelligence, Vol. 1836)
2000 183 pp.
(Springer) 9783540678182 10,690.
110190 Matveev,S.:
Algorithmic Topology and Classification of 3-Manifolds.
(Algorithms and Computation in Mathematics)
2003 478 pp.
(Springer) 9783540441717 9,100.
／注文方法／ボタンの
110191 Mcconnell,J.:
Analysis of Algorithms: An Active Learning Approach.
2001 320 pp.
(J & B) 9780763716349 13,060.
110192 Mclver,A./Morgan,C.(eds.):
Programming Methodology.
(Monographs in Computer Science)
2002 469 pp.
(Springer) 9780387953496 12,590.
110193 Meier,J.:詳報掲載
Groups, Graphs and Trees:
An Introduction to the Geometry of Infinite Groups.
(London Mathematical Society Student Texts, Vol. 73)
2008 231 pp.
(Cambridge) 9780521895453 16,060.
110194 Meier,J.:詳報掲載
Groups, Graphs and Trees:
An Introduction to the Geometry of Infinite Groups.(Paper ed.)
(London Mathematical Society Student Texts, Vol. 73)
2008 232 pp.
(Cambridge) 9780521719773 5,840.
110195 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.
／注文方法／ボタンの
110196 Michalewicz,Z.:
Genetic Algorithms + Data Structures =
Evolution Programs, 3rd Revised and extended ed. , 1996.
1996 387 pp.
(Springer) 9783540606765 6,090.
110197 Miller,D.(ed.):
Logic Programming.
1993 900 pp.
(M.I.T.) 9780262631525 17,550.
110198 Miller,K.:
An Assembly Language
Introduction to Computer Architecture: Using the Intel Pentium.
1999 335 pp.
(Oxford/USA) 9780195123760 11,760.
110199 Misfeldt,T./Bumgardner,G./Metz,E./Shur,J./Thomson,P.:
The Elements of C++ Style.
2004 190 pp.
(Cambridge) 9780521893084 2,970.
110200 Mohammadian,M.(ed.) :
Advances in Intelligent Systems: Theory and Applications.
2000 400 pp.
(IOS Press) 9781586030438 14,000.
／注文方法／ボタンの
110201 Mohar,B./Thomassen,C:
Graphs on Surfaces.
(Johns Hopkins Series in Mathematical Sciences)
2001 291 pp.
(Johns Hopkins) 9780801866890 15,550.
110202 Mollin,R.:
Codes: The Guide to Secrecy from Ancient to Modern Times.
(Discrete Mathematics and Its ApplicationsVol. 33)
2005 704 pp.
(Chapman & Hall) 9781584884705 14,260.
110203 Morgan Kaufman Pub.:
Theoretical Aspects of Reasoning About Knowledge:
Proceedings of the 1994 Conference.
1994 340 pp.
(M. Kaufman) 9781558603318 10,590.
110204 Motwani,R./Raghavan,P.:
Randomized Algorithms.
1995 476 pp.
(Cambridge) 9780521474658 10,200.
110205 Muggleton,S.(ed.):
Inductive Logic Programming.
(Lecture Notes in Artificial Intelligence, Vol. 1314)
1997 396 pp.
(Springer) 9783540634942 9,450.
／注文方法／ボタンの
110206 Mullender,S.(ed.) :
Distributed Systems.
1989 458 pp.
(Addison) 9780201416602 8,960.
110207 Muller,R.:
Productive Objects:
An Applied Software Project Management Frameworks.
1997 698 pp.
(M. Kaufman) 9781558604377 10,440.
110208 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.
110209 Murugesan,S.:
Web Engineering.
(Lecture Notes in Computer Science, Vol. 2016)
2001 357 pp.
(Springer) 9783540421306 6,970.
110210 Musen,M./Neumann,B./Studer,R.(eds.):
Intelligent Information Processing.
2002 328 pp.
(Kluwer) 9781402071713 31,500.
／注文方法／ボタンの
110211 Myasnikov,A./Shpilrain,V./Ushakov,A.:詳報掲載
Group-Based Cryptography.
(Advanced Courses in Mathematics - CRM Barcelona)
2008 183 pp.
(Birkhauser) 9783764388263 7,620.
110212 Nakahara Mikio/Ohmi Tetsuo:
Quantum Computing:
From Linear Algebra to Physical Realizations.
2008 421 pp.
(C R C Press) 9780750309837 13,140.
110213 Naughton,H./Schidt,H:
Java 1. 1: The Complete Reference, 2nd ed.
1998 1028 pp.
(Mcgraw-Hill) 9780078824364 8,160.
110214 Nebe,G./Rains,E./Sloane,N.:
Self-Dual Codes and Invariant Theory.
(Algorithms and Computation in Mathematics, Vol. 17)
2006 430 pp.
(Springer) 9783540307297 18,950.
110215 Negnevitsky,M.:
Artificial Intelligence: A Guide to Intelligent Systems.
2001 352 pp.
(Addison) 9780201711592 5,460.
／注文方法／ボタンの
110216 Nielsen,J.:
Hypertext and Hypermedia. (Paper ed.)
1993 236 pp.
(Academic) 9780125184113 5,840.
110217 Nielsen,K.:
Software Development with C++:
Maximizing Reuse with Object Technology.
1994 496 pp.
(Academic) 9780125184205 5,840.
110218 Nielsen,M./Chuang,I.:
Quantum Computation and Quantum Information. (Paper ed.)
2000 702 pp.
(Cambridge) 9780521635035 12,490.
110219 O檀are,G./Jennings,N.(eds.):
Foundations of Distributed Artificial Intelligence.
1996 576 pp.
(Wiley) 9780471006756 19,990.
110220 Osipenko,G.:
Dynamical Systems, Graphs, and Algorithms.
(Lecture Notes in Mathematics, Vol. 1889)
2006 283 pp.
(Springer) 9783540355939 9,590.
／注文方法／ボタンの
110221 Pan,H.-C.et al.:
Intelligent Watermarking Technique. (with A CD-ROM)
2004 680 pp.
(World Sci.) 9789812387578 18,060.
110222 Pardalos,P./Hansen,P.(eds.):詳報掲載
Data Mining and Mathematical Programming.
(CRM Proceedings and Lecture Notes, Vol. 45)
2008 234 pp.
(A.M.S.) 9780821843529 13,000.
110223 Parhami,B.:
Introduction to Parallel Processing.
1999 532 pp.
(Plenum) 9780306459702 15,480.
110224 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.
110225 Parthasarathy,K.:
Quantum Computation, Quantum Error Correcting
Codes and Information Theory.
(Tata institute of Fundamental Research Lectures on Math. and Physics)
2006 128 pp.
(Narosa) 9788173196881 6,240.
／注文方法／ボタンの
110226 Parthasarathy,K.:
Coding Theorems of Classical and Quantum Information Theory.
(Texts and Readings in Mathematics, Vol. 45)
2007 158 pp.
(Hindustan) 9788185931753 6,020.
110227 Peters,J./Reif,U.:詳報掲載
Subdivision Surfaces.
(Geometry and Computing, Vol. 3)
2008 204 pp.
(Springer) 9783540764052 12,240.
110228 Pichler,F./Moreno-Diaz,R.(eds.) :
Computer Aided Systems Theory-Eurocast '07:
A Selection of Papers from
the Sixth Int'l Workshop on Computer Aided Systems Theory,
Las Palmas de Gran Canaria.
(Lecture Notes in Computer Science, Vol. 1333)
1997 626 pp.
(Springer) 9783540638117 14,390.
110229 Plaza,E.et al.(eds.):
Knowledge Acquisition, Modeling and Management.
(Lecture Notes in Artificial Intelligence, Vol. 1319)
1997 388 pp.
(Springer) 9783540635925 8,850.
110230 Poole,D./Mackworth,a./Goebel,R.:
Computational Intelligence: A Logical Approach.
1998 558 pp.
(Oxford/USA) 9780195102703 16,750.
／注文方法／ボタンの
110231 Poynton,C.:
Digital Video and Hdtv Algorithms and Interfaces.
2002 730 pp.
(M. Kaufman) 9781558607927 11,090.
110232 Preisach,C./Burkhardt,H./Schmidt-Thieme,L./Decker,R.:
Data Analysis, Machine Learning and Applications:
Proceedings of the 31st Annual Conference of
the Gesellschaft fur Klassifikation e.V.,
Albert-Ludwigs-Universitat Freiburg, 2007.
2008 719 pp.
(Springer) 9783540782391 31,840.
110233 Prietula,M./Carley,K./Gasser,L.(eds.):
Simulated Organizations:
Computational Models of Institutions and Groups.
1998 248 pp.
(M.I.T.) 9780262661089 9,610.
110234 Quagliarella,D./Periaux,J./Poloni,C./Winter,G.:
Genetic Algorithms in Engineering and Computer Science.
1998 480 pp.
(Wiley) 9780471977100 27,560.
110235 Rajasekaran,S.et al.:
Handbook of Parallel Computing:
Models, Algorithms and Applications.
(Computer and Information SciencesVol. 17)
2007 1224 pp.
(Chapman & Hall) 9781584886235 24,790.
／注文方法／ボタンの
110236 Ras,Z./Skowron,A.(eds.) :
Foundations of Intelligent Systems:
10th Int'l Symposium, ISMIS '97. Charlotte, North Carolina.
(Lecture Notes in Artificial Intelligence, Vol. 1325)
1997 630 pp.
(Springer) 9783540636144 13,170.
110237 Reilly,E.(ed.):
Concise Encyclopedia of Computer Science.
2004 640 pp.
(Wiley) 9780470090954 9,540.
110238 Reingold,E./Dershowitz,N.:
Calendrical Calculations, 3rd ed.
2008 479 pp.
(Cambridge) 9780521885409 13,680.
110239 Retore,C.(ed.):
Logical Aspects of Computational Linguistics.
(Lecture Notes in Artificial Intelligence, Vol. 1328)
1997 435 pp.
(Springer) 9783540637004 10,620.
110240 Rich,E.:
Automata, Computability and Complexity:
Theory and Applications.
2007 1120 pp.
(Prentice Hall) 9780132288064 15,520.
／注文方法／ボタンの
110241 Richardson,T./Urbanke,R.:詳報掲載
Modern Coding Theory.
2008 572 pp.
(Cambridge) 9780521852296 11,900.
110242 Riolo,R./Soule,T./Worzel,B.(eds.):
Genetic Programming Theory and Practice V.
2008 279 pp.
(Springer) 9780387763071 20,390.
110243 Roberts,E.:
Programming Abstraction in C.
1997 819 pp.
(Addison) 9780201545418 13,450.
110244 Robinson,D.:
Fundamentals of Structured Program Design.
2000 326 pp.
(Prentice Hall) 9780139279300 13,780.
110245 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.
／注文方法／ボタンの
110246 Roitblat,L./ Meyer,J.-A.(eds.):
Comparative Approaches to Cognitive Science.
1995 533 pp.
(M.I.T.) 9780262181662 12,870.
110247 Roman,S.:
Introduction to Coding and Information Theory.
(Undergraduate Texts in Mathematics)
1997 323 pp.
(Springer) 9783540947042 9,540.
110248 Roman,S.:
Coding and Information Theory.
(Graduate Texts in Mathematics, Vol. 134)
1992 486 pp.
(Springer) 9780387978123 10,600.
110249 Rudich,S./Wigderson,A.:
Computational Complexity Theory.
(IAS/Park City Mathematics Series, Vol. 10)
2004 389 pp.
(A.M.S.) 9780821828724 12,590.
110250 Russ,J.:
The Image Processing Handbook, 4th ed.
2002 800 pp.
(C R C Press) 9780849311420 27,540.
／注文方法／ボタンの
110251 Ryan,B.:
Minitab: Handbook, 2nd ed.
1976 379 pp.
(Wadsworth) 9780871504708 5,280.
110252 S.I.A.M.:
Proceedings of The 12th Annal ACM-SIAM Symposium
on Discrete Algorithms.
2001 937 pp.
(S.I.A.M.) 9780898714906 22,910.
110253 Sack,J.-R./Urrutia,J.(eds.) :
Handbook of Computational Geometry.
2000 1072 pp.
(North Holland) 9780444825377 38,700.
110254 Sanchez,J./Canton,M.:
Patterns, Models, and Application Development:
A C++ Programmer's Reference.
1997 431 pp.
(C R C Press) 9780849331022 12,100.
110255 Sandewall,E.:
Features and Fluents:
Representation of Knowledge About Dynamical Systems.
(Oxford Logic Guides, Vol. 30)
1995 352 pp.
(Oxford) 9780198538455 16,090.
／注文方法／ボタンの
110256 Saraswat,V.A.:
Concurrent Constraint Programming.
1993 527 pp.
(M.I.T.) 9780262192972 14,240.
110257 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.
110258 Schumacher,M.:
Objective Coordination in Multi-Agent System Engineering.
(Lecture Notes in Artificial Intelligence, Vol. 2039)
2001 149 pp.
(Springer) 9783540419822 5,930.
110259 Schwartz,M.:
Broadband Integrated Networks.
1996 369 pp.
(Prentice Hall) 9780135192405 11,900.
110260 Sebesta,R.:
Concepts of Programming Languages, 4th ed.
1999 639 pp.
(Addison) 9780201385960 11,500.
／注文方法／ボタンの
110261 Sendra,J.:詳報掲載
Rational Algebraic Curves.
(Algorithms and Computation in Mathematics, Vol. 22)
2007 267 pp.
(Springer) 9783540737247 14,810.
110262 Shaska,T.(ed.):
Computational Aspects of Algebraic Curves.
2005 272 pp.
(World Sci.) 9789812564597 15,660.
110263 Shaska,T./Huffman,W./Joyner,D./Ustimenko,V.(eds.):
Advances in Coding Theory and Cryptography.
2007 256 pp.
(World Sci.) 9789812707017 11,660.
110264 Shen,A.et al.:
Computable Functions.
(Student Mathematical Library, Vol. 19)
2003 166 pp.
(A.M.S.) 9780821827321 5,100.
110265 Shenoy,P.:
UAI '98: 14th Conference on Uncertenty
in Artificial Intelligence Proceedings.
1998 540 pp.
(M. Kaufman) 9781558605558 12,710.
／注文方法／ボタンの
110266 Simon,R.J.:
Windows 95 Multimedia and ODBC API Bible.
1996 1080 pp.
(Waite Group) 9781571690111 8,000.
110267 Simovici,D./Djeraba,C.:
Mathematical Tools for Data Mining:
Set Theory, Partial Orders, Combinatorics.
2008 616 pp.
(Springer) 9781848002005 25,490.
110268 Singh,M./Rao,A./Wooldridge,M.(eds.) :
Intelligent Agents, IV:
Agent Theories, Architectures, and Languages;
4th ATAL'97, Providence.
(Lecture Notes in Artificial Intelligence, Vol. 1365)
1998 350 pp.
(Springer) 9783540641629 9,200.
110269 Smith,G.:
The Object-Z Specification Language.
2000 142 pp.
(Kluwer) 9780792386841 17,340.
110270 Snyder,G./Pardoe,T.:
Network Security.
2004 485 pp.
(Wadsworth) 9781401882143 14,590.
／注文方法／ボタンの
110271 Soares,C./Zhou,Z.(eds.) :
Applications of Data Mining in E-Business and Finance.
2008 143 pp.
(IOS Press) 9781586038908 25,500.
110272 Sommer,G./Koenderink,J.(eds.) :
Algebraic Frames for the Perception-Action Cycle:
AFPAC '97, Kiel.
(Lecture Notes in Computer Science, Vol. 1315)
1997 394 pp.
(Springer) 9783540635178 8,610.
110273 Stapleton,J.:
DSDM: Dynamic Systems Development Method.
1998 192 pp.
(Addison) 9780201178890 4,950.
110274 Steel,S./Alami,R.:
Recent Advances in AI Planning.
(Lecture Notes in Artificial Intelligence, Vol. 1348)
1997 454 pp.
(Springer) 9783540639121 11,560.
110275 Steinmetz,R./Wolf,L.:
Interactive Distributed Multimedia Systems and
Telecommunication Services.
(Lecture Notes in Computer Science, Vol. 1309)
1997 466 pp.
(Springer) 9783540635192 10,290.
／注文方法／ボタンの
110276 Stinson,D.:
Cryptography: Theory and Practice, 2nd ed.
(Discrete Mathematics and Its Applications)
2002 360 pp.
(Chapman & Hall) 9781584882060 12,440.
110277 Stock,O.(ed.):
Spatial and Temporal Reasoning.
1997 408 pp.
(Kluwer) 9780792346449 18,800.
110278 Stolze,J./Suter,D.:
Quantum Computing.
2004 244 pp.
(Wiley-VCH) 9783527404384 10,850.
110279 Strumfels,B.:
Algorithms in Invariant Theory, 2nd ed.
2008 197 pp.
(Springer/Wien) 9783211774168 9,830.
110280 Succi,S.:
An Introduction to Computational Physics, Part I:
Grid Methods.
(Appunti, Vol. 25)
2003 102 pp.
(S.N.S.) 9781000018264 5,980.
／注文方法／ボタンの
110281 Sutter,H.:
C++ Coding Standards.
2004 ....
(Addison) 9780321113580 6,120.
110282 Swingler,K.:
Applying Neural Networks: A Practical Guide.
(CD -ROM for Mac/Win/C/C++)
1996 303 pp.
(Academic) 9780126791709 11,650.
110283 Tchuente,M.:
Parallel Computation on Regular Arrays.
1991 315 pp.
(Manchester) 9780719027086 10,780.
110284 Thayer,R./Christensen,M.:
Software Engineering, Vol. 1:
The Development Processes, 3rd ed.
2005 552 pp.
(Wiley) 9780471684176 12,520.
110285 Thomas,R.:
Lectures in Geometric Combinatorics.
(Student Mathematical Library, Vol. 33)
2006 143 pp.
(A.M.S.) 9780821841402 4,690.
／注文方法／ボタンの
110286 Tomassini,M.:
Spatially Structured Evolutionary Algorithms.
2005 192 pp.
(Springer) 9783540241935 8,360.
110287 Tong,C.et al.(eds.) :
Artificial Intelligence in Engineering Design, Vol 3.
1992 388 pp.
(Academic) 9780126605631 7,790.
110288 Trueblood,R./Lovett,J.:
Data Mining and Statistical Analysis Using SQL: A
Practical Guide for DBAs.
2001 250 pp.
(Springer) 9781893115545 7,490.
110289 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.
110290 Van De Velde,E.F.:
Concurrent Scientific Computing.
(Texts in Applied Mathematics, Vol. 16)
1994 325 pp.
(Springer) 9783540941958 9,020.
／注文方法／ボタンの
110291 Van Gool,L.(ed.) :
Pattern Recognition.
(Lecture Notes in Computer Science, Vol. 2449)
2002 628 pp.
(Springer) 9783540442097 13,800.
110292 Van Harmelen,F./Lifachitz,V./Porter,B.(eds.):
Handbook of Knowledge Representation.
2007 1034 pp.
(North Holland) 9780444522115 35,700.
110293 Van Hentenryck,P(ed.):
Logic Programming:
Proceedings of the 11th Int'l Conference on Logic Programming.
1994 752 pp.
(M.I.T.) 9780262720229 17,550.
110294 Vanderbril,R./Van Barel,M./Mastronardi,N.:詳報掲載
Marix Computations and Semiseparable Matrices:
Linear Systems.
2008 575 pp.
(Johns Hopkins) 9780801887147 12,750.
110295 Vedral,V.:
Introduction to Quantum Information Science.
2006 192 pp.
(Oxford) 9780199215706 11,990.
／注文方法／ボタンの
110296 Vickery,C.:
Unix Shell Programmer's Interactive Workbook.
1999 596 pp.
(Prentice Hall) 9780130200648 6,230.
110297 Vince,J.:詳報掲載
Geometric Algebra for Computer Graphics.
2008 256 pp.
(Springer) 9781846289965 19,620.
110298 Viterbo,E./Oggier,F.:
Algebraic Number Theory and Code Design for
Rayleigh Fading Channels.
2004 88 pp.
(Now Publishers) 9781933019079 8,230.
110299 Voloshin,V.:
Coloring Mixed Hypergraphs:
Theory, Algorithms and Applicaitons.
(Fields Institute Monographs, Vol. 17)
2002 181 pp.
(A.M.S.) 9780821828120 9,160.
110300 Von Seggern,D.:
Practical Handbook of Curve Design and Generation.
1994 267 pp.
(C R C Press) 9780849389160 11,520.
／注文方法／ボタンの
110301 Wallis,W.:
Designs 2002.
(Mathematics and its Applications, Vol. 563)
2003 368 pp.
(Kluwer) 9781402075995 34,370.
110302 Wang,D.(ed.) :
Automated Deduction in Geometry.
(Lecture Notes in Artificial Intelligence, Vol. 1360)
1998 235 pp.
(Springer) 9783540642978 6,840.
110303 Ware,C.:
Information Visualization. 2nd ed.
2004 486 pp.
(M. Kaufman) 9781558608191 10,520.
110304 Washington,L.:詳報掲載
Elliptic Curves: Number Theory and Cryptography, 2nd ed.
(Discrete Mathematics and Its ApplicationsVol. 50)
2008 513 pp.
(Chapman & Hall) 9781420071467 15,550.
110305 Wayner,P.:
Disappearing Cryptography, 2nd ed.
2002 412 pp.
(M. Kaufman) 9781558607699 8,900.
／注文方法／ボタンの
110306 Weikum,G./Vossen,G.:
Transactional Information Systems.
2001 950 pp.
(M. Kaufman) 9781558605084 14,710.
110307 Whitley,D.L.(ed.) :
Foundations of Genetic Algorithms, 2.
1993 322 pp.
(M. Kaufman) 9781558602632 9,100.
110308 Wilson,G./Lu,P.(eds.):
Parallel Programming Using C++.
1996 760 pp.
(M.I.T.) 9780262731188 10,530.
110309 Winskel,G.:
The Formal Semantics of Programming Languages. (Paper ed.)
(Foundations of Computing Series)
1993 384 pp.
(M.I.T.) 9780262731034 7,950.
110310 Wu,W-T.:
Mechanical Theorem Proving in Geometries.
1994 288 pp.
(Springer/Wien) 9783211825068 10,380.
／注文方法／ボタンの
110311 Yang,A./Shan,Y./Bui,L.(eds.):
Success in Evolutionary Computation.
2008 372 pp.
(Springer) 9783540762850 30,800.
110312 Yanofsky,N./Mannucci,M.:
Quantum Computing for Computer Scientists.
2008 384 pp.
(Cambridge) 9780521879965 10,220.
110313 Zhang,K./Zheng,Y.Ed:
Information Security: ISC 2004.
(Lecture Notes in Computer Science, Vol. 3225)
2004 442 pp.
(Springer) 9783540232087 11,520.
110314 Zimand,M.:
Computational Complexity: A Quantitative Perspective.
(North-Holland Mathematics Studies, Vol. 196)
2004 352 pp.
(North Holland) 9780444828415 24,890.
110315 Zippel,R.:
Effective Polynomial Computation.
1993 363 pp.
(Kluwer) 9780792393757 52,340.
／注文方法／ボタンの
110316 van Benthem,J./ ter Meulen,A.(eds.):
Handbook of Logic and Language.
1996 1247 pp.
(North Holland) 9780444817143 26,700.
110317 van Hentenryck,P.:
The OPL Optimization Programming Language.
1999 255 pp.
(M.I.T.) 9780262720304 5,130.