321. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
پدیدآورنده: Bhattacharya, Alakananda
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
رده :
QA
76
.
642
.
B484
322. Parallel logic programming
پدیدآورنده: Takeuchi, Akikazu
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
642
.
T35
1992
323. Parallel logic programming
پدیدآورنده: / Akikazu Takeuchi
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel programming (Computer science),Logic programming
رده :
QA76
.
642
.
T35
1992
324. Parallel logic programming in PARLOG : the language and its implementation
پدیدآورنده: Gregory, Steve.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
P194G74
1987
325. Parallel logic programming in parlog : the language & its implementation
پدیدآورنده: Gregory, Steve
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
رده :
QA
76
.
73
.
P194
G74
326. Parallel logic programming techniques
پدیدآورنده: / Stephen Taylor,Taylor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Parallel Processing (Electronic computers),Logic programming
رده :
QA
76
.
5
.
T39
1989
327. #Parallel logic programming techniques
پدیدآورنده : Stephen Taylor
موضوع :
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
328. Parallel logic programming techniques
پدیدآورنده: / Stephen Taylor
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Parallel processing (Electronic computers),Logic programming
رده :
QA
76
.
5
.
T39
1989
329. Parallel logic programming technques
پدیدآورنده: / Stephen Taylor
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Parallel processing (Electronic computers) - Logic programming
رده :
QA
65
.
5
.
T39
330. Principles of logic and logic programming /
پدیدآورنده: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
331. Probabilistic inductive logic programming
پدیدآورنده: Luc De Raedt ... [et al.]& (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic programming,Machine learning,Stochastic processes
رده :
QA
،
76
.
63
،.
P69
،
2008
332. 21, 2010. Proceedings-Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19
پدیدآورنده: / n Vidal (eds.)عBrigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germ
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
333. 19, 2011. Proceedings-Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16
پدیدآورنده: / David Poole (auth.), James P. Delgrande, Wolfgang Faber (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
334. 15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial
پدیدآورنده: / ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
335. Proceedings of the 3rd UK Annual Conference on Logic Programming :
پدیدآورنده: Geraint A. Wiggins ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logische Programmierung.
رده :
QA76
.
63
G473
1992
336. Proceedings of the 4th UK Conference on Logic Programming :
پدیدآورنده: Krysia Broda (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logische Programmierung.
رده :
QA76
.
63
K797
1993
337. Progamming Language Implementation and Logic Programming :
پدیدآورنده: edited by Maurice Bruynooghe, Jaan Penjam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
338. Programmable Logic Controllers , Programming Methods and Applications
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Automatio&Control
339. Programmable logic controllers: Operation, interfacing, and programming
پدیدآورنده: Den Otter, J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programmable controllers
رده :
TJ
223
.
P76
D46
1988
340. Programmable logic controllers operation; interfocing and programming
پدیدآورنده: Otter, Job Den
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Program able controllers
رده :
TJ
223
.
P76
