1. AQA A level Computer Science.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
2. Algorithms :
پدیدآورنده: Fethi Rabhi, Guy Lapalme.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Functional programming languages.,Algorithmes.,Langages de programmation fonctionnels.,ALGORITHMS.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,COMPUTER PROGRAMS.,Functional programming languages.,Functionele programmering.,FUNCTIONS (MATHEMATICS),Funktionale Programmiersprache,Funktionale Programmierung,Funktionale Programmierung.,PROGRAMMING LANGUAGES.
رده :
QA76
.
9
.
A43
R34
1999
3. Algorithms: a functional approach
پدیدآورنده: Rabhi, Fethi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
.
R34
1999
4. Algorithms: a functional programming approach
پدیدآورنده: Rabhi, Fethi.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
R34
1999
5. Algorithms for functional programming /
پدیدآورنده: John David Stone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Functional programming languages.,Computer algorithms.,Functional programming languages.
رده :
QA76
.
62
6. Automata, Languages and Programming :
پدیدآورنده: edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.
7. Automata, Languages and Programming :
پدیدآورنده: edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Computers.
8. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
9. Automata, languages, and programming :
پدیدآورنده: edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
10. Building software for simulation
پدیدآورنده: James Nutaro
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer simulation,C]] (Computer program language)
رده :
QA
،
76
.
9
،.
C65
,
N88
،
2011
11. Building software for simulation
پدیدآورنده: / James Nutaro
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
12. Building software for simulation
پدیدآورنده: / James Nutaro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
13. Building software for simulation :
پدیدآورنده: James Nutaro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),Computer simulation
رده :
QA76
.
9
.
C65
N88
2011
14. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده: Curien, Pierre-Louis
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Formal languages
رده :
QA
267
.
3
.
C87
1993
15. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده: Curien, Pierre-Louis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages
رده :
QA
267
.
3
.
C87
1993
16. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده: Pierre- Louis Curien
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Formal languages
رده :
QA
,
267
.
3
,.
C87
17. Chemoinformatics :
پدیدآورنده: editors Johann Gasteiger, Thomas Engel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemia -- informatyka.
رده :
QD39
.
3
.
E46
E358
2004
18. Clojure data structures and algorithms cookbook :
پدیدآورنده: Rafik Naccache
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Clojure (Computer program language),Functional programming languages
رده :
QA76
.
73
.
C565
19. 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
20. Computer Models of Speech Using Fuzzy Algorithms.
پدیدآورنده: De Mori, Renato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
TK7882
.
S65
D466
2011
