دانلود کتاب | کتاب مرجع | کتاب انگلیسی | download free book | سری: ۴۵۶۷
نظر دهید ۱۶ مهر ۱۳۹۴

برای دانلود کتاب اینجا کلیک کنید

free book download

Id Title Author Date Publisher
۱ Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–۱۱, ۲۰۰۳ Proceedings Xavier Leroy (auth.), Pierpaolo Degano (eds.) ۲۰۰۳ Springer-Verlag Berlin Heidelberg
۲ Schaum s outline of theory and problems of elements of statistics I: differential statistics and probability Stephen Bernstein, Ruth Bernstein ۱۹۹۹ McGraw-Hill
۳ Computing and Combinatorics: 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings Leslie G. Valiant (auth.), Lusheng Wang (eds.) ۲۰۰۵ Springer-Verlag Berlin Heidelberg
۴ Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings Andreas Zeller (auth.), Rastislav Bodik (eds.) ۲۰۰۵ Springer-Verlag Berlin Heidelberg
۵ Introduction to Stochastic Processes Lawler G.F. ۲۰۰۶ CRC
۶ Projective planes D.R. Hughes, F.C. Piper ۱۹۸۳ Springer-Verlag
۷ Introduction to nonlinear dispersive equations Gustavo Ponce, Felipe Linares (auth.) ۲۰۰۹ Springer New York
۸ Automata, Languages and Programming: 23rd International Colloquium, ICALP 96 Paderborn, Germany, July 8–۱۲, ۱۹۹۶ Proceedings Harald Ganzinger (auth.), Friedhelm Meyer, Burkhard Monien (eds.) ۱۹۹۶ Springer-Verlag Berlin Heidelberg
۹ Transform methods in applied mathematics: An introduction Peter Lancaster, Kestutis Šalkauskas ۱۹۹۶ Wiley-Interscience
۱۰ Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–۱۷, ۱۹۸۱ C. P. Schnorr (auth.), Shimon Even, Oded Kariv (eds.) ۱۹۸۱ Springer-Verlag Berlin Heidelberg
۱۱ Isabelle/HOL: A Proof Assistant for Higher-Order Logic Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.) ۲۰۰۲ Springer-Verlag Berlin Heidelberg
۱۲ Variational Methods in Nonconservative Phenomena B.D. Vujanovic and S.E. Jones (Eds.) ۱۹۸۹ Academic Press
۱۳ Automata, Languages and Programming: 12th Colloquium Nafplion, Greece, July 15–۱۹, ۱۹۸۵ L. Lovász (auth.), Wilfried Brauer (eds.) ۱۹۸۵ Springer-Verlag Berlin Heidelberg
۱۴ Transmission Electron Microscopy and Diffractometry of Materials Brent Fultz, James M. Howe ۲۰۰۷ Springer
۱۵ Aspects of polaron theory: equilibrium and nonequilibrium problems N. N. Bogolubov, Jr. ۲۰۰۸ World Scientific
۱۶ Recreational problems in geometric dissections and how to solve them Harry Lindgren, Greg Frederickson ۱۹۷۲ Dover Publications
۱۷ Potential theory Lester L. Helms (auth.), Lester L. Helms (eds.) ۲۰۰۹ Springer London
۱۸ Weak covergence methods for semilinear elliptic equations Jan Chabrowski ۱۹۹۹ World Scientific Publishing Company
۱۹ Theoretical Aspects of Computing – ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers José Luiz Fiadeiro (auth.), Zhiming Liu, Keijiro Araki (eds.) ۲۰۰۵ Springer-Verlag Berlin Heidelberg
۲۰ A First Course in String Theory Barton Zwiebach ۲۰۰۹ Cambridge University Press
۲۱ Classical Descriptive Set Theory Alexander S. Kechris (auth.) ۱۹۹۵ Springer-Verlag New York
۲۲ Fundamentals of Computation Theory: International Conference FCT 87 Kazan, USSR, June 22–۲۶, ۱۹۸۷ Proceedings Farid. M. Ablaev (auth.), Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov (eds.) ۱۹۸۷ Springer-Verlag Berlin Heidelberg
۲۳ Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–۱۱, ۲۰۰۳ Proceedings Peter Lee (auth.), Hubert Garavel, John Hatcliff (eds.) ۲۰۰۳ Springer-Verlag Berlin Heidelberg
۲۴ Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, WG 96 Cadenabbia, Italy, June 12–۱۴, ۱۹۹۶ Proceedings Andrew C. Yao (auth.), Fabrizio d Amore, Paolo Giulio Franciosa, Alberto Marchetti-Spaccamela (eds.) ۱۹۹۷ Springer-Verlag Berlin Heidelberg
۲۵ Advances in Biometrics, ICB 2006 David Zhang, Anil K. Jain ۲۰۰۶ Springer
۲۶ Fuzzy Systems and Knowledge Discovery: Third International Conference, FSKD 2006, Xi’an, China, September 24-28, 2006. Proceedings QingE Wu, Tuo Wang, YongXuan Huang, JiSheng Li (auth.), Lipo Wang, Licheng Jiao, Guanming Shi, Xue Li, Jing Liu (eds.) ۲۰۰۶ Springer-Verlag Berlin Heidelberg
۲۷ Modern computer algebra Joachim von zur Gathen, Jürgen Gerhard ۲۰۰۳ Cambridge University Press
۲۸ Handbook of philosophical logic Dov M. Gabbay, F. Guenthner ۲۰۰۲ Springer
۲۹ Probability, statistics, and truth Richard Von Mises ۱۹۵۷ Dover Publications
۳۰ The particle odyssey Frank Close, Michael Marten, Christine Sutton ۲۰۰۴ Oxford University Press, USA
۳۱ Applied Cryptography and Network Security: Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005. Proceedings Jonathan Katz, Philip MacKenzie, Gelareh Taban (auth.), John Ioannidis, Angelos Keromytis, Moti Yung (eds.) ۲۰۰۵ Springer-Verlag Berlin Heidelberg
۳۲ Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.) ۲۰۰۵ Springer-Verlag Berlin Heidelberg
۳۳ Studies in the Economics of Transportation Martin; McGuire, C. B.; Winsten, Christopher B. Beckmann ۱۹۵۶ Yale University Press
۳۴ Nondifferentiable optimization M.L. Balinski, P. Wolfe (eds.) ۱۹۷۵ North-Holland; American Elsevier
۳۵ Content Computing: Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004. Proceedings Xiaolong Yang, Qianbin Chen, Youju Mao, Keping Long, Bin Ma (auth.), Chi-Hung Chi, Kwok-Yan Lam (eds.) ۲۰۰۴ Springer-Verlag Berlin Heidelberg
۳۶ Group theory from a geometrical viewpoint E. Ghys, A. Haefliger, A. Verjovski ۱۹۹۱ World Scientific Publishing Co Pte Ltd
۳۷ Advances in image processing and understanding: A festschrift for T.S. Huang Alan C. Bovik, Chang Wen Chen, Dmitry B. Goldgof, Thomas S. Huang ۲۰۰۳ World Scientific Publishing Co Pte Ltd
۳۸ Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004. Proceedings Mansoor Alicherry, Randeep Bhatia, Yung-Chun (Justin) Wan (auth.), Klaus Jansen, Sanjeev Khanna, José D. P. Rolim, Dana Ron (eds.) ۲۰۰۴ Springer-Verlag Berlin Heidelberg
۳۹ Optimal Control Theory: Applications to Management Science and Economics Suresh P. Sethi, Gerald L. Thompson ۲۰۰۵ Springer
۴۰ Variational Principles of Continuum Mechanics: I. Fundamentals Victor Berdichevsky (auth.) ۲۰۰۹ Springer-Verlag Berlin Heidelberg
۴۱ Proceedings of the First Japan Conference on Graph Theory and Applications, Hakone, Japan, June 1-5, 1986 J. Akiyama, Y. Egawa, H. Enomoto ۱۹۸۸ North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
۴۲ Lectures on celestial mechanics Carl L. Siegel, Jürgen K. Moser, C.L. Siegel, J.K. Moser, C.I. Kalme ۱۹۷۱ Springer
۴۳ Jordan canonical form: Theory and practice Steven Weintraub, Steven Krantz ۲۰۰۹ Morgan & Claypool Publishers
۴۴ Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’۹۹ Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’۹۹ Amsterdam, The Netherlands, March 22–۲۸, ۱۹۹۹ Proceedings Jeff Kramer, Jeff Magee (auth.), W. Rance Cleaveland (eds.) ۱۹۹۹ Springer-Verlag Berlin Heidelberg
۴۵ Automata, Languages and Programming: 13th International Colloquium Rennes, France, July 15–۱۹, ۱۹۸۶ Proceedings Eric W. Allender (auth.), Laurent Kott (eds.) ۱۹۸۶ Springer-Verlag Berlin Heidelberg
۴۶ Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Vivek Sarkar (auth.), Oege de Moor, Michael I. Schwartzbach (eds.) ۲۰۰۹ Springer-Verlag Berlin Heidelberg
۴۷ Cantorian set theory and limitation of size Michael Hallett ۱۹۸۴ Clarendon Press; Oxford University Press
۴۸ Woods hole mathematics: Perspectives in mathematics and physics Nils Tongring, R. C. Penner ۲۰۰۴ World Scientific Publishing Company
۴۹ Introduction to the theory of entire functions Anthony S.B. Holland ۱۹۷۳ Academic Press
۵۰ Multivalued fields in condensed matter, electromagnetism, and gravitation Hagen Kleinert ۲۰۰۸ World Scientific
۵۱ Advanced Condensed Matter Physics Leonard M. Sander ۲۰۰۹ Cambridge University Press
۵۲ Statistical Learning Theory and Stochastic Optimization: Ecole d’Eté de Probabilités de Saint-Flour XXXI – 2001 Olivier Catoni (auth.), Jean Picard (eds.) ۲۰۰۴ Springer-Verlag Berlin Heidelberg
۵۳ BIOS: A study of creation Hector C. Sabelli ۲۰۰۵ World Scientific Publishing Company
۵۴ General topology and applications: proceedings of the 1988 Northeast conference Shortt ۱۹۹۰ M. Dekker
۵۵ Global theory of a second order linear ordinary differential equation with a polynomial coefficient Author Unknown ۱۹۷۵ North-Holland Pub. Co.; American Elsevier Pub. Co
۵۶ Sensitivity, stability, and parametric analysis Anthony Fiacco ۱۹۸۴ North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
۵۷ Software tools in Pascal(source code) Brian W. Kernighan, P.J. Plauger ۱۹۸۱ Addison-Wesley
۵۸ Theory of Finite Groups. Applications in Physics Laurens Jansen ۱۹۶۷ North-Holland Pub. Co.; published and distributed in the United States by Americ
۵۹ Factorization and primality testing David M. Bressoud ۱۹۸۹ Springer-Verlag
۶۰ Chandrasekar and His Limit G. Venkataraman ۱۹۹۲ Sangam Books Ltd
۶۱ Near-rings and near-fields: proceedings of a conference held at the University of Tubingen, F.R.G., 4-10 August, 1985 Gerhard Betsch (Eds.) ۱۹۸۷ North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
۶۲ Graphs, matrices, and designs: Festschrift in honor of Norman J. Pullman Rees ۱۹۹۳ M. Dekker
۶۳ Progress in Discovery Science: Final Report of the Japanese Dicsovery Science Project Koichi Takahashi, Masami Hagiya (auth.), Setsuo Arikawa, Ayumi Shinohara (eds.) ۲۰۰۲ Springer-Verlag Berlin Heidelberg
۶۴ Lectures on the geometry of quantization Sean Bates, Alan Weinstein ۱۹۹۷ American Mathematical Society
۶۵ Principles and Practice of Constraint Programming – CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings Shabbir Ahmed (auth.), Frédéric Benhamou (eds.) ۲۰۰۶ Springer-Verlag Berlin Heidelberg
۶۶ Tensor spaces and exterior algebra Takeo Yokonuma ۱۹۹۲ American Mathematical Society
۶۷ The core model iterability problem John Steel ۱۹۹۷ Springer
۶۸ Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings George Necula (auth.), Alan Mycroft, Andreas Zeller (eds.) ۲۰۰۶ Springer-Verlag Berlin Heidelberg
۶۹ Genetic Techniques for Biological Research: A Case Study Approach Corinne A. Michels ۲۰۰۲ Wiley
۷۰ SCI: Scalable Coherent Interface: Architecture and Software for High-Performance Compute Clusters Hermann Hellwagner, Alexander Reinefeld (auth.), Hermann Hellwagner, Alexander Reinefeld (eds.) ۱۹۹۹ Springer-Verlag Berlin Heidelberg
۷۱ Languages and Compilers for Parallel Computing: 11th International Workshop, LCPC’۹۸ Chapel Hill, NC, USA, August 7–۹, ۱۹۹۸ Proceedings J. E. Moreira, S. P. Midkiff, M. Gupta (auth.), Siddhartha Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante, Zhiyuan Li, David Sehr, Pen-Chung Yew (eds.) ۱۹۹۹ Springer-Verlag Berlin Heidelberg
۷۲ Mathematical Foundations of Computer Science 1979: Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–۷, ۱۹۷۹ J. W. de Bakker (auth.), Jiří Bečvář (eds.) ۱۹۷۹ Springer-Verlag Berlin Heidelberg
۷۳ Topology and geometry: Commemorating Sistag, 2001, Singapor A. J. Berrick, Man Chun Leung, Xingwang Xu ۲۰۰۲ American Mathematical Society,
۷۴ Special relativity and quantum mechanics Francis R. Halpern ۱۹۶۸ Prentice-Hall
۷۵ Ab Initio Methods in Quantum Chemistry Kenneth P. Lawley ۱۹۸۷ Wiley
۷۶ Post-Quantum Cryptography: Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA, October 17-19, 2008 Proceedings Carlos Aguilar Melchor, Pierre-Louis Cayrel, Philippe Gaborit (auth.), Johannes Buchmann, Jintai Ding (eds.) ۲۰۰۸ Springer-Verlag Berlin Heidelberg
۷۷ Analysis on real and complex manifolds R. Narasimhan ۱۹۷۳ Elsevier Science Publishing Co Inc.,U.S.
۷۸ Calculus of variations and partial differential equations of the first order Constantin Caratheodory, C. Carathéodory ۱۹۹۹ American Mathematical Society
۷۹ Lectures on resolution of singularities Janos Kollar ۲۰۰۷ Princeton University Press
۸۰ Applied exterior calculus Dominic G.B. Edelen ۱۹۸۵ Wiley
۸۱ The secret life of numbers: 50 easy pieces on how mathematicians work and think George G. Szpiro ۲۰۰۶ Joseph Henry Press
۸۲ Introduction to quantum physics for mathematicians Dolgachev I. ۱۹۹۶ Ann Arbor lectures
۸۳ Automata, Languages and Programming: 24th International Colloquium, ICALP 97 Bologna, Italy, July 7–۱۱, ۱۹۹۷ Proceedings Robin Milner (auth.), Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.) ۱۹۹۷ Springer-Verlag Berlin Heidelberg
۸۴ Structure and randomness: Pages from year one of a mathematical blog Terence Tao ۲۰۰۸ American Mathematical Society
۸۵ Transportation Cynthia Barnhart, Gilbert Laporte ۲۰۰۷ North Holland
۸۶ Advances in Cryptology – EUROCRYPT 2006: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 – June 1, 2006. Proceedings Jung Hee Cheon (auth.), Serge Vaudenay (eds.) ۲۰۰۶ Springer-Verlag Berlin Heidelberg
۸۷ ۰ I. Prigogine, Stuart A. Rice ۲۰۰۰ Wiley-Interscience
۸۸ Advances in Cryptology — EUROCRYPT ’۹۹: International Conference on the Theory and Application of Cryptographic Techniques Prague, Czech Republic, May 2–۶, ۱۹۹۹ Proceedings Dan Boneh, Glenn Durfee (auth.), Jacques Stern (eds.) ۱۹۹۹ Springer-Verlag Berlin Heidelberg
۸۹ A first course in the numerical analysis of differential equations Arieh Iserles ۱۹۹۶ Cambridge University Press
۹۰ Mathematics of Program Construction: 4th International Conference, MPC 98 Marstrand, Sweden, June 15–۱۷, ۱۹۹۸ Proceedings David Harel (auth.), Johan Jeuring (eds.) ۱۹۹۸ Springer-Verlag Berlin Heidelberg
۹۱ Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings Martin Odersky (auth.), Gert Smolka (eds.) ۲۰۰۰ Springer-Verlag Berlin Heidelberg
۹۲ A quest for perspectives: selected works of S. Chandrasekhar: with commentary S. Chandrasekhar, Kameshwar C. Wali ۲۰۰۱ Imperial College Press; Distributed by World Scientific Pub. Co
۹۳ Complex and chaotic nonlinear dynamics: Advances in economics and finance, mathematics and statistics Thierry Vialar, Alain Goergen ۲۰۰۹ Springer
۹۴ Hungarian problem Book III: Based on the Eotvos competitions 1929-1943 Andy Liu ۲۰۰۱ The Mathematical Association of America
۹۵ Applied Cryptography and Network Security: 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings Ahren Studer, Chenxi Wang (auth.), Jianying Zhou, Moti Yung, Feng Bao (eds.) ۲۰۰۶ Springer-Verlag Berlin Heidelberg
۹۶ Introduction to the uniform geometrical theory of diffraction D. A. McNamara, C. W. I. Pistotius ۱۹۹۰ Artech House
۹۷ Image processing and mathematical morphology: Fundamentals and applications Frank Y. Shih ۲۰۰۹ CRC Press
۹۸ The axioms of projective geometry Alfred North Whitehead ۲۰۱۰ Nabu Press
۹۹ Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 9th International Symposium, AAECC-9 New Orleans, LA, USA, October 7–۱۱, ۱۹۹۱ Proceedings Paola Cellini, Patrizia Gianni (auth.), Harold F. Mattson, Teo Mora, T. R. N. Rao (eds.) ۱۹۹۱ Springer-Verlag Berlin Heidelberg
۱۰۰ ۰ I. Prigogine ۱۹۶۱ Interscience
مطالب مرتبط
دیدگاه ها بدون دیدگاه

دیدگاهی برای این مطلب ارسال نشده است.

پاسخ دهید

پاسخ دهید

نشانی ایمیل شما منتشر نخواهد شد.