2. A logical approach to discrete math
المؤلف: / David Gries, Fred B. Schneider
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics.
رده :
QA
,
39
.
2
,.
G7473
,
1993
3. A logical approach to discrete math
المؤلف: Gries, David, 9391-
المکتبة: (طهران)
موضوع: ، Mathematics
رده :
QA
39
.
2
.
G744
4. A logical approach to discrete math
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics ;
5. A logical approach to discrete math
المؤلف: Gries, David
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Mathematics
رده :
QA
39
.
2
.
G7473
1993
6. A primer on PASCAL
المؤلف: Conway, Richard Walter
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Pascal )Computer program language(
رده :
QA
76
.
73
.
P35
C66
7. A primer on structured programming using PL/I, PL/C, and PL/CT
المؤلف: / Richard Conway, David Gries
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: پی.ال/ وان (زبان برنامه‌نویسی کامپیوتر),برنامه‌نویسی ساختار یافته,پی.ال/ سی (زبان برنامه نویسی کامپیوتر),پی.ال/ سی تی (زبان برنامه نویسی کامپیوتر)
رده :
QA
۷۶
/
۷۳
/
پ
۴
ک
۲ ۱۳۵۵
8. A primer on structured programming using PL/I, PL/C, and PL/CT
المؤلف: Conway, Richard Walter, 1391-
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، PL/I )Computer program language(,، PL/C )Computer program language(,، PL/CT )Computer program language(,، Structured programming
رده :
QA
76
.
73
.
P25C66
9. A survey of verification techniques for parallel programs
المؤلف: Howard Barringer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
10. Adipositas :
المؤلف: F A Gries
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Medicine.,Pathology.
رده :
RC628
.
F347
2013
11. Advances in Cryptology -- EUROCRYPT '88 :
المؤلف: edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data encryption (Computer science)
12. Advances in 3D textiles /
المؤلف: edited by Xiaogang Chen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Air-supported structures,Coated fabrics,Composite materials,Textile design,Textile fabrics
رده :
TS1767
.
A38
2015
13. Air pollution
المؤلف: edited by C. Gries...]et. al[
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Air--pollution,Environmental chemistry
رده :
QD
31
.
A57
14. An Introduction to programming:A structure approach using PL/landPL/C-7
المؤلف: / Richard conway
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Computer program language
رده :
001
.
6424
C767
15. An introduction to programming; a structured approach using PL/1 and PL/c-7
المؤلف: by Richard Walter Conway, David Gries
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: PL/1)computer program language(
رده :
QA
76
.
73
.
P25
.
C65
16. Are L2 Speakers Allowed to Use Colloquialisms? L1 Attitudes Toward Spanish L2 Speakers' Use of Informal Lexical Items
المؤلف: DuBois, Stefan
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
17. Automata and Computability.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
18. Automata-theoretic aspects of formal power series
المؤلف: Salomaa, Arto, 4391-
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
19. Automatic treatment and analysis of learner corpus data /
المؤلف: edited by Ana Díaz-Negrillo, Nicolas Ballier, and Paul Thompson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Corpora (Linguistics),Second language acquisition.,Corpora (Linguistics),LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,Second language acquisition.
رده :
P128
.
C68
A89
2013eb
20. Bloomsbury Companion to Cognitive linguistics /
المؤلف: edited by Jeannette Littlemore and John R. Taylor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cognitive grammar.,Linguistics.,LANGUAGE ARTS & DISCIPLINES / Linguistics / General.,LANGUAGE ARTS & DISCIPLINES / Linguistics / Semantics.
