1. Constraint Solving and Language Processing
پدیدآورنده: edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

2. It's all about coordination :
پدیدآورنده: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb


3. Multiparadigm constraint programming languages
پدیدآورنده: / Petra Hofstedt
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Constraint programming (Computer science),Programming languages (Electronic computers)
رده :
QA
76
.
612
.
H6
2011


4. Multiparadigm constraint programming languages
پدیدآورنده: Hofstedt, Petra.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Constraint programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
612
.
H64
2011


5. Multiparadigm constraint programming languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constraint programming (Computer science) ; Programming languages (Electronic computers) ;

6. Multiparadigm constraint programming languages
پدیدآورنده : Hofstedt, Petra.,Petra Hofstedt
موضوع : ، Constraint programming )Computer science(,، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Multiparadigm constraint programming languages /
پدیدآورنده: Petra Hofstedt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011


8. Multiparadigm constraint programming languages /
پدیدآورنده: Petra Hofstedt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011


9. Multiparadigm constraint programming languages
پدیدآورنده: / Petra Hofstedt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constraint programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
612
,.
H64
,
2011


10. Parallel Programming with Co-Arrays
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers),A Multifrontal Solver.,COMPUTERS-- Programming Languages-- General.,Execution Control.,Linear Algebra.,MATHEMATICS-- Number Systems.,OBJECT-ORIENTED DESIGN.,Parallel processing (Electronic computers),THE COARRAY PROGRAMMING MODEL.
رده :
QA76
.
642
.
N867
2019


11. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019

