101. 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
102. 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
103. 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
104. 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
105. 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
106. 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
107. 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
108. 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
109. 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
110. 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
111. 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
112. 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
113. Intelligent computer mathematics :
پدیدآورنده : Cezary Kaliszyk [and 3 others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
C53
2019
114. LATIN 2018 :
پدیدآورنده : Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
رده :
QA75
.
5
115. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
116. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
117. Pattern Recognition and Image Analysis :
پدیدآورنده : edited by Francisco Jos Perales, Aurio J.C. Campilho, Nicols Pez Blanca, Alberto Sanfeliu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Image processing -- Congresses.,Optical pattern recognition -- Congresses.,Text processing (Computer science) -- Congresses.
118. Reality and measurement in algebraic quantum theory :
پدیدآورنده : Masanao Ozawa, Jeremy Butterfield, Hans Halvorson, Miklós Rédei, Yuichiro Kitajima, Francesco Buscemi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum theory, Congresses.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC173
.
96
119. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
