221. Cellular Automata and Discrete Complex Systems
پدیدآورنده: \ Jarkko Kari (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
222. Cellular automata and discrete complex systems :
پدیدآورنده: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
رده :
QA267
.
5
.
C45
223. Cellular automata and discrete complex systems :
پدیدآورنده: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
رده :
QA267
.
5
.
C45
224. Certified Programs and Proofs :
پدیدآورنده: edited by Chris Hawblitzel, Dale Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
225. Certified programs and proofs :
پدیدآورنده: Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
226. Classification Theory of Algebraic Varieties and Compact Complex Spaces
پدیدآورنده: by K. Ueno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science, general.,Computer science.,Mathematics.
رده :
QA3
.
B958
1975
227. Coalgebraic methods in computer science :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
228. Coalgebraic methods in computer science
پدیدآورنده: Dirk Pattinson, Lutz Schröder (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
W67
2012eb
229. Coalgebraic methods in computer science :
پدیدآورنده: Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
230. Coding the matrix :
پدیدآورنده: Philip N. Klein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Álgebra lineal.,Algebras, Linear.,Computer science -- Mathematics.
رده :
QA184
.
2
P455
9999
231. Collegium Logicum.
پدیدآورنده: Kurt Gödel Society.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Mathematics.
232. Combinatorial Algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science
233. Combinatorial Optimization II
پدیدآورنده: edited by V.J. Rayward-Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematical optimization.,Mathematics.
رده :
QA264
.
A1
E358
1980
234. Combinatorial Optimization and Applications
پدیدآورنده: \ [edited by] Zaixin Lu...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینه‌سازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
164
.
C6
2015
E-Book
,
235. Combinatorial and Additive Number Theory III
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Computer mathematics. ; Combinatorics. ; -Combinatorics. ; Number theory. ; Computer science
236. Combinatorial maps :
پدیدآورنده: Guillaume Damiand, Pascal Lienhardt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial designs and configurations,Computer graphics-- Mathematics,Data structures (Compter science),Image processing-- Mathematics
رده :
QA76
.
9
.
D35
D35
2014
237. Combinatorial optimization and applications
پدیدآورنده: Guohui Lin (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial optimization, Congresses,Computer science-- Mathematics, Congresses
رده :
QA402
.
5
.
C63
2012eb
238. Combinatorial optimization and applications :
پدیدآورنده: Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
رده :
QA402
.
5
.
C5423
2017
239. Combinatorial optimization and theoretical computer science
پدیدآورنده: / edited by Vangelis Th. Paschos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Combinatorial optimization- Computer programs,Computer science- Mathematics
رده :
QA402
.
5
.
C54513
2008
240. Combinatorics for computer science
پدیدآورنده: Williamson, Stanley Gill
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Combinatorial analysis,، Computer science -- Mathematics
رده :
QA
164
.
W55
1985
