61. Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
المؤلف: / Gabriele Puppis
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Computer logic,Branching processes,Space and time,Machine theory
رده :
006
.
3
P984A
2010
62. Automata, logics, and infinite games
المؤلف: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
63. Automata, logics, and infinite games
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
64. Automata, logics, and infinite games
المؤلف: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
65. Automata, logics, and infinite games
المؤلف: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
66. Automata on infinite objects and Church's problem
المؤلف: Rabin, Michael Oser
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory,، Combinatorial analysis
رده :
QA
1
.
R33
no
.
13
67. Automata on infinite objects and church's problem
المؤلف: Rabin, Michael Oser, 1391-
المکتبة: (طهران)
موضوع: ، Machine theory,، Combinatorial analysis
رده :
QA
1
.
R33
no
.
13
68. Automata on infinite words
المؤلف: Ecole de printemps d'informatique theorique, Le Mont Dore, May 41-81, 4891 ; edited by M. Nivat and D. Perrin
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L4
v
.
192
69. Automata on infinite words
المؤلف: Ecole de printemps d'informatique theorique )4891: Le Mont-Dore, France(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory-- Congresses,، Word problems )Mathematics(-- Congresses
رده :
QA
267
.
E26
1984
70. Automata on infinite words : Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984
المؤلف: edited by M. Nivat and D. Perrin
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L28
Vol
.
192
71. Automatic verification of sequential infinite-state processes
المؤلف: Burkart, Olaf
المکتبة: (طهران)
موضوع: ، Computer software -- Verification,، Software engineering
رده :
QA
76
.
L28
Vol
.
1354
72. Awakening to infinite presence :
المؤلف: Robert Wolfe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Philosophy, Modern.,Spiritual life.,Spirituality.,Philosophy, Modern.,Spiritual life.,Spirituality.
73. Bombay lectures on highest weight representation of infinite dimensional lie algebras
پدیدآورنده : Kac, V.G.
موضوع : ، Lie algebras,، Representations of algebras
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
74. Bombay lectures on highest weight representations of infinite dimensional lie algebras
المؤلف: Kac, Victor G., 3491-
المکتبة: (طهران)
موضوع: ، Lie algebras,، Representations of algebras
رده :
QA
252
.
3
.
K213
1987
75. Bombay lectures on highest weight representations of infinite dimensional lie algebras
المؤلف: Kac, Victor G.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Lie algebras,، Representations of algebras
رده :
QA
252
.
3
.
K33
76. Bombay lectures on highest weight representations of infinite dimensional lie algebras
المؤلف: / by V G Kac, A K Raina
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Lie algebras,Quantum theory
77. Bombay lectures on highest weight representations of infinite dimensional lie algebras /
المؤلف: by V G Kac, A K Raina.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lie algebras.,Quantum theory.
رده :
QA252
.
3
.
K32
1987
78. Categories of symmetries and infinite dimensional groups
المؤلف: Yu A. Neretin; translated [from the Russian]& by G. G. Gould
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Lie algebra,Lie groups,Representation of groups
رده :
QA
,
252
.
3
,.
N47
,
1996
79. Chapter 9 of Ramanujan's second notebook : infinite series identities, transformations, and evaluations
المؤلف: Berndt, Bruce C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Series, Infinite,، Power series,، Transformations )Mathematics(
رده :
QA
295
.
B48
1983
80. Chapter 9 of Ramanujan's second notebook : infinite series identities, transformations, and evaluations
المؤلف: Berndt, Bruce Carl, 9391-
المکتبة: (طهران)
موضوع: ، Series, Infinite,، Power series,، Transformations )Mathematics(
رده :
QA
295
.
B47
