1. A Concise Introduction to Mathematical Logic
المؤلف: by Wolfgang Rautenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Contrastive Lexico-semantic Study of Computer and Human Languages
المؤلف: James, Oluwale Stephen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: English as a second language--ESL
3. A Contrastive Lexico-semantic Study of Computer and Human Languages
المؤلف: James, Oluwale Stephen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: English as a second language--ESL
4. A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
المؤلف: von Uwe Glässer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering.
رده :
QA76
.
9
.
D5
V668
1993
5. A Visual Basic 6 programmer's toolkit
المؤلف: Hank Marquis and Eric A. Smith.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: BASIC (Computer program language),Microsoft Visual BASIC.,Visual Basic (Computer program language)
رده :
QA76
.
73
.
B3
H365
9999
6. A 25-Year Perspective on Logic Programmin
المؤلف: / edited by Agostino Dovier, Enrico Pontelli
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.
7. A 25-Year perspective on logic programming
المؤلف: / Agostino Dovier, Enrico Pontelli (Eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
8. A beginner's guide to Programming logic and design
المؤلف: Farrell, Joyce.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
9. A concise introduction to mathematical logic
المؤلف: / Wolfgang Rautenberg
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
10. A first course in optimization theory /
المؤلف: Rangarajan K. Sundaram
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical optimization,Programming (Mathematics),Mathematische Optimierung-- Theorie,Optimierung-- Lehrbuch
رده :
QA402
.
5
.
S837
1996
11. A first course in scientific computing symbolic, graphic, and numeric modeling using Maple, Java, Mathematica, and Fortran90
المؤلف: Rubin H. Landau ; contributors, Robyn Wangberg ... ]et al.[.
المکتبة: (کرمان)
موضوع: Science
رده :
Q
183
.
9
.
L36
2005
12. A fuzzy PROLOG database system
المؤلف: Li, Deyi
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
13. A general theory of formality
المؤلف: Beck, Andrew Edward
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
14. A guide to programming logic and design: introductory
المؤلف: Farrell, Joyce
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
15. A perspective of constraint-based reasoning :
المؤلف: edited by H.W. Güsgen, J. Hertzberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
رده :
QA75
.
E358
1992
16. A portable natural language interface from Arabic to SQL
المؤلف: Al-Johar, Badr
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software & programming
17. A primer on scientific programming with Python /
المؤلف: Hans Petter Langtangen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
رده :
QA76
.
73
.
P98
18. A quick and gentle guide to constraint logic programming via ECLiPSe
المؤلف: Antoni Niederliński.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Eclipse (informat.),Eclipse (środowisko programistyczne).,Programowanie logiczne.
19. A science of operations
المؤلف: / by Peter Mark Priestley
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
20. A science of operations
المؤلف: Mark Priestley
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
