2. Advances in algebra and analysis :
پدیدآورنده: V. Madhu, A. Manimaran, D. Easwaramoorthy, D. Kalpanapriya, M. Mubashir Unnissa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Congresses.,Mathematical analysis, Congresses.,Algebra.,Analysis.,Operations Research, Management Science.,Statistical Theory and Methods.,Algebra.,Mathematical analysis.
رده :
QA150
3. Analysis of Controlled Dynamical Systems
پدیدآورنده: edited by Bernard Bonnard, Bernard Bride, Jean-Paul Gauthier, Ivan Kupka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Science (General).
4. Application and Theory of Petri Nets 1995 :
پدیدآورنده: edited by Giorgio De Michelis, Michel Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Microprocessors.
رده :
QA267
.
E358
1995
5. Artificial intelligence applications in chemistry :
پدیدآورنده: Thomas H. Pierce, Bruce A. Hohne, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.
رده :
QD39
.
3
.
E46
A78
1986
6. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
7. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
8. Computational Statistics :
پدیدآورنده: edited by Yadolah Dodge, Joe Whittaker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science),Distribution (Probability theory),Economics.
رده :
QA276
.
E358
1992
9. [Computer aided systems theory] [revised selected papers]
پدیدآورنده: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
10. Contemporary Topics in Analytical and Clinical Chemistry
پدیدآورنده: edited by David M. Hercules, Gary M. Hieftje, Lloyd R. Snyder, Merle A. Evenson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Biochemistry.,Medicine.
11. Dealing with complexity :
پدیدآورنده: eds M. Karny, K. Warwick and V. Kurkova.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
87
E376
9999
12. Discrete mechanics, geometric integration and Lie-Butcher series :
پدیدآورنده: Kurusch Ebrahimi-Fard, María Barbero Liñán, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lie algebras, Congresses.,Lie groups, Congresses.,Algebra.,Cybernetics & systems theory.,Differential & Riemannian geometry.,Groups & group theory.,Lie algebras.,Lie groups.,MATHEMATICS-- Algebra-- Intermediate.,Numerical analysis.
رده :
QA252
.
3
13. Dynamical Systems, Control, Coding, Computer Vision
پدیدآورنده: edited by Giorgio Picci, David S. Gilliam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.
14. Enabling Society with Information Technology
پدیدآورنده: edited by Qun Jin, Jie Li, Nan Zhang, Jingde Cheng, Clement Yu, Shoichi Noguchi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Education.,Multimedia systems.
رده :
T58
.
5
E358
2002
15. FM '99 - formal methods / 2.
پدیدآورنده: Jeannette M. Wing ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
16. High Performance Control
پدیدآورنده: by Teng-Tiow Tay, Iven Mareels, John B. Moore.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.
17. Intelligent Tutoring Systems :
پدیدآورنده: edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information systems.,Multimedia systems.
18. Intelligent Tutoring Systems :
پدیدآورنده: edited by Claude Frasson, Gilles Gauthier, Gordon I. McCalla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
19. Introduction to dynamic systems
پدیدآورنده: / David G. Luenberger
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: System analysis,Differential equations,Control theory
