5841. Theory and Applications of Satisfiability Testing – SAT 2015
Author: \ Marijn Heule , Sean Weaver (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتمهای کامپیوتری -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها ,الگوریتمهای کامپیوتری
Classification :
QA
76
.
9
.
A43
2015
E-Book
,
5842. Theory and Design of Digital Computer Systems
Author: by Douglas Lewin, David Noaks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Microprogramming.
Classification :
TK7888
.
3
B936
1992
5843. Theory and Practice of Algorithms in (Computer) Systems
Author: / Spaccamela, Michael Segal-Alberto Marchetti
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
5844. Theory and Practice of Geometric Modeling
Author: edited by Wolfgang Stra€er, Hans-Peter Seidel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware.,Computer science.,Software engineering.
5845. Theory and Practice of Robots and Manipulators :
Author: edited by A. Morecki, G. Bianchi, K. Kȩdzior.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Manipulators (Mechanism) -- Congresses.,Robotics -- Congresses.,Science (General)
Classification :
TJ210
.
3
E358
1985
5846. Theory and Practice of Uncertain Programming
Author: by Baoding Liu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.,Operations research.
5847. Theory and applications of models of computation :
Author: Mitsunori Ogihara, Jun Tarui (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
T36
2011eb
5848. Theory and applications of models of computation :
Author: T.V. Gopal, Junzo Watada (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
Classification :
QA76
.
9
.
M35
T35
2019eb
5849. Theory and applications of recent robust methods.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA278
.
8
T446
2004
5850. 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
5851. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Author: Armin Biere, Carla P. Gomes )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
4121
5852. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Author: Fahiem Bacchus, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
3569
5853. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Author: Holger H. Hoos, David G. Mitchell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
Classification :
QA
76
.
L28
Vol
.
3542
5854. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
Author: Enrico Giunchiglia, Armando Tacchella )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
2919
5855. Theory and practice of algorithms in (computer) systems
Author: Alberto Marchetti-Spaccamela, Michael Segal (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses
Classification :
QA76
.
9
.
A43
T37
2011
5856. 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
5857. Theory of Computation
Author: / George Tourlakis
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامهنویسی تابعی
Classification :
QA9
,.
59
.
T46
,
T68
2012
5858. Theory of Reconstruction from Image Motion
Author: by Stephen Maybank.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation.,Mathematical physics.,Physics.
Classification :
TA1632
.
B978
1993
5859. Theory of Semi-Feasible Algorithms
Author: by Lane A. Hemaspaandra, Leen Torenvliet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Computer software.
Classification :
QA76
.
9
.
A43
B953
2003
5860. Theory of algorithms
Author: edited by L. Lovasz and E. Szemeredi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
Classification :
QA
9
.
58
.
C64
1984
