21. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
22. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
23. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
24. Beautiful JavaScript :
پدیدآورنده : edited by Anton Kovalyov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : JavaScript (Computer program language)
رده :
QA76
.
73
.
J39
B43
2015eb
25. Beginning Haskell
پدیدآورنده : by Alejandro Serrano Mena.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
26. Beginning Haskell : a project-based approach
پدیدآورنده : Serrano Mena, Alejandro
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Haskell )Computer program language(,، Functional programming )Computer science(,، Computer programming,، COMPUTERS / Programming Languages / General,، COMPUTERS / Programming / General
رده :
QA
76
.
73
.
H37
2014
27. Bioinformatics
پدیدآورنده : / Shui Qing Ye
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Bioinformatics.,Computational Biology--methods,Databases, Genetic.,Databases, Protein.,Genomics--methods,Medical Informatics--methods,Proteomics--methods,Genaetica--Procesamiento electraonico de datos
رده :
QH324
.
2
.
Y42
2008
28. Building software for simulation
پدیدآورنده : James Nutaro
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer simulation,C]] (Computer program language)
رده :
QA
،
76
.
9
،.
C65
,
N88
،
2011
29. Building software for simulation
پدیدآورنده : / James Nutaro
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
30. Building software for simulation
پدیدآورنده : / James Nutaro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
31. Building software for simulation :
پدیدآورنده : James Nutaro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C++ (Computer program language),Computer simulation
رده :
QA76
.
9
.
C65
N88
2011
32. CCE:
پدیدآورنده : ESPRIT Consortium CCE-CNMA (Eds.). [Ed. in cooperation with the European Commission]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer integrated manufacturing systems.,Mechanical engineering.,Production engineering.
33. CCE:
پدیدآورنده : ESPRIT Consortium CCE-CNMA (Eds.). [Ed. in cooperation with the European Commission]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer integrated manufacturing systems.,Mechanical engineering.,Production engineering.
34. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Formal languages
رده :
QA
267
.
3
.
C87
1993
35. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
C87
1993
36. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Pierre- Louis Curien
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Formal languages
رده :
QA
,
267
.
3
,.
C87
37. Chemoinformatics :
پدیدآورنده : editors Johann Gasteiger, Thomas Engel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemia -- informatyka.
رده :
QD39
.
3
.
E46
E358
2004
38. Clojure cookbook
پدیدآورنده : Luke VanderHart, Ryan Neufeld
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Clojure (Computer program language),Functional programming (Computer science),Functional programming languages
رده :
QA76
.
62
.
V36
2014
39. Clojure data structures and algorithms cookbook :
پدیدآورنده : Rafik Naccache
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Clojure (Computer program language),Functional programming languages
رده :
QA76
.
73
.
C565
40. Clojure reactive programming :
پدیدآورنده : Leonardo Borges
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Application software-- Development,Clojure (Computer program language),Functional programming languages
رده :
QA76
.
62