41. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
42. Logical Foundations of Cyber-Physical Systems /
پدیدآورنده : by André Platzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
رده :
QA8
.
9-QA10
.
3
43. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
44. Mathematical logic
پدیدآورنده : Yu L. Ershove, E. A. Palyutin; translated from the russian by: Vladimir Shokurov
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Algorithms
رده :
BC
135
.
M36
1984
45. Mathematical logic :
پدیدآورنده : Roman Kossak
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
46. Mathematical logic, the theory of algorithms, and the theory of sets
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
47. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده : edited by S. I. Adjan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
48. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
49. Pacific Symposium on Biocomputing 2004 :
پدیدآورنده : edited by Russ B. Altman [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2004eb
50. Practical Applications of Computational Intelligence Techniques
پدیدآورنده : edited by Lakhmi Jain, Philippe Wilde.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
51. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
52. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
53. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
54. Proofs and algorithm
پدیدآورنده : / Gilles Dowek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.,Algorithms.
رده :
QA9
,.
D68
,
2011
55. Proofs and algorithms
پدیدآورنده : Gilles Dowek
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
56. Proofs and algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Algorithms. ;
57. Proofs and algorithms an introduction to logic and computability
پدیدآورنده : Dowek, Gilles., Gilles Dowek
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
76
.
P7
D6
2011
58. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : abridgement editor, George J. Hademenos.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebra, Abstract,Combinatorial analysis,Logic, Symbolic and mathematical
رده :
QA
162
.
D57
2003
59. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
