101. Future tendencies in computer science, control, and applied mathematics :
پدیدآورنده : A. Bensoussan, J.-P. Verjus (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
102. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L28
Vol
.
653
103. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L4
v
.
653
104. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
رده :
QA
76
.
5
.
I5484
1992
105. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
106. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
107. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
108. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
109. Graph-theoretic concepts in computer science :
پدیدآورنده : Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : 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.
رده :
QA166
110. Graphs and discovery
پدیدآورنده : Siemion Fajtlowicz ... ]et al.[, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
رده :
QA
166
.
G7354
2005
111. Graphs and discovery
پدیدآورنده : Siemion Fajtlowicz ... [et al.]&, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Graph theory- Data processing- Congresses,Computer science- Mathematics- Congresses
رده :
QA
,
166
,.
G7354
,
2005
112. 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
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Graph theory-- Data processing,Congresses ، Computer science-- Mathematics
رده :
QA
166
.
G7354
2005
113. 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
پدیدآورنده : Siemion Fajtlowicz... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Graph theory,Congresses ، Computer science -- Mathematics
رده :
QA
166
.
D544
2001
114. High performance Computing for Computational Science -- VECPAR 2014
پدیدآورنده : \ [edited by] Michel Dayde, Osni Marques, Kengo Nakajima.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : High performance computing -- Congresses.,Computer science -- Mathematics -- Congresses.,Mathematics of Computing.,داده‌پردازی با بازدهی عالی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
88
.
H5
2015
E-Book
,
115. High performance computing for computational science -- VECPAR 2018 :
پدیدآورنده : Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,High performance computing, Congresses.,Computer science-- Mathematics.,High performance computing.
رده :
QA76
.
88
V43
2018eb
116. High performance networking, computing, communication systems, and mathematical foundations: International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، High performance computing,Congresses ، Computer science-- Mathematics
رده :
QA
76
.
88
.
I58
2009
117. Information recovery and discovery
پدیدآورنده : editors : Institute of Mathematics for Industry, Kyushu University
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Data recovery )Computer science(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
D348F6
2012
118. 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
119. Information technology and applied mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
120. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
M35
.
I567
1995
