1. A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
المؤلف: von Uwe Glässer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering.
رده :
QA76
.
9
.
D5
V668
1993
2. A 25-Year Perspective on Logic Programmin
المؤلف: / edited by Agostino Dovier, Enrico Pontelli
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.
3. A beginner's guide to Programming logic and design
المؤلف: Farrell, Joyce.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
4. A guide to programming logic and design: introductory
المؤلف: Farrell, Joyce
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
5. A tutorial introduction to VHDL programming /
المؤلف: Orhan Gazi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: VHDL (Computer hardware description language),VHDL (Computer hardware description language)
رده :
TK7885
.
7
6. ACM Turing Award lectures :
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
7. AI game programming wisdom /
المؤلف: edited by Steve Rabin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer games-- Design.,Computer games-- Programming.,Computer graphics.,Artificial intelligence.,Computer games-- Design.,Computer games-- Design.,Computer games-- Programming.,Computer games-- Programming.,Computer graphics.,Computer graphics.,Computeranimation,Computergraphics.,Computerspelen.,Computerspiel,Infographie.,Intelligence artificielle.,Künstliche Intelligenz,Kunstmatige intelligentie.,Ludiciels-- Programmation.,Programmeren (computers),Programmierung,Vormgeving.
رده :
QA76
.
76
.
C672
R33
2002
8. Advanced Computer Architectures.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Datorarkitektur.,High performance computing.,Parallel computers.,Parallelverarbeitung.,Computer architecture.,COMPUTERS-- Systems Architecture-- General.,High performance computing.,Parallel computers.
رده :
QA76
.
9
.
A73S45478
9. Advanced topics in artificial intelligence :
المؤلف: Norman Foo, (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
10. Advances in Computer Systems Architecture (vol. # 3740) :
المؤلف: edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data transmission systems.
11. Advances in Database Technology - EDBT '94 :
المؤلف: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
12. Advances in Petri Nets 1988
المؤلف: Grzegorz Rozenberg (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine theory.,Petri nets.,Petri-netwerken.
رده :
QA267
.
G794
1988
13. Advances in computational intelligence :
المؤلف: Hans-Paul Schwefel, Ingo Wegener, Klaus Weinert (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence.
14. Advances in computers.
المؤلف: edited by Franz L. Alt and Morris Rubinoff.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
4
15. Advances in information systems science. Volume 3
المؤلف: edited by Julius T. Tou.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information science.,Information technology.
16. Advances in swarm intelligence. Part 1 :
المؤلف: Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Swarm intelligence -- Congresses.,Swarm intelligence.
17. Agent-Based Defeasible Control in Dynamic Environments.
المؤلف: Dov M Gabbay
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
18. Algebraic and Logic Programming :
المؤلف: edited by Michael Hanus, Mario Rodríguez-Artalejo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
19. Algebraic foundations in computer science :
المؤلف: edited by Werner Kuich, George Rahonis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
20. Algebraic informatics :
المؤلف: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
