1. A Basic for theoretical computer science
پدیدآورنده: Arbib, Michael Anthony, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages


2. A C++ primer for engineers : an object-oriented approach
پدیدآورنده: Ponnambalam, K.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، C++ )Computer program language(,، Object-oriented programming )Computer science(


3. A Celebration of statistics : the ISI Centenary volume : a volume to celebrate the founding of the International Statistical Institute in 1885
پدیدآورنده: edited by Anthony C. Atkinson and Stephen E. Fienberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Mathematical statistics,Addresses, essays, lectures ، Statistics


4. A Century of relativity physics : ERE 2005, XXVIII Spanish Relativity Meeting, Oviedo, )Asturias(, Spain, 6-10 September 2005
پدیدآورنده: editors, Lysiane Mornas, Joaquin Diaz Alonso
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Relativity )Physics(


5. A Chaotic hierarchy
پدیدآورنده: Gerold Baier and Michael Klein, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Chaotic behavior in systems


6. A Companion to epistemology
پدیدآورنده: edited by Jonathan Dancy and Ernest Sosa
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Dictionaries ، Knowledge, Theory of


7. A Companion to metaphysics
پدیدآورنده: edited by Jaegwon Kim and Ernest Sosa
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Dictionaries ، Metaphysics


8. A Companion to the philosophy of mind
پدیدآورنده: edited by Samuel Guttenplan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Philosophy of mind


9. A Comprehensive guide to AI and expert systems
پدیدآورنده: Levine, Robert I.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Artificial intelligence,، Expert systems )Computer science(,، Microcomputers


10. A Comprehensive guide to AI and expert systems using Turbo Pascal
پدیدآورنده: Levine, Robert I.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Artificial intelligence,، Expert systems )Computer science(,، Microcomputers,، Turbo Pascal )Computer file(


11. A Concrete approach to abstract algebra
پدیدآورنده: Sawyer, Walter Warwick, 1191-8002
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algebra, Abstract


12. A Concurrent PASCAL Compiler for minicomputers
پدیدآورنده: Hartmann, Alfred C., 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Programming ، Minicomputers,، Compilers )Computer programs(,، Concurrent Pascal )Computer program language(


13. A Course in arithmetic
پدیدآورنده: Serre, Jean-Pierre, 6291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Forms, Quadratic,، Analytic functions


14. A Course in combinatorics
پدیدآورنده: Lint, Jacobus Hendricus van, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Study and teaching ، Combinatorial analysis


15. A Course in elasticity
پدیدآورنده: Fraeijs de Veubeke, B. M.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Elasticity,، Elastic analysis )Engineering(


16. A Course in number theory and cryptography
پدیدآورنده: Koblitz, Neal, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Number theory,، Cryptography


17. A Course in the theory of groups
پدیدآورنده: Robinson, Derek John Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Group theory


18. A Course of pure mathematics
پدیدآورنده: Hardy, Godfrey Harold, 7781-7491
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics


19. A Critical Introduction to the Metaphysics of Time
پدیدآورنده: Curtis, Benjamin L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Time,، Metaphysics


20. A C]subscript p[-theory problem book : topological and function spaces
پدیدآورنده: Tkachuk, Vladimir Vladimirovich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Point set theory,، Function spaces,، Topological spaces,، Topology

