81. Computability with pascal
Author: Mallozzi, John s.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
Classification :
QA
9
.
59
.
M34
1984
82. Computation, Logic, Philosophy :
Author: by Hao Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Mathematics.,Technology -- Philosophy.
83. Computation, logic, games, and quantum foundations :
Author: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
Classification :
QA76
.
B633
2013
84. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
85. Computations in higher types
Author: Moldestad, Johan
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursive functions
Classification :
QA
3
.
L28
no
.
574
86. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
87. Computations in higher types
Author: Moldestad, Johan
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursive functions
Classification :
QA
1
.
L4
v
.
574
88. Computations in higher types
Author: Moldestad, Johan, 6491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions
Classification :
QA
3
.
L28
Vol
.
574
89. Computations in higher types, Lecture notes in mathematics
Author: Moldestad, Johan,6491-, Johan Moldestad
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Recursive functions
Classification :
QA
3
.
M6C6
1977
90. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
91. Computer Networks and Systems
Author: by Thomas G. Robertazzi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Statistics.
92. Computer-aided design and manufacturing :
Author: T Kohonen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TS155
.
6
T564
2012
93. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
94. Counterparty credit risk, collateral and funding :
Author: Damiano Brigo, Massimo Morini, Andrea Pallavicini
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Credit derivatives-- Mathematical models.,Credit-- Mathematical models.,Finance-- Mathematical models.,Financial risk-- Mathematical models.
Classification :
HG106
95. Data structure programming :
Author: Joseph Bergin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
73
.
C153
J674
2013
96. Degrees of unsolvability
Author: Sacks, Gerald E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions
Classification :
QA
248
.
5
.
S2
1966
97. Degrees of unsolvability
Author: / by Joseph R. Shoenfield
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Recursive functions
Classification :
511
Sh-D
98. Degrees of unsolvability
Author: Shoenfield, Joseph Robert
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
Classification :
QA
9
.
S518
99. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
100. Difference and differential equations with applications in queueing theory /
Author: Aliakbar M. Haghighi Department of Mathematics, Prairie View A and M University, Prairie View, Texas, Dimitar P. Mishev Department of Mathematics, Prairie View A and M University, Prairie View, Texas
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Difference equations,Differential equations,Queuing theory,Difference equations,Differential equations,Mathematics,Queuing theory
Classification :
QA274
.
8
