1. Algebraical and topological foundations of geometry; proceedings
پدیدآورنده : Colloquium on Algebraic and Topological Foundations of Geometry )9591: Utrecht, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Geometry-- Foundations-- Congresses
رده :
QA
681
.
C65
1959
2. Algorithmic and computational robotics: new directions: the fourth Workshop on the Algorithmic Foundations of Robotics
پدیدآورنده : Workshop on the Algorithmic Foundations of Robotics )4th : 0002 : Dartmouth College(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Robotics -- Congresses,، Algorithms -- Congresses
رده :
TJ
210
.
3
.
W664
2000
3. American foundations for social welfare
پدیدآورنده : By Shelby M. Harrison , F. Emerson Andrews; Includes a directory of 505 foundations.
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Endowments--United States.
4. Analysis and design of shallow and deep foundations
پدیدآورنده : Lymon C. Reese, William M. Isenhower, Shin-Tower Wang.Shallow and deep foundations
کتابخانه: (کرمان)
موضوع : Foundations
رده :
TA
775
.
R419
2006
5. Annual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده : Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
6. Computational compexity: proceedings 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
S76
2000
7. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
پدیدآورنده : sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
8. Delaware Seminar in the Foundations of Physics
پدیدآورنده : Delaware Seminar in the Foundations of Physics
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Physics-- Addresses, essays, lectures
رده :
QC
71
.
D385
9. Design of large steam turbine-generator foundations
پدیدآورنده : Prepared by the Task Committee on Turbine foundations of the Fossil Power Committee and the Nuclear Energy Committee of the Energy Division of the American Society of Civil Engineers
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Turbogenerators - Foundations - Design and construction
رده :
TK
2458
.
F68
D47
1987
10. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
11. Foundations of continuum thermodynamics : )proceedings(
پدیدآورنده : International Symposium on the Foundations of Continuum Thermodynamics, 3791, Bussaco, Portugal
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Thermodynamics-- Congresses,، Statistical thermodynamics-- Congresses
رده :
QC
310
.
15
.
I57
1973
12. Grouting and ground treatment
پدیدآورنده : / sponsored by the Geo-Institute of the American Society of Civil Engineers, Deep Foundations Institute
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Grouting- Congresses
رده :
TA755
.
G74
2003
13. Improving adult literacy instruction :
پدیدآورنده : Committee on Learning Sciences: Foundations and Applications to Adolescent and Adult Literacy, Alan M. Lesgold and Melissa Welch-Ross, Editors, Division of Behavioral and Social Sciences and Education, National Research Council of the National Academies
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional literacy-- United States
رده :
LC151
.
N385
2012
14. Knowing what students know :
پدیدآورنده : Committee on the Foundations of Assessment, Board on Testing and Assessment, Center for Education, Division on Behavioral and Social Sciences and Education, National Research Council ; James W. Pellegrino, Naomi Chudowsky, and Robert Glaser, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognitive learning theory.,Educational tests and measurements-- United States-- Design and construction.,Apprentissage, Théorie cognitive de l',Tests et mesures en éducation-- États-Unis-- Conception et construction.,Beoordelingstechnieken.,Cognitive learning theory.,EDUCATION-- Evaluation.,EDUCATION-- Testing & Measurement.,Educational tests and measurements-- Design and construction.,Schülerbeurteilung,Schulleistungstest,Studieresultaten.,STUDY AIDS-- Tests.,Testkonstruktion,Tests.,United States.,USA., 7, 7
رده :
LB3051
.
K59
2001eb
15. Knowing what students know: The science and design of educational assessment
پدیدآورنده : Committee on the Foundations of Assessment, Board on Testing and Assessment, Center for Education, Division of Behavioral and Social Sciences and Education, National Research Council
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع : Educational tests and measurements- United States- Design and construction,Cognitive learning theory
رده :
371
.
26
K73
16. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
17. Management Planning and Control :the H.J.Heinzapproach ;a Casestudy in management Planning and Control objectives ,Organizationand methods With particular emphasis on part P;ayed by the comptroller's division in this work
پدیدآورنده : Controllership Foundations.
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع : Heinz )H.J(Company
18. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
پدیدآورنده : Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Sequaential machine theory - Congresses,، Formal languages - Congresses
رده :
QA
267
.
5
.
S4S89
1975
19. Mathematical foundations of computer sciences 1989
پدیدآورنده : Mathematical foundations of computer sciences 1989
موضوع : Computer sciences
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
20. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
کتابخانه: (کرمان)
موضوع : programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990