921. Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings
پدیدآورنده : CAAP '83 ; edited by G. Ausiello and M. Protasi,Title
موضوع : Trees )Graph theory( - Data processing - Congresses,Data structures )Computer science( - Congresses,Computational complexity - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
922. Trends in computer algebra : International Symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
المؤلف: R. Janssen, ed
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
296
923. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
پدیدآورنده : R. Janssen, ed
موضوع : Algebra - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
924. Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
المؤلف: R. Janssen, ed
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
296
925. Trends in ring theory :
المؤلف: Vlastimil Dlab, László Márki, editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Rings (Algebra), Congresses
رده :
QA247
.
T74
1998
926. Trends in ring theory: ring theory conference, July 15-20, 1996, Miskolc, Hangery
المؤلف: / edited by Vlastimil Dlab and La Szlo Marki
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Rings(algebra)-- Congresses
رده :
512
.
4
R581T
927. Unconventional models of computation, UMC'2K :
المؤلف: I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
928. Unifying theories of programming :
المؤلف: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
929. Universal algebra and lattice theory
المؤلف: edited by Stephen D. Comer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Universal, Congresses,Lattice theory, Congresses
930. Universal algebra and lattice theory : Proceedings of the Fourth International Conference, held at Puebla, Mexico, 1982
المؤلف: edited by R. S. Freese and O. C. Garcia
المکتبة: (طهران)
موضوع: Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
3
.
L28
Vol
.
1004
931. Universal algebra and lattice theory : proceedings of a Conference held at Charleston, July 11-14, 1984
المؤلف: edited by Stephen D. Comer
المکتبة: (طهران)
موضوع: Congresses ، Algebra, Universal,Conference ، Lattice theory
رده :
QA
3
.
L28
Vol
.
1149
932. Universal algebra and lattice theory : proceedings of a conference held at Charleston, 11-14, 1984
المؤلف: edited by Stephen D. Comer
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
1
.
L4
v
.
1149
933. Universal algebra and lattice theory: proceedings of a conference held at Charleston, 11-14, 1984
پدیدآورنده :
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
934. Universal algebra and lattice theory : proceedings of the fourth international conference, held at Puebla, Mexico, 1982
پدیدآورنده : edited by R.S. Freese and O.C. Garcia
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
935. Universal algebra and lattice theory : proceedings of the fourth international conference, held at Puebla, Mexico, 1982
المؤلف: edited by R.S. Freese and O.C. Garcia
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
1
.
L4
v
.
1004
936. Universal algebra and lattice theory; proceedings of the fourth international conference held at puebla, Mexico, 1982
المؤلف: edited by R.S. Freese and O.C. Carcia
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
3
.
L28
no
.
1004
937. University algebra and lattic theory: Proceedings of a conference held at charleston, July 11-14, 1984
المؤلف: edited by Stephen D. Comer
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
3
.
L28
no
.
1149
938. Validation and verification of knowledge based systems :
المؤلف: edited by Anca Vermesan and Frans Coenen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
939. Vertex algebras and geometry /
المؤلف: Thomas Creutzig, Andrew R. Linshaw, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Geometry, Algebraic, Congresses.,Operator algebras, Congresses.,Vertex operator algebras, Congresses.,Geometry, Algebraic.,Nonassociative rings and algebras-- Lie algebras and Lie superalgebras-- Vertex operators; vertex operator algebras and related structures.,Operator algebras.,Quantum theory-- Groups and algebras in quantum theory-- Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, $W$-algebras and other current algebras and their representations.,Vertex operator algebras.
رده :
QA329
.
V47
2018
940. Web services and formal methods :
المؤلف: Marco Carbone, Jean-Marc Petit (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
