کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA recursive introduction to the theory of computation
پدیدآورنده: Smith, Carl H., 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
Agricultural machines :theory of operation, computation of controlling parameters, and the conditions of operation, Sel`skokhozyaistvennye mashiny.
پدیدآورنده: Klenin, N. I
کتابخانه: كتابخانه مركزی كشاورزى (تهران)
موضوع: $AAgricultural machinery
رده :
S
675
.
K5513
1985
Algorithms and theory of computation handbook
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer algorithms,، Computer science,، Computational complexity
رده :
QA
76
.
9
.
A43
.
A43
1999
Algorithms and theory of computation handbook
پدیدآورنده: / edited by Mikhail J. Atallah
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer algorithms.,Computer science.,Computational complexity.
رده :
QA
,
76
.
9
,.
A43
,
A43
,
1999
Algorithms and theory of computation handbook
پدیدآورنده: / edited by Mikhail J. Atallah, Marina Blanton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer algorithms.,Computer science.,Computational complexity.
رده :
QA
,
76
.
9
,.
A43
,
A433
,
2010
Algorithms and theory of computation handbook
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer algorithms ; Computer science ; Computational complexity ;
Algorithms and theory of computation handbook
پدیدآورنده: edited by Mikhail J. Atallah, Marina Blanton
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer algorithms,، Computer science,، Computational complexity
رده :
QA
76
.
9
.
A43A46
2010
Algorithms and theory of computation handbook
پدیدآورنده: / editors, Mikhail J. Atallah and Marina Blanton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Computer algorithms,Computer science,Computational complexity
رده :
005
.
1
A3967
2010
Algorithms and theory of computation handbook.
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer algorithms. ;
Algorithms and theory of computation handbook
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer algorithms. ;
Algorithms and theory of computation handbook
پدیدآورنده: / editors, Mikhail J. Atallah and Marina Blanton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer algorithms.,Computer science.,Computational complexity.
رده :
QA
,
76
.
9
,.
A43
,
A432
,
2009
Algorithms and theory of computation handbook
پدیدآورنده: edited by Mikhail J. Atallah
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computer algorithms,، Computer science,، Computational complexity
رده :
QA
76
.
9
.
A43
A43
1999
Algorithms and theory of computation handbook.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer algorithms.,Computer science.,Computational complexity.,Computer algorithms.,Computer science.
رده :
QA76
.
9
.
A43
A44
2010
Algorithms and theory of computation handbook
پدیدآورنده: / edited by Mikhail J. Atallah
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer algorithms,Computer science,Computational complexity
رده :
QA76
.
9
.
A43A43
1999
Algorithms and theory of computation handbook
پدیدآورنده: / edited by Mikhail J. Atallah
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer algorithms,Computer science,Computational complexity
رده :
QA76
.
9
.
A43
,
A43
1999
Algorithms and theory of computation handbook
پدیدآورنده: / edited by Mikhail J. Atallah
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Computer algorithms,Computer science,Computational complexity
رده :
QA
76
.
9
.
A43
A43
1998
An introduction to the theory of computation
پدیدآورنده: Eitan Gurari
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic data processing
رده :
QA
،
76
،.
G828
،
1989
Applications of algebraic geometry to coding theory, physics and computation
پدیدآورنده: edited by Ciro Ciliberto ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Codificación (Informática) -- Congresos.,Geometría algebráica -- Congresos.
Artificial intelligence and mathematical theory of computation
پدیدآورنده: / edited by Vladimir Lifschitz.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Artificial intelligence,Numerical calculations,Computers,Programming (Electronic computers),McCarthy, John, -- 1927-
رده :
Q335
.
5
.
A77
1991
Artificial intelligence and mathematical theory of computation :
پدیدآورنده: edited by Vladimir Lifschitz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: McCarthy, John,1927-2011,Artificial intelligence,Computer programming,Computers,Numerical calculations
رده :
Q335
.
5
.
A77
1991
Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence,، Numerical calculations,، Computers,، Programming )Electronic computers(,، McCarthy, John,-- 7291-
رده :
Q
335
.
5
.
A77
1991
Artificial intelligence & mathematical theory of computation:
پدیدآورنده: MCCARTHY,JOHN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ARTIFICIAL INTELLIGENCE , NUMERICAL CALCULATIONS , COMPUTERS
رده :
Q
335
.
5
.
A77
Aspects of computation and automata theory with applications
پدیدآورنده: / editors Noam Greenberg ... [et al.]
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Machine theory.,Computational complexity.,Recursion theory.
Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
پدیدآورنده: edited by E. G. Manes
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده: edite by M. M. Richter, ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
Elements of computation theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science. ; Machine theory. ;
Elements of computation theory
پدیدآورنده: / Arindama Singh
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Computational complexity.,Computer science.
رده :
QA
,
267
,.
S55
,
2009
Elements of computation theory
پدیدآورنده: / Arindama Singh
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Computer science.,Machine theory.
رده :
QA
76
.
S4
2009
Elements of plasticity: theory and computation
پدیدآورنده: Doltsinis, I. St.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Plasticity
رده :
QA
931
.
D56
2000
Elements of plasticity: theory and computation
پدیدآورنده: Doltsinis, I. St.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Plasticity
رده :
QA
931
.
D56
2010
Elements of the theory of computation
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
Elements of the theory of computation
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
L49
1998
Elements of the theory of computation
پدیدآورنده: Lewis, Harry R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
Elements of the theory of computation
پدیدآورنده: LEWIS,HARRY R
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MACHINE THEORY , FORMAL LANGUAGE , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
L49
Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Computable functions
رده :
515
.
25
L674e
Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
Elements of the theory of computation
پدیدآورنده: Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
Elements of the theory of computation /
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA
267
.
L49
Elements of the theory of computation /Harry R. Lewis, Christos H. Papadimitriou.
پدیدآورنده:
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory.,Formal languages.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA
267
.
L49
2007
Finite element solution of boundary value problems : theory and computation
پدیدآورنده: Axelsson, O
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Boundary value problems-- Numerical solutions,، Finite element method
رده :
QA
379
.
A9
1984
Finite element solution of boundary value problems theory and computation
پدیدآورنده: Axelsson, O.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Boundary value problems -- Numerical solutions,، Finite element method
رده :
QA
379
.
A9F5
Foundamentals of computation theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993: proceedings
پدیدآورنده: Zoltan Esik, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
710
Foundations of Computation theory
پدیدآورنده: / Akeo Adachi
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computable functions,Machine theory
رده :
QA
9
.
59
.
A4
Foundations of Computation theory
پدیدآورنده: Adachi, Akeo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
A32
1990b
Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده: Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
Foundations of computer science: from data manipulation to theory of computation
پدیدآورنده: / Behrouz A. Forouzan with Sophia Chung Fegan
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: کامپیوتر
رده :
QA
۷۶
/
ف
۴
ف
۲ ۱۳۸۲
Functions of matrices : theory and computation
پدیدآورنده: Higham, Nicholas J., 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Matrices,، Functions,، Factorization )Mathematics(
رده :
QA
188
.
H53F8
Fundamentals of Computation Theory
پدیدآورنده: / Olaf Owe, Martin Steffen, Jan Arne Telle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Fundamentals of Computation Theory
پدیدآورنده: \ Adrian Kosowski , Igor Walukiewicz (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Software engineering.,Computer science -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,علوم کامپیوتر -- کنگره‌ها
رده :
QA
76
.
76
.
F8
2015
E-Book
,
Fundamentals of Computation Theory
پدیدآورنده: / Adrian Kosowski, Igor Walukiewicz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Fundamentals of Computation Theory :
پدیدآورنده: edited by Ferenc Gécseg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computation by Abstract Devices,Computer Science,Computer science.
Fundamentals of Computation Theory
پدیدآورنده: / Leszek Gsieniec, Frank Wolter
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Konferenzschrift
Fundamentals of computation theory
پدیدآورنده: / Horst Reichel, ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing- Congresses
رده :
QA76
.
5
.
I5455
1995
Fundamentals of computation theory :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ;
Fundamentals of computation theory :
پدیدآورنده: Olaf Owe, Martin Steffen, Jan Arne Telle (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses
رده :
QA75
.
5
Fundamentals of computation theory
پدیدآورنده: / edited by Marek Karpinski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Recursion theory -- Congresses,Computational complexity -- Congresses,Machine theory -- Congresses,Categories (Mathematics) -- Congresses
رده :
QA
9
.
6
.
I57
1977
Fundamentals of computation theory :
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
Fundamentals of computation theory :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ;
Fundamentals of computation theory :
پدیدآورنده: L. Budach, R.G. Bukharajev, O.B. Lupanov, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing-- Congresses.
رده :
QA75
.
5
.
I614
1987
Fundamentals of computation theory
پدیدآورنده: / J. Csirik, J. Demetrovics, eds
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Electronic data processing -- Congresses,Computational complexity -- Congresses
رده :
QA
75
.
5
.
I573
1989
Fundamentals of computation theory : International Conference, FCT'89, Szeged, Hungary, August 21-25, 1989 : proceedings
پدیدآورنده :
موضوع : ، Electronic data processing-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Fundamentals of computation theory : Proceedings : International Conference FCT'89, Szeged, Hungary, August 21-25, 1989
پدیدآورنده: J. Csirik, J. Demetrovics, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
380
Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977
پدیدآورنده: / edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses
رده :
QA267
.
I57
1977
Fundamentals of computation theory : Proceedings]of the International Conference FCT'87, Kazan, USSR, June 22-26, 1987
پدیدآورنده: L. Budach, R.G. Bukharajev, O.B. Lupanov, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
278
Fundamentals of computation theory, proceedings of the 1981 International FCT-Conferece, Szeged, August 2428, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1981
Fundamentals of computation theory, proceedings of the 1981 International FCT-Conferece, Szeged, August 2428, 1981
پدیدآورنده: / Edited by Ference Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Machine thoery - Congresses,Computational complexity - Congresses
رده :
QA267
.
I57
1981
Fundamentals of computation theory; proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, 19-23 Sept 1977
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Recursive Functions
رده :
QA
248
.
5
.
I5
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
پدیدآورنده: edited by Ferenc Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
117
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24-28, 1981
پدیدآورنده: edited by Ferenc Gecseg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
117
Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده: L. Budach, ed,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic data processing - Congresses,Computational complexity - Congresses
رده :
QA
.
I573
75
.
5
1991
Fundamentals of computation theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : International Conference, FCT '19, )8th, 1991, Gosen, Brandenburg, Germany(
موضوع : ، Electronic data processing - Congresses,، Computational complexity - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده: L. Budach, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
529
Fundamentals of computation theory : 12th International Symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings
پدیدآورنده: Gabriel Ciobanu, Gheorghe Paun )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1684
Fundamentals of computation theory : 11th International Symposium, FCT'97, Krakow, Poland, September 1-3, 1997 : proceedings
پدیدآورنده: Bogdan S. Chlebus, Ludwik Czaja, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1279
Fundamentals of computation theory : 15th International Symposium, FCT 2005, Lubeck, Germany, August 17-20, 2005 : proceedings
پدیدآورنده: Maciej Liskiewicz, Rudiger Reischuk )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
3623
Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmo, Sweden, August 12-15, 2003 : proceedings
پدیدآورنده: Andrzej Lingas, Bengt J. Nilsson )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2751
Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 2001 : proceedings
پدیدآورنده: Rusins Freivalds )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
2138
Fundamentals of the theory of computation :
پدیدآورنده: Raymond Greenlaw, H. James Hoover
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms,Computer science
رده :
QA76
.
G715
1998
In Search of Elegance in the Theory and Practice of Computation
پدیدآورنده: / Chiew Tan, Michael Fourman-Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Introducing the theory of computation
پدیدآورنده: / Wayne Goddard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Machine theory,Computational complexity
رده :
511
.
35
G578i
Introducing the theory of computation
پدیدآورنده: / Wayne Goddard.
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Machine theory.,Computational complexity.
رده :
QA
267
.
G57
2008
Introducing the theory of computation
پدیدآورنده : Wayne Goddard
موضوع : Machine theory,Computational complexity
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Introducing the theory of computation
پدیدآورنده: Goddard, Wayne )Wayne Dean(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
G57
Introduction to Languages and the Theory of Computation (4th Edition)
پدیدآورنده: / John Martin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
Introduction to languages and the theory of computation
پدیدآورنده: / John C. Martin
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Sequential machine theory,Computable functions
رده :
QA267
.
5
.
S4M29
2003
Introduction to languages and the theory of computation
پدیدآورنده: / John C. Martin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Sequential machine theory,Computable functions
رده :
QA
267
.
5
.
S4
M29
1996
Introduction to languages and the theory of computation
پدیدآورنده: Martin, John C.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Sequential machine theory , Computable functions
رده :
QA
267
.
5
.
S4
M29
1997
Introduction to languages and the theory of computation
پدیدآورنده: Martin, John C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Sequential machine theory,Computable functions
رده :
QA
267
.
5
.
S4
M29
1991
Introduction to languages and the theory of computation
پدیدآورنده: / John C. Martin
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Sequential machine theory,Computable functions
رده :
QA
276
.
5
.
S4M29
1991
Introduction to languages and the theory of computation
پدیدآورنده: Martin, John Calhoun, 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Computable functions
رده :
QA
267
.
5
.
S4M3
1997
