381. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43
382. Theory and practice of natural computing :
Author: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
Classification :
QA76
.
9
.
A43
383. Theory of computational complexity /
Author: Ding-Zhu Du, Department of Computer Science, University of Texas at Dallas, Ann Arbor, MI, Ker-I Ko, Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.
Classification :
QA267
.
7
.
D8
2014eb
384. Thirty essays on geometric graph theory
Author: János Pach, editor
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial geometry,Geometry-- Data processing,Graph theory
Classification :
QA166
.
T45
2013
385. Tolerance graphs /
Author: Martin Charles Golumbic, Ann N. Trenk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Graph theory.,Combinatorial analysis.,Graph theory.,MATHEMATICS-- Graphic Methods.
Classification :
QA166
.
G645
2004eb
386. Topics in discrete mathematics
Author: Martin Klazar ... ]et al.[, editors
Library: Vali Asr University Central Library (Kerman)
Subject: Neeseteril, Jaroslav,Mathematics,Computer science- Mathematics,Graph theory
Classification :
QA
39
.
3
.
T67
2006
387. Topics in discrete mathematics : dedicated to Jarik Nesetril on the occasion of his 60th birthday
Author: Martin Klazar...]et al.[, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics,، Computer science -- Mathematics,، Graph theory
Classification :
QA
39
.
2
.
T66D4
388. Topics in engineering mathematics :
Author: edited by Adriaan van der Burgh and Juriaan Simonis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Mathematical optimization.,Mathematics.
389. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
390. Topics in topological graph theory /
Author: edited by Lowell W. Beineke, Robin J. Wilson ; academic consultants, Jonathan L. Gross, Thomas W. Tucker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Topological graph theory
Classification :
QA166
.
195
.
T66x
2009
391. Topological graph theory /
Author: Jonathan L. Gross, Thomas W. Tucker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Topological graph theory.,Topology.
Classification :
QA166
.
G76
1987
392. Unsolved problems in mathematical systems and control theory
Author: / edited by Vincent D. Blondel, Alexandre Megretski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: System analysis,Control theory
Classification :
E-BOOK
393. WALCOM
Author: Md. Saidur Rahman, Satoshi Fujita (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
Classification :
QA
،
76
.
9
،.
D35
,
W34
،
2010
394. Webservices :
Author: Hrushikesha Mohanty, Prasant Kumar Pattnaik, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Web services.,XML (Document markup language),COMPUTERS-- General.,Web services.,XML (Document markup language)
Classification :
TK5105
.
88813
395. 8th International Conference on Automated Deduction :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
396. theoretic concepts in computer science-Graph
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Graph theory ; Congresses. ; Computer science ; Congresses. ; Computer algorithms ; Congresses. ;
397. الگوریتمهای جستجوی کوانتومی با زمان پیوسته
Author: /نادر بهاری
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject:
398. الگوریتمهای هوش گروهی در رنگآمیزی گراف
Author: /اصغر نافع مرکید
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject:
399. اندازهگیری میزان آزمونپذیری نرمافزار با تحلیل کنترلپذیری گراف وابستگی
Author: شفیعی کمال آباد، المیرا
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: مهندسی برق,برق
