101. EUROCAL'87: European Conference on Computer Algebra : Leipzig, GDR, June 2-5, 1987: Proceedings
پدیدآورنده : J.H. Davenport, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
378
102. EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
پدیدآورنده : J.H. Davenport )ed.(
موضوع : Data processing -- Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
103. EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
پدیدآورنده : European Conference on Computer Algebra)7891 :Leipzig, Germany(, J.H. Davenport )ed.(
موضوع : ، Algebra- Data processing- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
104. EUROCAL'85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : Proceedings
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
203-204
105. EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
پدیدآورنده : Title
موضوع : Algebra - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
106. EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
107. EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده : edited by John Fitch
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
174
108. EUROSAM 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Data processing Congresses ، Algebra
رده :
QA
155
.
7
.
E4
.
I57
1984
109. EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده : edited by John Fitch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
174
110. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
111. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
112. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
113. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
114. Groups and computation
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Group theory -- Data processing -- Congresses,Algebra -- Data processing -- Congresses
رده :
QA
.
D36
,
G76
174
.
7
1993
115. Groups and computation: Workshop on Groups and computation october 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Group theory - Data processing - Congresses,، Algebra - Data processing congresses
رده :
QA
174
.
7
.
D36
G7
116. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Group theory,Data processing --Congresses ، Algebra
رده :
QA
174
.
7
.
D36D55
1991
117. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Data processing -- Congresses ، Group theory,Data processing -- Congresses ، Algebra
رده :
QA
174
.
7
.
D36
G76
1993
118. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Group theory - Data processing - Congresses , Algebra - Data processing - Congresses
رده :
QA
174
.
7
.
D36
G76
1991
119. Information technology and applied mathematics :
پدیدآورنده : Peeyush Chandra [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Cryptography.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Cryptography.
رده :
QA76
.
9
.
M35
120. Intelligent computer mathematics
پدیدآورنده : / Serge Autexier ... [et al] (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010
