έŒΙƒŠƒXƒg@‚Q‚O‚O‚W”N@
11. ŒvŽZ‹@‰ΘŠw


110001 A. C. M.: STOC E6: 38th Proceedings of the Annual ACM Symposium on Theory of Computing. (Proceedings of the Annual ACM Symposium on Theory of Computing, Vol. 38) 2006 768 pp. (A.C.M.) 9781595931344 25,480. 110002 A.C.M.: STOC E5: Proceedings of the Annual ACM Symposium on Theory of Computing, Baltimore. (Proceedings of the Annual ACM Symposium on Theory of Computing, Vol. 37) 2005 770 pp. (A.C.M.) 9781581139600 25,530. 110003 A.A.A.I.: A. A. A. I. 2004. (Proceedings of the National Conference on Artificial intelligence, Vol. 19) 2004 1104 pp. (M.I.T.) 9780262511834 14,110. 110004 A.A.A.I.: A. A. A. I. 1999. (Proceedings of the National Conference on Artificial intelligence, Vol. 99) 1999 1200 pp. (M.I.T.) 9780262511063 14,620. 110005 A.C.M.: PODS -2000. (Symposium on Principles of Database Systems, Vol. 19) 2000 281 pp. (A.C.M.) 9781581132144 8,450.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110006 A.C.M.: Computational Geometry: SCG 2003. (Computational Geometry, Vol. 19) 2003 389 pp. (A.C.M.) 9781581136630 14,320. 110007 Abdallah,A.N.: The Logic of Partial Information. (Monographs in Theoretical Computer Science. An EATCS Series) 1995 715 pp. (Springer) 9783540565833 14,060. 110008 Aceto,L.et al.: Reactive Systems: Modelling, Specification and Verification. 2007 .... (Cambridge) 9780521875462 13,870. 110009 Allaire,G.: Numerical Analysis and Optimization. (Numerical Mathematics and Scientific Computation) 2007 456 pp. (Oxford) 9780199205219 27,450. 110010 Almasi,G./Gottlieb,A: Highly Parallel Computing, 2nd ed. 1994 694 pp. (Addison) 9780805304435 10,710.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110011 Apt,K./Wallace,C.:Ϊ•ρŒfΪ Constraint Logic Programming Using Eclipse. 2006 345 pp. (Cambridge) 9780521866286 12,460. 110012 Arumugan,S./Acharya,B./Rao,S.:Ϊ•ρŒfΪ Graphs, Combinatorics, Algorithms and Applications. 2005 198 pp. (Narosa) 9788173196126 17,770. 110013 Ashenden,P.: The Student's Guide to VHDL. 1998 336 pp. (M. Kaufman) 9781558605206 5,420. 110014 Azema,A.: Software Reliability Determination for Conventional and Logic Programming. 1995 175 pp. (de Gruyter) 9783110148077 12,320. 110015 Banzhaf,W./Reevs,C.: Foundations of Genetic Algorithms, Vol. 5: GOGA -5. 1999 316 pp. (M. Kaufman) 9781558605596 13,030.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110016 Banzhaff,W.et al.: Genetic Programming: An Introduction. 1997 450 pp. (M. Kaufman) 9781558605107 13,450. 110017 Barclay,K.A.et al.: C++ Problem Soving and Programming. 1994 552 pp. (Prentice Hall) 9780131266735 7,010. 110018 Bass,L.et al.: Software Architecture in Practice. 1998 452 pp. (Addison) 9780201199307 9,370. 110019 Bauer,F.: Decrypted Secrets: Methods and Maxims of Cryptology, 4th ed. 2006 490 pp. (Springer) 9783540245025 18,070. 110020 Beeri,C./Ohori,A.: Database Programming Languages: DBPL -4. (Workshops in Computer) 1994 436 pp. (Springer) 9783540198536 12,980.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110021 Berry,M./Browne,M.:Ϊ•ρŒfΪ Understanding Search Engines Mathematical Modeling and Text Retrieval. 1999 116 pp. (S.I.A.M.) 9780898714371 7,580. 110022 Bishop,C.: Pattern Recognition and Machine Learning. (Information Science And Statistics) 2006 702 pp. (Springer) 9780387310732 14,450. 110023 Bishop,J.: Java Gently: Programming Principles Explained. 1997 416 pp. (Addison) 9780201593990 7,390. 110024 Bochman,A.:Ϊ•ρŒfΪ Explanatory Nonmonotonic Reasoning. 2005 400 pp. (World Sci.) 9789812561015 12,180. 110025 Bosma,W./Cannon,J.(eds.):Ϊ•ρŒfΪ Discovering Mathematics with Magma: Reducing the Abstract to the Concrete. (Algorithms and Computation in Mathematics, Vol. 19) 2006 395 pp. (Springer) 9783540376323 14,450.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110026 Brachman,R./Levesque,H.: Knowledge Representation and Reasoning. 2004 500 pp. (M. Kaufman) 9781558609327 11,610. 110027 Brameier,M./Banzhaf,W.: Linear Genetic Programming. 2006 320 pp. (Springer) 9780387310299 14,790. 110028 Braude,E.:Ϊ•ρŒfΪ Software Engineering: An Object -Oriented Perspective. 2000 676 pp. (Wiley) 9780471322085 7,420. 110029 Brown,W.et al.: Anti -Patterns. 1998 416 pp. (Wiley) 9780471197133 6,400. 110030 Buchmann,J.: Introduction to Cryptography, 2nd ed. (Undergraduate Texts in Mathematics) 2004 262 pp. (Springer) 9780387211565 19,270.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110031 Bunke,H.et al.:Ϊ•ρŒfΪ A Graph-Theoretic Approach to Enterprise Network Dynamics. (Progress in Computer Science and Applied Logic, Vol. 24) 2006 235 pp. (Birkhauser) 9780817644857 13,630. 110032 Carpenter,R.:Ϊ•ρŒfΪ 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. 110033 Cervenka,R./Trencansky,I.: The Agent Modeling Language -AML: A Comprehensive Approach to Modeling Multi-Agent Systems. 2007 365 pp. (Birkhauser) 9783764383954 9,850. 110034 Chaitin,G.:Ϊ•ρŒfΪ Exploring RANDOMNESS. 2001 164 pp. (Springer) 9781852334178 9,630. 110035 Chambers,L.(ed.) : Practical Handbook of Genetic Algorithms, Vol. 2: New Frontiers. 1995 435 pp. (C R C Press) 9780849325298 11,990.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110036 Chen,K.(ed.) : Progress on Cryptography: 25 Years of Cryptography in China. 2004 246 pp. (Kluwer) 9781402079863 22,230. 110037 Chen,Z.: Intelligent Data Warehousing: From Data Preparation to Data Mining. 2001 352 pp. (C R C Press) 9780849312045 15,170. 110038 Chen,Z.:Ϊ•ρŒfΪ Computational Intelligence for Decision Support. 2000 400 pp. (Springer) 9780849317996 11,080. 110039 Chmura,A.et al.: Logical Data Modeling. 2004 228 pp. (Springer) 9780387229508 13,440. 110040 Choe,G.:Ϊ•ρŒfΪ Computational Ergodic Theory. (Algorithms and Computation in Mathematics, Vol. 13) 2004 453 pp. (Springer) 9783540231219 16,860.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110041 Chung,F./Lu,L.:Ϊ•ρŒfΪ Complex Graphs and Networks. (CBMS Regional Conference Series in Mathematics, Vol. 107) 2006 264 pp. (A.M.S.) 9780821836576 9,770. 110042 Clocksin,W./Mellish,C.:Ϊ•ρŒfΪ Programming in Prolog, 5th ed. 2003 293 pp. (Springer) 9783540006787 7,230. 110043 Cohen,A./Cuypers,H./Sterk,H.(eds.): Some Tapas of Computer Algebra. (Algorithms and Computation in Mathematics, Vol. 4) 1999 352 pp. (Springer) 9783540634805 10,830. 110044 Cormen,T.et al.: Introduction to Algorithms, 2nd ed. 2001 1184 pp. (M.I.T.) 9780262032933 14,510. 110045 Cormen,T.et al.: Introduction to Algorithms, 2nd ed. (Paper ed.) 2001 1184 pp. (M.I.T.) 9780262531962 10,270.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110046 Courage,C./Kathy,B.: Understanding Your Users: Practical Guide to User Requirements; Methods, tools, and Techniques. 2004 704 pp. (M. Kaufman) 9781558609358 9,410. 110047 Craig,I.: Formal Refinement for Operating System Kernels. 2007 350 pp. (Springer) 9781846289668 16,860. 110048 Cristianini,N./Shawe-Taylor,J.:Ϊ•ρŒfΪ An Introduction to Support Vector Machines: and Other Kernel -Based Learning Methods. 2000 204 pp. (Cambridge) 9780521780193 11,500. 110049 Dai,Y.-S.et al.(eds.) : Advanced Parallel and Distributed Computing: Evaluation, Improvement and Practice. 2006 321 pp. (Nova) 9781600212024 20,240. 110050 Danaila,I./Joly,P./Kaber,S./Postel,M.: An Introduction to Scientific Computing: Twelve Application Projects Solved by Matlab. 2006 270 pp. (Springer) 9780387308890 11,030.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110051 Delfs,H.:Ϊ•ρŒfΪ Introduction to Cryptography: Principles and Applications. (Information Security and Cryptography) 2002 310 pp. (Springer) 9783540422785 8,580. 110052 Delic,G./Wheeler,M.: Next Generation Environmental Models and Compputational. 1997 375 pp. (S.I.A.M.) 9780898713787 14,300. 110053 Demaine,E./O’Rourke,J.:Ϊ•ρŒfΪ Geometric Folding Algorithms: Linkages, Origami, Polyhedra. 2007 496 pp. (Cambridge) 9780521857574 17,480. 110054 Ding,C.et al.(eds.):Ϊ•ρŒfΪ Sequences and Their Applications: Proceedings of SETA E8. 1999 395 pp. (Springer) 9781852331962 12,740. 110055 Ding,J./Gower,J./Schmidt,D.: Multivariate Public Key Cryptosystems. 2006 280 pp. (Springer) 9780387322292 17,310.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110056 Domosi,P./Nehaniv,C.:Ϊ•ρŒfΪ Algebraic Theory of Automata Networks. 2004 258 pp. (S.I.A.M.) 9780898715699 16,850. 110057 Dongarra,J.et al.: Numerical Linear Algebra for High Performance Computers. 1998 342 pp. (S.I.A.M.) 9780898714289 6,940. 110058 Duato,J.et al.: Interconnection Networks. (Revised Print) 2002 600 pp. (M. Kaufman) 9781558608528 9,950. 110059 Dumitrescu,D.et al.:Ϊ•ρŒfΪ Evolutionary Computing and Appllications. 2000 386 pp. (Chapman & Hall) 9780849305887 19,000. 110060 Dybvig,R.: The Scheme Programming Language, 3rd ed. 2003 329 pp. (M.I.T.) 9780262541480 5,770.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110061 Earnshaw,R./Vince,J.A.(eds.): Computer Graphics: Developments in Virtual Environments. 1995 576 pp. (Academic) 9780122277412 11,690. 110062 Ebert,D.S.et al.: Texturing and Modeling. 2nd ed. (with A CD-ROM) 1998 415 pp. (Academic) 9780122287305 12,010. 110063 Edgar,S./Geneseo,S.: Morality and Machines: Perspectives on Computer Ethics. 1997 448 pp. (J & B) 9780763701840 5,430. 110064 Ehrig,H.et al.:Ϊ•ρŒfΪ Fundamentals of Algebraic Graph Transformation. (Monographs in Theoretical Computer Science. An EATCS Series) 2006 388 pp. (Springer) 9783540311874 14,610. 110065 Epstein,R.L.et al.: Computability. 1989 297 pp. (Wadsworth) 9780534103569 10,920.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110066 Farah,M./Feinberg,T.(eds.):Ϊ•ρŒfΪ Patient -Based Approaches to Cognitive Neuroscience. 1999 425 pp. (M.I.T.) 9780262561235 7,290. 110067 Fayad,M.et al.: Implementating Application Frameworks. (with CD -ROM) 1999 688 pp. (Wiley) 9780471252016 10,530. 110068 Feinberg,V./Levin,A./Rabinovich,E.: VLSI Planarization: Methods, Models, Implementation. (Mathematics and its Applications, Vol. 399) 1997 184 pp. (Kluwer) 9780792345107 16,450. 110069 Feo,J.(ed.) : A Compatative Study of Parallel Programming Languages. 1992 386 pp. (North Holland) 9780444881359 28,250. 110070 Fleck,A.:Ϊ•ρŒfΪ Formal Models of Computation: The Ultimate Limits of Computing. 2001 548 pp. (World Sci.) 9789810245009 14,960.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110071 Fosdick,L.et al.: An Introduction to High -Performance Scientific Computing. 1995 750 pp. (M.I.T.) 9780262061810 11,700. 110072 Fox,J./Das.S.:Ϊ•ρŒfΪ Safe and Sound: Artificial Intelligence in Hazardous Applications. 2000 293 pp. (M.I.T.) 9780262062114 6,440. 110073 Friedman,D./Wand,M./Hayynes,C.:Ϊ•ρŒfΪ Essentials of Programming Languages, 2nd ed. 2001 408 pp. (M.I.T.) 9780262062176 10,970. 110074 Friedman,W.F.: Military Cryptanalysis Part. 1: Monoalphabetic Substitution Systems. 1996 149 pp. (Aegean) 9780894120442 7,920. 110075 Funge,J.: Artificial Intelligence for Games and Animations: A Cognitive Modeling Approach. 1999 212 pp. (A K Peters) 9781568811031 5,890.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110076 Furukawa Koichi et al.:Ϊ•ρŒfΪ Machine Intelligence, 15. 1999 515 pp. (Oxford) 9780198538677 33,120. 110077 Furukawa,K.et al.(eds.): Machine Intelligence and Inductive Learning. (Machine Intelligence, Vol. 13) 1994 478 pp. (Oxford) 9780198538509 19,500. 110078 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. 110079 Gabbay,D.M.et al.(eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logic Foundations. 1993 518 pp. (Oxford) 9780198537458 36,540. 110080 Gabbay,D.M.et al.(eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4: Epistemic and Temporal Reasoning. 1995 611 pp. (Oxford) 9780198537915 23,850.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110081 Gaines,H.F.: Crypyanalysis: A Study of Ciphers and Their Solutions. Reprint 1939 237 pp. (Dover) 9780486200972 1,500. 110082 Garey,M.R.et al.: Computers and Intractability. 1979 340 pp. (Freeman) 9780716710455 14,040. 110083 Garrett,P.: Making, Breaking Codes: Introduction to Cryptology. 2001 483 pp. (Prentice Hall) 9780130303691 12,690. 110084 Gazzaniga,M.(ed.) : The Cognitive Neuroscience, III. 2004 1440 pp. (M.I.T.) 9780262072540 24,210. 110085 Goldreich,O.: Foundations of Cryptography, Vol. 2: Basic Applications. 2004 448 pp. (Cambridge) 9780521830843 14,240.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110086 Goldreich,O.:Ϊ•ρŒfΪ Foundations of Cryptography-A Primer. 2005 128 pp. (Now Publishers) 9781933019024 9,150. 110087 Golub,G./Loan van,C: Matrix Computations, 3rd ed. (Paper ed.) 1996 664 pp. (Johns Hopkins ) 9780801854149 8,270. 110088 Green,E.et al.(eds.):Ϊ•ρŒfΪ Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering. (Contemporary Mathematics, Vol. 286) 2001 248 pp. (A.M.S.) 9780821826799 10,440. 110089 Greiner,R.et al.(eds.): Computational Learning Theory and Natural Learning Systems, Vol. IV: Making Learning Systems Practical. 1997 407 pp. (M.I.T.) 9780262571180 10,530. 110090 Grodzinsky,Y./Shapiro,L./Swinney,D.:Ϊ•ρŒfΪ Language and the Brain. 2000 352 pp. (Academic) 9780123042606 13,940.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110091 Gupta,P.et al.(eds.):Ϊ•ρŒfΪ Advances in Network Information Theory. (DIMACS: Discrete Mathematics and Theoretical Computer Science, Vol. 66) 2004 352 pp. (A.M.S.) 9780821834671 16,330. 110092 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. 110093 Hanson,S.et al.(eds.): Computational Learning Theory and Natural Learning Systems, Vol. II: Intersections between Theory and Experiment. 1994 449 pp. (M.I.T.) 9780262581332 9,350. 110094 Harrison,J.: Theorem Proving with the Real Numbers. 1998 186 pp. (Springer) 9783540762560 15,290. 110095 Hemaspaandra,L./Torenvliet,L.:Ϊ•ρŒfΪ Theory of Semi -feasible Algorithms. (Monographs in Theoretical Computer Science. An EATCS Series) 2002 160 pp. (Springer) 9783540422006 13,130.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110096 Hermann,R.: Geometric Computing Science. (Interdisciplinary Mathematics, Vol. 25) 1991 400 pp. (Math.Sci.Press ) 9780915692415 14,920. 110097 Hoare,T.et al.(eds.): Engineering Theories of Software Construction. (NATO ASI Series: Computer and Systems Sciences, Vol. 180) 2001 366 pp. (IOS Press) 9781586031725 16,900. 110098 Hofstadter,D.: Fluid Concepts and Creative Analogies. 1996 518 pp. (Basic Book) 9780465024759 4,100. 110099 Hogben,L.:Ϊ•ρŒfΪ Handbook of Linear Algebra. (Discrete Mathematics and Its Applications) 2006 1216 pp. (Chapman & Hall) 9781584885108 24,280. 110100 Hoi-Kwong Lo /Spiller,T./Popescu,S.: Introduction to Quatum Computation and Information. 1998 330 pp. (World Sci.) 9789810233990 10,970.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110101 Hooker,J.:Ϊ•ρŒfΪ Logic -Based Methods for Optimization. (Wiley Series in Discrete Mathematics and Optimization) 2000 495 pp. (Wiley) 9780471385219 19,550. 110102 Huffman,W./Pless,V.:Ϊ•ρŒfΪ Fundamentals of Error -Correcting Codes. 2003 850 pp. (Cambridge) 9780521782807 17,700. 110103 Husbands,P./Harvey,I.(eds.): European Conference on Artificial Life, 4. (Complex Adapting Systems) 1997 583 pp. (M.I.T.) 9780262581578 15,210. 110104 Huth,M./Ryan,M.:Ϊ•ρŒfΪ Logic in Computer Science, 2nd ed. 2004 450 pp. (Cambridge) 9780521543101 10,620. 110105 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) 2005 746 pp. (I.E.E.E.) 9780769524689 42,660.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110106 I.J.C.A.I.: I. J. C. A. I. E3: 18th Joint Conference on Artificial Intelligence. 2003 1675 pp. (M. Kaufman) 9780127056616 16,190. 110107 I.J.C.A.I.: I. J. C. A. I. E1: 17th Int'l Joint Conference on Artificial Intelligence. (CD -ROM edition. only) 2001 1500 pp. (M. Kaufman) 9781558608139 9,200. 110108 Irani,R./Basha,S.J.: Axis: New Generation Java Soap. 2002 275 pp. (Wrox Press) 9781861007155 3,500. 110109 Jackson,P.: Introduction to Expert Systems, 3rd ed. 1999 528 pp. (Addison) 9780201876864 7,070. 110110 Jain,L.C.et al.(eds.): Knowledge -Based Intelligent Techniques in Industry. 1998 336 pp. (C R C Press) 9780849398032 17,380.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110111 Jensen,F./Nielsen,T.: Bayesian Networks and Decision Graphs, 2nd ed. (Information Science And Statistics Series) 2007 465 pp. (Springer) 9780387682815 16,170. 110112 Jordan,M./Sejnowski,T.(eds.):Ϊ•ρŒfΪ Graphical Models: Foundations of Neural Computation. 2001 435 pp. (M.I.T.) 9780262600422 6,100. 110113 Kalai,G./Ziegler,G.(eds.): Polytopes -Combinatorics and Computation. (DMV-Seminar, Vol. 29) 2000 232 pp. (Birkhauser) 9783764363512 6,560. 110114 Karlof,J.: Integer Programming: Theory and Practice. 2005 280 pp. (C R C Press) 9780849319143 15,400. 110115 Kasabov,N.et al.(eds.) : Progress in Connectionist-Based Information Systems, Vol. 2. 1998 601 pp. (Springer) 9789813083639 11,650.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110116 Kecman,V.:Ϊ•ρŒfΪ Learning and Soft Computing: Support Vector Machines, Neural Networks, and Fuzzy Logic Models. (Complex Adapting Systems) 2001 608 pp. (M.I.T.) 9780262112550 11,660. 110117 Keller,L.S.: Operating Systems. 1988 370 pp. (Prentice Hall) 9780136380405 18,510. 110118 Kelly,J.: The Essence of Logic. 1996 208 pp. (Prentice Hall) 9780133963755 3,890. 110119 Kitaev,A./Shen,A./Vyalyi,M.:Ϊ•ρŒfΪ Classical and Quantum Computation. (Paper ed.) (Graduate Studies in Mathematics, Vol. 47) 2002 272 pp. (A.M.S.) 9780821832295 6,750. 110120 Kitano,H.et al.(eds.) : Massively Parallel Artificial Intelligence. 1994 426 pp. (M.I.T.) 9780262611022 9,350.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110121 Klazar,M.et al.(eds.): Topics in Discrete Mathematics: Dedicated to Jarik Nesetri on the occasion of his 60th birthday. (Algorithms and Combinatorics, Vol. 26) 2006 600 pp. (Springer) 9783540336983 16,720. 110122 Kleinberg,T.: Algorithm Design. 2005 864 pp. (Addison) 9780321295354 17,700. 110123 Knuth,D.: Art of Computer Programming, Vol. 1 -3. (Boxed Set) 1999 2100 pp. (Addison) 9780201485417 25,570. 110124 Knuth,D.E.: The Art of Computer Programming, Vol. 1: Fascicle 1: MMIX —A RISC Computer for the New Millennium. Feb. 2005 128 pp. (Addison) 9780201853926 3,540. 110125 Knuth,D.E.:Ϊ•ρŒfΪ The Art of Computer Programming, Vol. 4: Fascicle 2: Generating All Tuples and Permutations. Feb. 2005 128 pp. (Addison) 9780201853933 3,540.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110126 Knuth,D.E.:Ϊ•ρŒfΪ The Art of Computer Programming, Vol. 4: Fascicle 3: Generating All Combinations and Partitions. July 2005 128 pp. (Addison) 9780201853940 3,540. 110127 Knuth,D.E.: Literate Programming. (CSLI Lecture Notes, Vol. 27) 1992 368 pp. (C.S.L.I.) 9780937073803 5,310. 110128 Koch,C./Segev,I.(eds.): Methods in Neuronal Modeling: From Ions to Networks, 2nd ed. 1998 844 pp. (M.I.T.) 9780262112314 15,660. 110129 Kontoghiorghes,E.:Ϊ•ρŒfΪ Handbook of Parallel Computing and Statistics. (Statistics: Textbooks and Monographs Series, Vol. 184) 2005 568 pp. (Dekker) 9780824740672 28,270. 110130 Kozen,D.: Automata and Compatibility. 1997 400 pp. (Springer) 9783540949077 11,310.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110131 Kozen,D.:Ϊ•ρŒfΪ Theory of Computation: Classical and Contemporary Approach. (Texts in Computer Science) 2006 440 pp. (Springer) 9781846282973 14,330. 110132 Krishnamoorthy,C./Rajeev,S.: Artificial Intelligence and Expert Systems for Engineering. 1996 250 pp. (C R C Press) 9780849391255 14,190. 110133 Lakemeyer,G./Nebel,B.: Exploring Artificial Intelligence in the New Millennium. 2002 450 pp. (M. Kaufman) 9781558608115 10,730. 110134 Last,M./Kandel,A./Bunke,H.(eds.): Data Mining in the Series Databases. 2004 192 pp. (World Sci.) 9789812382900 12,180. 110135 Lau,H. : A Java Library of Graph Algorithms and Optimization. (Discrete Mathematics and Its Applications) 2006 608 pp. (Chapman & Hall) 9781584887188 20,060.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110136 Liang,S.: The Java Native Interface. 1999 303 pp. (Addison) 9780201325775 5,440. 110137 Liotta,G./Tamasia,R./Tollis,I.:Ϊ•ρŒfΪ Graph Algorithms and Applications, 2. 2004 520 pp. (World Sci.) 9789812388551 13,120. 110138 Lloyd,J.(ed.): Logic Programming: Proceedings of the 1995 Int'l Symposium, Portland. 1996 644 pp. (M.I.T.) 9780262620994 17,550. 110139 Loeckx,J./Ehrich,H.-D./Wolf,M.: Specification of Abstract Data Types. 1996 260 pp. (Teubner) 9783519021155 7,170. 110140 Loepp,S./Wootters,W.: Protecting Information. 2006 288 pp. (Cambridge) 9780521827409 14,000.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110141 Lyons,R.G.: Understanding Digital Signal Processing. 1996 517 pp. (Addison) 9780201634679 11,580. 110142 M.Kaufman Pub.: Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1994 Conference. 1994 340 pp. (M. Kaufman) 9781558603318 10,590. 110143 Mackay,D.: Information Theory, Inference and Learning Algorithms. 2003 640 pp. (Cambridge) 9780521642989 10,620. 110144 Manna,Z.: Mathematical Theory of Computation. 1974 Reprint 2003 464 pp. (Dover) 9780486432380 4,420. 110145 Manna,Z./Pnueli,A.: The Temporal Logic of Reactive and Concurrent Systems. 1992 427 pp. (Springer) 9783540976646 11,700.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110146 Mano,M./Kime,C.:Ϊ•ρŒfΪ Logic and Computer Design Fundamentals, 2nd ed. (with 2 CD -ROMs) 2000 652 pp. (Prentice Hall) 9780130161765 4,700. 110147 Marsan,M.et al.: Modelling with Generalized Stochastic Petri Nets. 1995 301 pp. (Wiley) 9780471930594 14,620. 110148 McConnell,J.: Analysis of Algorithms: An Active Learning Approach. 2001 320 pp. (J & B) 9780763716349 13,060. 110149 McElice,R.:Ϊ•ρŒfΪ The Theory of Information and Coding, 2nd ed. (Encyclopedia of Mathematics and its Applications, Vol. 86) 2001 416 pp. (Cambridge) 9780521000956 19,800. 110150 Mclver,A./Morgan,C.(eds.): Programming Methodology. (Monographs in Computer Science) 2002 465 pp. (Springer) 9780387953496 12,590.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110151 Menezes,A.et al.(eds.): Handbook of Applied Cryptography. (Discrete Mathematics and Its Applications) 1997 780 pp. (C R C Press) 9780849385230 14,080. 110152 Michalewicz,Z.: Genetic Algorithms + Data Structures = Evolution Programs, 3rd Revised and extended ed. , 1996. 1996 387 pp. (Springer) 9783540606765 6,090. 110153 Michiels,W./Aarts,E./Korst,J.:Ϊ•ρŒfΪ Theoretical Aspects of Local Search. (Monographs in Theoretical Computer Science. An EATCS Series) 2007 238 pp. (Springer) 9783540358534 12,910. 110154 Miller,D.(ed.): Logic Programming. 1993 900 pp. (M.I.T.) 9780262631525 17,550. 110155 Miller,K.: An Assembly Language Introduction to Computer Architecture: Using the Intel Pentium. 1999 335 pp. (Oxford/USA) 9780195123760 11,760.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110156 Mishra,B.: Algorithmic Algebra. (Monographs in Computer Science) 1993 416 pp. (Springer) 9783540940906 14,450. 110157 Mitchell,J.C.: Foundations for Programming Languages. (Foundations of Computing Series) 1996 608 pp. (M.I.T.) 9780262133210 15,930. 110158 Mohammadian,M.(ed.) : Advances in Intelligent Systems: Theory and Applications. 2000 400 pp. (IOS Press) 9781586030438 14,000. 110159 Mollin,R.:Ϊ•ρŒfΪ Codes: The Guide to Secrecy From Ancient to Modern Times. (Discrete Mathematics and Its Applications) 2005 679 pp. (Chapman & Hall) 9781584884705 14,260. 110160 Mollin,R.:Ϊ•ρŒfΪ An Introduction to Cryptography, 2nd ed. (Discrete Mathematics and Its Applications) 2006 424 pp. (Chapman & Hall) 9781584886181 13,520.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110161 Motwani,R./Raghavan,P.: Randomized Algorithms. 1995 476 pp. (Cambridge) 9780521474658 11,830. 110162 Mullender,S.(ed.) : Distributed Systems. 1989 458 pp. (Addison) 9780201416602 8,960. 110163 Muller,R.: Productive Objects: An Applied Software Project Management Frameworks. 1997 698 pp. (M. Kaufman) 9781558604377 10,440. 110164 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. 110165 Musen,M.et al.(eds.): Intelligent Information Processing. 2002 328 pp. (Kluwer) 9781402071713 31,500.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110166 Naughton,H./Schidt,H: Java 1. 1: The Complete Reference, 2nd ed. 1998 1028 pp. (Mcgraw-Hill) 9780078824364 8,160. 110167 Negnevitsky,M.: Artificial Intelligence: A Guide to Intelligent Systems. 2001 352 pp. (Addison) 9780201711592 5,460. 110168 Niedermeier,R.:Ϊ•ρŒfΪ Invitation to Fixed-Parameter Algorithms. (Lecture Series in Mathematics & Applications, Vol. 31) 2005 312 pp. (Oxford) 9780198566076 17,160. 110169 Nielsen,J.: Hypertext and Hypermedia. (Paper ed.) 1993 236 pp. (Academic) 9780125184113 5,840. 110170 Nielsen,K.: Software Development with C++: Maximizing Reuse with Object Technology. 1994 496 pp. (Academic) 9780125184205 5,840.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110171 Nielsen,M./Chuang,I.:Ϊ•ρŒfΪ Quantum Computation and Quantum Information. (Paper ed.) 2000 700 pp. (Cambridge) 9780521635035 14,720. 110172 Nielson,F./Nielson,H./Hankin,C.:Ϊ•ρŒfΪ Principles of Program Analysis. 1999 450 pp. (Springer) 9783540654100 10,830. 110173 O’hare,G./Jennings,N.(eds.): Foundations of Distributed Artificial Intelligence. 1996 576 pp. (Wiley) 9780471006756 19,990. 110174 Pan,H.-C.et al.: Intelligent Watermarking Technique. (with A CD-ROM) 2004 680 pp. (World Sci.) 9789812387578 18,060. 110175 Papadimitriou,C.H.: Computational Complexity. 1993 523 pp. (Addison) 9780201530827 13,130.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110176 Parhami,B.: Introduction to Parallel Processing. 1999 532 pp. (Plenum) 9780306459702 15,480. 110177 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. 110178 Parthasarathy,K.:Ϊ•ρŒfΪ Quantum Computation, Quantum Error Correcting Codes and Information Theory. (Tata institute of Fundamental Research Lectures on Math. and Physics) 2005 120 pp. (Narosa) 9788173196881 6,240. 110179 Pei,D. :Ϊ•ρŒfΪ Authentification Codes and Combinatorial Designs. (Discrete Mathematics and Its Applications) 2005 256 pp. (Chapman & Hall) 9781584884736 15,850. 110180 Peruggia,M.: Discrete Iterated Function Systems. 1993 180 pp. (A K Peters) 9781568810157 8,670.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110181 Pierce,B.: Types and Programming Languages. 2002 623 pp. (M.I.T.) 9780262162098 12,390. 110182 Poole,D./Mackworth,a./Goebel,R.: Computational Intelligence: A Logical Approach. 1998 558 pp. (Oxford/USA) 9780195102703 16,750. 110183 Poynton,C.: Digital Video and HDTV Algorithms and Interfaces. 2002 730 pp. (M. Kaufman) 9781558607927 11,090. 110184 Press,W.et al.:Ϊ•ρŒfΪ Numerical Recipes in C++, 2nd ed. 2002 1064 pp. (Cambridge) 9780521750332 13,270. 110185 Prietula,M./Carley,K./Gasser,L.(eds.): Simulated Organizations: Computational Models of Institutions and Groups. 1998 248 pp. (M.I.T.) 9780262661089 9,610.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110186 Quagliarella,D.et al.: Genetic Algorithms in Engineering and Computer Science. 1998 480 pp. (Wiley) 9780471977100 27,560. 110187 Reilly,E.(ed.):Ϊ•ρŒfΪ Concise Encyclopedia of Computer Science. 2004 928 pp. (Wiley) 9780470090954 9,540. 110188 Roberts,E.: Programming Abstraction in C. 1997 819 pp. (Addison) 9780201545418 13,450. 110189 Robinson,D.: Fundamentals of Structured Program Design. 2000 326 pp. (Prentice Hall) 9780139279300 13,780. 110190 Roitblat,L./ Meyer,J.-A.(eds.): Comparative Approaches to Cognitive Science. 1995 550 pp. (M.I.T.) 9780262181662 12,870.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110191 Rudich,S./Wigderson,A.:Ϊ•ρŒfΪ Computational Complexity Theory. (IAS/Park City Mathematics Series, Vol. 10) 2004 389 pp. (A.M.S.) 9780821828724 12,590. 110192 Russ,J.: The Image Processing Handbook, 4th ed. 2002 800 pp. (C R C Press) 9780849311420 27,540. 110193 Russell,S./Norvig,P.: Artificial Intelligence: A Modern Approach, 2nd ed. 2002 960 pp. (Prentice Hall) 9780137903955 14,500. 110194 Ryan,B.: Minitab: Handbook, 2nd ed. 1976 379 pp. (Wadsworth) 9780871504708 5,280. 110195 Sanchez,J./Canton,M.: Patterns, Models, and Application Development: A C++ Programmer's Reference. 1997 431 pp. (C R C Press) 9780849331022 12,100.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110196 Sandewall,E.: Features and Fluents: Representation of Knowledge About Dynamical Systems. (Oxford Logic Guides, Vol. 30) 1995 352 pp. (Oxford) 9780198538455 16,090. 110197 Saraswat,V.A.: Concurrent Constraint Programming. 1993 486 pp. (M.I.T.) 9780262192972 14,240. 110198 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. 110199 Schleich,W./Walther,H.: Elements of Quantum Information. 2007 527 pp. (Wiley-VCH) 9783527407255 32,020. 110200 Scholkopf,B./Smola,A.: Learning with Kernels: Support Vector Machines, Regularization, Optimization, and Beyond. 2002 632 pp. (M.I.T.) 9780262194754 12,620.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110201 Schwartz,M.: Broadband Integrated Networks. 1996 369 pp. (Prentice Hall) 9780135192405 11,900. 110202 Sebesta,R.: Concepts of Programming Languages, 4th ed. 1999 639 pp. (Addison) 9780201385960 11,500. 110203 Shackell,J.: Symbolic Asymptotics. (Algorithms and Computation in Mathematics, Vol. 12) 2004 250 pp. (Springer) 9783540210979 19,270. 110204 Shaw,A./Bic,F.: Operating Systems Principles. 2002 630 pp. (Prentice Hall) 9780130266118 16,470. 110205 Shen,A.et al.: Computable Functions. (Student Mathematical Library, Vol. 19) 2003 166 pp. (A.M.S.) 9780821827321 5,250.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110206 Shenoy,P.: UAI E8: 14th Conference on Uncertenty in Artificial Intelligence Proceedings. 1998 554 pp. (M. Kaufman) 9781558605558 12,710. 110207 Siam : Proc. of The 12th Ann. 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. 110208 Simmons,H.:Ϊ•ρŒfΪ Derivation and Computation. (Cambridge Tracts in Theoretical Computer Science, Vol. 51) 2000 384 pp. (Cambridge) 9780521771733 21,240. 110209 Simon,R.J.: Windows 95 Multimedia and ODBC API Bible. 1996 1080 pp. (Waite Group) 9781571690111 8,000. 110210 Smith,G.:Ϊ•ρŒfΪ The Object -Z Specification Language. 2000 142 pp. (Kluwer) 9780792386841 17,340.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110211 Snyder,G./Pardoe,T.: Network Security. 2004 485 pp. (Wadsworth) 9781401882143 14,590. 110212 Stamp,M./Low,R.: Applied Cryptanalysis: Breaking Ciphers in the Real World. 2007 424 pp. (Wiley) 9780470114865 15,540. 110213 Stapleton,J.: DSDM: Dynamic Systems Development Method. 1998 192 pp. (Addison) 9780201178890 4,950. 110214 Stinson,D.: Cryptography: Theory and Practice, 2nd ed. (Discrete Mathematics and Its Applications) 2002 339 pp. (Chapman & Hall) 9781584882060 12,440. 110215 Stinson,D.:Ϊ•ρŒfΪ Cryptography: Theory and Practice, 3rd ed. (Discrete Mathematics and Its Applications) 2005 593 pp. (Chapman & Hall) 9781584885085 15,080.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110216 Stock,O.(ed.): Spatial and Temporal Reasoning. 1997 408 pp. (Kluwer) 9780792346449 18,800. 110217 Stolze,J./Suter,D.:Ϊ•ρŒfΪ Quantum Computing. 2004 256 pp. (Wiley-VCH) 9783527404384 10,850. 110218 Stroustrup,B.: The C++ Programming Language, 3rd ed. 1997 768 pp. (Addison) 9780201889543 11,500. 110219 Sutter,H.: C++ Coding Standards. 2004 220 pp. (Addison) 9780321113580 6,120. 110220 Sutton,R./Barto,A.: Reinforcement Learning: An Introduction. 1998 322 pp. (M.I.T.) 9780262193986 10,270.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110221 Swingler,K.: Applying Neural Networks: A Practical Guide. (CD -ROM for Mac/Win/C/C++) 1996 300 pp. (Academic) 9780126791709 11,650. 110222 Tchuente,M.: Parallel Computation on Regular Arrays. 1991 315 pp. (Manchester) 9780719027086 10,780. 110223 Thayer,R./Christensen,M.: Software Engineering, Vol. 1: The Development Processes, 3rd ed. 2005 552 pp. (Wiley) 9780471684176 12,520. 110224 Thomas,R.:Ϊ•ρŒfΪ Lectures in Geometric Combinatorics. (Student Mathematical Library, Vol. 33) 2006 143 pp. (A.M.S.) 9780821841402 5,150. 110225 Tomassini,M.:Ϊ•ρŒfΪ Spatially Structured Evolutionary Algorithms: Artificial Evolution in Space and Time. 2005 192 pp. (Springer) 9783540241935 8,360.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110226 Tong,C.et al.(eds.) : Artificial Intelligence in Engineering Design, Vol 3. 1992 388 pp. (Academic) 9780126605631 7,790. 110227 Trueblood,R./Lovett,J.: Data Mining and Statistical Analysis Using SQL: A Practical Guide for DBAs. 2001 250 pp. (Springer) 9781893115545 7,490. 110228 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. 110229 Ullman,L.: Mysql, 2nd Edition 2006 480 pp. (Addison) 9780321375735 4,420. 110230 Van De Velde,E.F.: Concurrent Scientific Computing. (Texts in Applied Mathematics, Vol. 16) 1994 325 pp. (Springer) 9783540941958 9,020.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110231 Vaudenay,S.:Ϊ•ρŒfΪ A Classical Introduction to Cryptography: Applications for Communications Security. 2005 255 pp. (Springer) 9780387254647 9,390. 110232 Vickery,C.: Unix Shell Programmer's Interactive Workbook. 1999 596 pp. (Prentice Hall) 9780130200648 6,230. 110233 Von Seggern,D.: Practical Handbook of Curve Design and Generation. 1994 267 pp. (C R C Press) 9780849389160 11,520. 110234 Wallis,W.: Designs 2002. (Mathematics and its Applications, Vol. 563) 2003 368 pp. (Kluwer) 9781402075995 34,370. 110235 Wang,Y.: Software Engineering Foundations. 2003 580 pp. (C R C Press) 9780849319310 26,920.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110236 Ware,C.: Information Visualization. 2nd ed. 2004 486 pp. (M. Kaufman) 9781558608191 10,520. 110237 Wayner,P.: Disappearing Cryptography: Information Hiding: Steganography and Watermarking, 2nd ed. 2002 412 pp. (M. Kaufman) 9781558607699 8,900. 110238 Weikum,G./Vossen,G.: Fundamentals of Transactional Information Systems. 2001 950 pp. (M. Kaufman) 9781558605084 14,710. 110239 Whitley,D.L.(ed.) : Foundations of Genetic Algorithms, 2. 1993 322 pp. (M. Kaufman) 9781558602632 9,100. 110240 Williams,S.:Ϊ•ρŒfΪ Symbolic Dynamics and its Applications. (Proceedings of Symposia in Applied Mathematics, Vol. 60) 2003 168 pp. (A.M.S.) 9780821831571 6,540.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110241 Wilson,G./Lu,P.(eds.): Parallel Programming Using C++. (Foreword by Bjarne Stroustrup) 1996 760 pp. (M.I.T.) 9780262731188 10,530. 110242 Winskel,G.: The Formal Semantics of Programming Languages. (Paper ed.) (Foundations of Computing Series) 1993 384 pp. (M.I.T.) 9780262731034 7,950. 110243 Wu,W-T.: Mechanical Theorem Proving in Geometries. 1994 288 pp. (Springer/Wien) 9783211825068 10,380. 110244 Zimand,M.:Ϊ•ρŒfΪ Computational Complexity: A Quantitative Perspective. (North-Holland Mathematics Studies, Vol. 196) 2004 352 pp. (North Holland) 9780444828415 24,890. 110245 Zukowski,M./Kilin,S./Kowalik,J.(eds.):Ϊ•ρŒfΪ Quantum Communication and Security. 2007 248 pp. (IOS Press) 9781586037499 29,030.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110246 van Hentenryck,P.: The OPL Optimization Programming Language. 1999 255 pp. (M.I.T.) 9780262720304 5,130. 110247 Menezes,A.(ed.) : Advances in Cryptology -CRYPTO 2007: 27th Annual Int'l Cryptology Conference, Santa Barbara. (Lecture Notes in Computer Science, Vol. 4622) Sep. 2007 631 pp. (Springer) 9783540741428 17,350. 110248 Takagi,T.et al.(eds.): Pairing-Based Cryptography: 1st Int'l Conference, Pairing 2007, Tokyo. (Lecture Notes in Artificial Intelligence, Vol. 4575) July 2007 407 pp. (Springer) 9783540734888 13,580. 110249 Carlet,C./Sunar,B.(eds.): Arithmetic of Finite Fields: 1st WAIFI 2007, Madrid. (Lecture Notes in Computer Science, Vol. 4547) July 2007 355 pp. (Springer) 9783540730736 12,530. 110250 Bshoutl,N./Gentile,C.(eds.): Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego. (Lecture Notes in Computer Science, Vol. 4539) 2007 634 pp. (Springer) 9783540729259 17,350.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110251 Katz,J./Yung,M.(eds.): Applied Cryptography and Network Security: 5th ACNS 2007, Zhuhai. (Lecture Notes in Computer Science, Vol. 4521) June 2007 498 pp. (Springer) 9783540727378 15,420. 110252 Naor,M.(ed.) : Advances in Cryptology-Eurocrypt 2007: 26th Annual Int'l Conference on theTheory and Applications of Cryptographic Techniques, Barcelona (Lecture Notes in Computer Science, Vol. 4515) June 2007 591 pp. (Springer) 9783540725398 17,350. 110253 Shi,Y.(ed.) : Transactions on Data Hiding and Multimedia Security II. (Lecture Notes in Computer Science, Vol. 4499) July 2007 117 pp. (Springer) 9783540730910 11,570. 110254 Dawson,E./Wong,D.(eds.) : Information Security, Practice and Experience: 3rd ISPEC 2007, Hong Kong. (Lecture Notes in Computer Science, Vol. 4464) Apr. 2007 361 pp. (Springer) 9783540721598 12,530. 110255 Sauveron,D.et al.(eds.): Information Security Theory and Practices: Smart Cards, Mobile and Ubiquitous Computing Systems; 1st IFIP TC6 / WG 8.8 / WG 11.2, WISTP 2007, Heraklion. (Lecture Notes in Computer Science, Vol. 4462) Apr. 2007 255 pp. (Springer) 9783540723530 15,180.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110256 Okamoto,T./Wang,X.(eds.): Public Key Cryptography -PKC 2007: 10th, Beijing. (Lecture Notes in Computer Science, Vol. 4450) 491 pp. (Springer) 9783540716761 15,420. 110257 Biham,E./Youssef,A.(eds.): Selected Areas in Cryptography: 13th SAC 2006, Montreal. (Lecture Notes in Computer Science, Vol. 4356) Sep. 2007 395 pp. (Springer) 9783540744610 13,500. 110258 El Yacoubi,S.et al.(eds.): Cellular Automata: 7th Int'l ACRI 2006, Perpignan. (Lecture Notes in Computer Science, Vol. 4173) 2006 735 pp. (Springer) 9783540409298 19,740. 110259 Vaudenay,S.(ed.) : Advances in Cryptology-EUROCRYPT 2006: 25th Int'l Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg. (Lecture Notes in Computer Science, Vol. 4004) 2006 613 pp. (Springer) 9783540345466 17,930. 110260 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.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110261 Lee,G.et al.(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. 110262 Kilian,J.(ed.): Theory of Cryptography. Tcc 2005. (Lecture Notes in Computer Science, Vol. 3378) 2005 621 pp. (Springer) 9783540245735 17,350. 110263 Christianson,B.et al.(eds.): Security Protocols: 11th International Workshop, Cambridge. (Lecture Notes in Computer Science, Vol. 3364) 2005 352 pp. (Springer) 9783540283898 12,430. 110264 Blundo,C./Cimato,S.(eds.): Security in Communication Networks. SCN 2004. (Lecture Notes in Computer Science, Vol. 3352) 2005 381 pp. (Springer) 9783540243014 12,530. 110265 Lopez,J./Qing,S./Okamoto Eiji (eds.): Information and Communications Security: 6th Int'l Conference, ICICS 2004 Malaga. (Lecture Notes in Computer Science, Vol. 3269) 2004 564 pp. (Springer) 9783540235637 16,390.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110266 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. 110267 Buell,D.(ed.): Algorithmic Number Theory: 6th Int'l Symposium, ANTS -VI Burlington, 2004. (Lecture Notes in Computer Science, Vol. 3076) 2004 450 pp. (Springer) 9783540221562 14,460. 110268 Neuenschwander,D.: Probabilistic and Statistical Methods in Cryptology: An Introduction by Selected Topics. (Lecture Notes in Computer Science, Vol. 3028) 2004 158 pp. (Springer) 9783540220015 8,190. 110269 Cachin,C.(ed.): Advances in Cryptology-Eurocrypt 2004. (Lecture Notes in Computer Science, Vol. 3027) 2004 628 pp. (Springer) 9783540219354 17,350. 110270 Naor,M.(ed.) : Theory of Cryptography: 1st Theory of Cryptography Conference, TCC 2004 Cambridge. (Lecture Notes in Computer Science, Vol. 2951) 2004 521 pp. (Springer) 9783540210009 14,940.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110271 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. 110272 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. 110273 Van Gool,L.(ed.) : Pattern Recognition. (Lecture Notes in Computer Science, Vol. 2449) 2002 628 pp. (Springer) 9783540442097 13,800. 110274 Chong,I.(ed.): Information Networking: Int'l Conference, Icoin 2002, Part I. (Lecture Notes in Computer Science, Vol. 2343) 2002 734 pp. (Springer) 9783540442561 14,660. 110275 Codognet,P.(ed.) : Logic Programming, Iclp 2001. (Lecture Notes in Computer Science, Vol. 2237) 2001 364 pp. (Springer) 9783540429357 7,920.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110276 Davida,G.I./Frankel,Y.(eds.): Information Security: 4th Int'l Conference, ISC 2001 Malaga. (Lecture Notes in Computer Science, Vol. 2200) 2001 554 pp. (Springer) 9783540426622 16,130. 110277 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. 110278 Schumacher,M.: Objective Coordination in Multi-Agent System Engineering. (Lecture Notes in Artificial Intelligence, Vol. 2039) 2001 149 pp. (Springer) 9783540419822 5,930. 110279 Murugesan,S.: Web Engineering. (Lecture Notes in Computer Science, Vol. 2016) 2001 357 pp. (Springer) 9783540421306 6,970. 110280 Cuppens,F.et al.(eds.): Computer Security -ESORICS 2000: 6th European Symposium on Research in Computer Security Toulouse. (Lecture Notes in Computer Science, Vol. 1895) 2000 323 pp. (Springer) 9783540410317 120,400.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110281 Singh,M./Rao,A./Wooldridge,M.(eds.) : Intelligent Agents, IV: Agent Theories, Architectures, and Languages; 4th ATALE7, Providence. (Lecture Notes in Artificial Intelligence, Vol. 1365) 1998 350 pp. (Springer) 9783540641629 9,200. 110282 Conen,W./Neumann,G.(eds.) : Coordination Technology for Collaborative Applications. (Lecture Notes in Computer Science, Vol. 1364) 1998 281 pp. (Springer) 9783540641704 7,310. 110283 Wang,D.(ed.) : Automated Deduction in Geometry. (Lecture Notes in Artificial Intelligence, Vol. 1360) 1998 235 pp. (Springer) 9783540642978 6,840. 110284 Steel,S./Alami,R.: Recent Advances in Ai Planning. (Lecture Notes in Artificial Intelligence, Vol. 1348) 1997 454 pp. (Springer) 9783540639121 11,560. 110285 Ausnit-Hood,C.et al.: Ada 95 Quality and Style. (Lecture Notes in Computer Science, Vol. 1344) 1997 292 pp. (Springer) 9783540638230 6,840.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110286 Pichler,F./Moreno-Diaz,R.(eds.) : Computer Aided Systems Theory-Eurocast E7: A Selection of Papers from the Sixth International 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. 110287 Retore,C.(ed.): Logical Aspects of Computational Linguistics. (Lecture Notes in Artificial Intelligence, Vol. 1328) 1997 435 pp. (Springer) 9783540637004 10,620. 110288 Ras,Z./Skowron,A.(eds.) : Foundations of Intelligent Systems: 10th Int'l Symposium, ISMIS E7. Charlotte, North Carolina. (Lecture Notes in Artificial Intelligence, Vol. 1325) 1997 630 pp. (Springer) 9783540636144 13,170. 110289 Costa,E./Cardoso,A.(eds.): Progress in Artificial Intelligence: 8th Portuguese Conference on Artificial Intelligence, EPIA E7, Coimbra. (Lecture Notes in Artificial Intelligence, Vol. 1323) 1997 388 pp. (Springer) 9783540635864 9,450. 110290 Plaza,E.et al.(eds.): Knowledge Acquisition, Modeling and Management. (Lecture Notes in Artificial Intelligence, Vol. 1319) 1997 388 pp. (Springer) 9783540635925 8,850.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110291 Leman,M.(ed.): Music, Gestalt, and Computing. (with CD-ROM) (Lecture Notes in Artificial Intelligence, Vol. 1317) 1997 524 pp. (Springer) 9783540635260 10,580. 110292 Sommer,G./Koenderink,J.(eds.) : Algebraic Frames for the Perception-Action Cycle: AFPACE7, Kiel. (Lecture Notes in Computer Science, Vol. 1315) 1997 394 pp. (Springer) 9783540635178 8,610. 110293 Muggleton,S.(ed.): Inductive Logic Programming. (Lecture Notes in Artificial Intelligence, Vol. 1314) 1997 396 pp. (Springer) 9783540634942 9,450. 110294 Fitzgerald,J.et al.: Eme E7: Industrial Applications and Strengthened Foundations of Formal Methods. (Lecture Notes in Computer Science, Vol. 1313) 1997 684 pp. (Springer) 9783540635338 13,650. 110295 Geppert,A./Berndtsson,M.(eds.) : Rules in Database Systems: 3rd RIDS E7, Skovde. (Lecture Notes in Computer Science, Vol. 1312) 1997 214 pp. (Springer) 9783540635161 6,090.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ
110296 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.