1. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
2. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
3. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
4. Distributed Systems :
پدیدآورنده : by Albert Fleischmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
5. GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung :
پدیدآورنده : edited by Claus-Rainer Rollinger, Werner Horn.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
6. Memory performance of prolog architectures
پدیدآورنده : / by Evan Tick
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Prolog (Computer program language),Computer architecture
رده :
005
.
1
T556M
7. New Trends in Computer Graphics Proceedings of CG International '88
پدیدآورنده : Nadia Magnenat-Thalmann
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
T385
.
N335
2013
8. Parallel processing and parallel algorithms :
پدیدآورنده : Seyed H Roosta
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
58
S494
2013
9. Persistent object systems :
پدیدآورنده : of the third international workshop on persistent object systems, Newcastle, Australia, 10-13 january 1989 ; John Rosenberg and David Koch ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : persistance.,programmation orientée objet.,système orienté objet.
رده :
QA76
.
64
O384
1990
10. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
11. Prolog multiprocessors
پدیدآورنده : Wise, Michael J.
موضوع : ، Prolog )Computer program language(,، Multiprocessors,، Computer architecture
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Prolog multiprocessors
پدیدآورنده : Wise, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Prolog )Computer program language(,، Multiprocessors,، Computer architecture
رده :
QA
76
.
73
.
P76
W57
1986
13. Prolog multiprocessors
پدیدآورنده : Wise, Michael J
کتابخانه: (طهران)
موضوع : ، Prolog )Computer program language(,، Multiprocessors,، Computer architecture
رده :
QA
76
.
73
.
P76
W57
1986
14. Prolog multiprocessors
پدیدآورنده : WISE,MICHAEL J
کتابخانه: (طهران)
موضوع : PROLOG )COMPUTER PROGRAM LANGUAGE( , MULTIPROCESSORS , COMPUTER ARCHITECTURE
رده :
QA
76
.
73
.
P76
W57
15. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986