301. Logic, computation, hierarchies /
Author: edited by Vasco Brattka, Hannes Diener, Dieter Spreen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
302. Logic functions and equations :
Author: Christian Posthoff, Bernd Steinback.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.,Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.
Classification :
QA10
.
3
.
P67
2019
303. Logic prepared the Mathematics Foundation Course Team
Author: Open University , Mathematics Foundation course Team
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Algebra, Boolean,، Logic Symbolic and Mathematical
Classification :
QA
10
.
3
.
O64
304. Logic, rationality, and interaction :
Author: Davide Grossi [und weitere] (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Kognitionswissenschaft.,Künstliche Intelligenz.,Lernendes System.
Classification :
BC5
.
D385
2013
305. Logic, semantics, metamathematics :
Author: by Alfred Tarski ; translated by J.H. Woodger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
Classification :
BC135
.
T35
1983
306. Logical design of electrical circuits
Author: HIGONNET,RENE A
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRIC CIRCUITS , BINARY SYSTEMS )MATHEMATICS( , ALGEBRA,BOOLEAN
Classification :
TK
454
.
H513
1968
307. Logical design of electrical circuits
Author: Higonnet, Rene A
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electric circuits,، Binary systems )Mathematics(,، Algebra, Boolean
Classification :
TK
454
.
H513
1968
308. Logique combinatoire et sequentielle, maitrise d'E.E.A., C3, automatique
Author: / par J. Lagasse ... Avec la collaboration de J. Erceau ..
Library: Library of College of Science University of Tehran (Tehran)
Subject: Switching theory,Algebra, Boolean
Classification :
QA
401
.
L27
1971
309. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975
310. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
311. Mathematical Foundations of Information Retrieval
Author: by Sándor Dominich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Humanities.,Information storage and retrieval systems.,Mathematics.
312. Mathematical structures for computer science /
Author: Judith L. Gersting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Mathematical models.,Mathematics.,Ciência da computação.,Computer science-- Mathematics.,Informatik.,Matemática.,Mathematical models.,Mathematics.,Mathematik.,Modelos matemáticos.
Classification :
QA39
.
3
.
G47
2003
313. Mathematics and computation :
Author: Avi Wigderson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Computational complexity.,Cryptography.,Algebra, Boolean.,Computational complexity.,Cryptography.,MATHEMATICS / General.
Classification :
QA267
.
7
314. Mathematics for electrical engineering and computin
Author: / Mary Attenborough
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electrical engineering, Mathematics,Computer science, Mathematics,Electronic books., local
Classification :
TK153
.
A88
,
2003eb
315. Mathematics for electrical engineering and computing
Author: / Mary Attenborough
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electrical engineering , Mathematics,Computer science , Mathematics,Electronic books. , local
Classification :
E-BOOK
316. Mathematics for electrical engineering and computing
Author: Mary Attenborough
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Electrical engineering-- Mathematics
Classification :
TK153
.
A77
2003
317. Mathematics for electrical engineering and computing. [CD]
Author: / Mary Attenborough
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Electrical engineering -- Mathematics,Computer science -- Mathematics,Electronic books
Classification :
TK153
.
A882003eb
318. Mathematics of the transcendental /
Author: Alain Badiou ; edited, translated and with an introduction by A. J. Bartlett and Alex Ling
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Ontology,Transcendental logic
Classification :
BD312
.
B3413
2014
319. Methodes booleennes en recherche operationnelle
Author: / [par] Peter L. Hammer [et] Sergiu Rudeanu
Library: Library of Economics (Tehran)
Subject: Operations research,Algebra Boolean
Classification :
T
57
.
6
.
H3
320. Methodes booleennes en recherche operationnelle
Author: Hammer, Peter L
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Operations research,، Algebra, Boolean
Classification :
T
57
.
6
.
H31
