1. Automated deduction, CADE-14
پدیدآورنده: William McCune, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.
2. Automated deduction-CADE-14 : 14th International Conference on Automated deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
پدیدآورنده: William McCune )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1249
3. Automated deduction in equational logic and cubic curves
پدیدآورنده: McCune, William
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Curves, Algebraic
رده :
QA
76
.
L28
Vol
.
1095
4. Calculus
پدیدآورنده: / William D. Clark and Sandra Luna McCune
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Precalculus -- Study and teaching -- Juvenile literature,Precalculus -- Study and teaching,جبر پیشرفته -- راهنمای آموزشی -- ادبیات کودکان و نوجوانان,جبر پیشرفته -- راهنمای آموزشی
رده :
QA39
,.
2
.
C5718
2012
5. Easy Algebra Step-by-Step
پدیدآورنده: / Sandra Luna McCune, William D. Clark
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra,Algebra - Problems, exercises, etc,جبر,جبر - مسائل، تمرین ها و غیره
رده :
QA157
.
M36
2012
6. Easy algebra step-by-step :
پدیدآورنده: Sandra Luna McCune, and William D. Clark
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Problems, exercises, etc.,Algebra.
رده :
QA157
.
M33
2012
7. Precalculus
پدیدآورنده: William D. Clark and Sandra Luna McCune
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: Precalculus- Study and teaching- Juvenile literature,Precalculus- Study and teaching
رده :
QA
,
39
.
2
,.
C5718
,
2012
8. Precalculus
پدیدآورنده: / William D. Clark and Sandra Luna McCune
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Precalculus - Study and teaching - Juvenile literature,Precalculus - Study and teaching
رده :
QA39
.,
2
.
C5718
2012
9. Pro Puppet
پدیدآورنده: / Spencer Krum, William Van Hevelingen, Ben Kero, James Turnbull, Jeffery McCune
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
10. Pro Puppet /
پدیدآورنده: by Spencer Krum, William Van Hevelingen, James Turnbull, Jeffrey McCune
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Puppet (Computer file),Software configuration management
رده :
QA76
.
76
.
C69
11. Pro Puppet /
پدیدآورنده: by Spencer Krum, William Van Hevelingen, James Turnbull, Jeffrey McCune
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Puppet (Computer file),Software configuration management
رده :
QA76
.
76
.
C69
