121. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6


122. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996


123. Graph-theoretic concepts in computer science :
Author: Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
Classification :
QA166


124. Graphs and discovery
Author: Siemion Fajtlowicz ... [et al.]&, editors
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
Classification :
QA
,
166
,.
G7354
,
2005


125. Graphs and discovery
Author: Siemion Fajtlowicz ... ]et al.[, editors
Library: Vali Asr University Central Library (Kerman)
Subject: Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
Classification :
QA
166
.
G7354
2005


126. Graphs and discovery: DIMACS working group, computer-generated conjectures from graph theoretic and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University: DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Graph theory-- Data processing,Congresses ، Computer science-- Mathematics
Classification :
QA
166
.
G7354
2005


127. Graphs and discovery : DIMACS working group, computer-generated conjectures from graph theoretical and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University : DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
Author: Siemion Fajtlowicz... ]et al.[, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Graph theory,Congresses ، Computer science -- Mathematics
Classification :
QA
166
.
D544
2001


128. High performance Computing for Computational Science -- VECPAR 2014
Author: \ [edited by] Michel Dayde, Osni Marques, Kengo Nakajima.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: High performance computing -- Congresses.,Computer science -- Mathematics -- Congresses.,Mathematics of Computing.,دادهپردازی با بازدهی عالی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
88
.
H5
2015
E-Book
,


129. High performance computing for computational science -- VECPAR 2018 :
Author: Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,High performance computing, Congresses.,Computer science-- Mathematics.,High performance computing.
Classification :
QA76
.
88
V43
2018eb


130. High performance networking, computing, communication systems, and mathematical foundations: International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، High performance computing,Congresses ، Computer science-- Mathematics
Classification :
QA
76
.
88
.
I58
2009


131. Information recovery and discovery
Author: editors : Institute of Mathematics for Industry, Kyushu University
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Data recovery )Computer science(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
9
.
D348F6
2012


132. Information technology and applied mathematics :
Author: Peeyush Chandra [and others], editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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.
Classification :
QA76
.
9
.
M35


133. Information technology and applied mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

134. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
9
.
M35
.
I567
1995


135. Intelligent Computer Mathematics
Author: \ [Edited by] Manfred Kerber...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Artificial intelligence -- Mathematics -- Congresses,کامپیوتر -- ریاضیات -- کنگره ها,هوش مصنوعی -- ریاضیات -- کنگره ها
Classification :
QA76
.
9
.
M35I58
2015
E-Book
,


136. Intelligent Computer Mathematics
Author: \ [Edited by] Herman Geuvers...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses. ,Artificial intelligence -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها,هوش مصنوعی -- ریاضیات -- کنگره ها
Classification :
E-Book
,

137. Intelligent Computer Mathematics
Author: \ Michael Kohlhase ... [et.al], (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses,Artificial intelligence -- Mathematics,علوم کامپیوتر -- ریاضیات -- کنگرهها,هوش مصنوعی -- ریاضیات
Classification :
E-Book
,

138. Intelligent computer mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

139. Intelligent computer mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;

140. Intelligent computer mathematics :
Author: Cezary Kaliszyk [and 3 others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
C53
2019

