1. Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Author: Jens Blanck, Vasco Brattka, Peter Hertling )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Mathematical analysis,Congresses ، Computable functions,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
2064
2. Computability theory and its applications: current trends and open problems: proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computable functions
Classification :
QA
9
.
59
.
C66
1999
3. 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
4. Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
Author: Wilfried Sieg, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Computable functions
Classification :
QA
9
.
59
.
W67
1987
5. Logic and computation: proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computable functions-- Data processing
Classification :
QA
9
.
59
.
W67
1987
6. Mathematical foundations of computer science 200
Author: / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
7. Mathematical foundations of computer science, 1979: proceedings; 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Alogorithms-- Congresses,، Computable functions-- Congresses,، Machin theory-- Congresses
Classification :
QA
76
.
6
.
S9194
1979
8. Models of computation in context :
Author: Benedikt Löwe ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions -- Congresses.,Computable functions.,Informatique.
Classification :
QA9
.
59
B464
2011
9. New computational paradigms
Author: / S. Barry Cooper, Benedikt L?�we, Leen Torenvliet (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions--Congresses
Classification :
QA
,
9
.
59
,.
C67
,
2005
10. New computational paradigms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computable functions ; Congresses. ;
11. New computational paradigms : First Conference on Computability in Europe, CIE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings
Author: S. Barry Cooper, Benedikt Loewe, Leen Torenvliet )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computable functions
Classification :
QA
76
.
L28
Vol
.
3526
12. #Non-classical logics, model theory, and computability
Author: #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
Classification :
#
QA
،#.
L37
،#
1976
13. Non-classical logics, model theory, and computability
Author: / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
Classification :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
14. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Author: edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
Classification :
QA
9
.
7
.
L3
15. Proceedings of the ... Annual ACM Symposium on Theory of Computing
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
Classification :
QA
267
.
A27a
2002
16. Symbolic computation and education
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer
17. Symbolic computation and education
Author: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
20
,.
C65
,
I585
,
2006
18. Symbolic-numeric computation
Author: / Dongming Wang, Lihong Zhi, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
.
59
,.
S96
,
2007
19. 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
