61. Commutative algebra, singularities, and computer algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Commutative algebra,Congresses ، Singularities )Mathematics(,Congresses ، Algebra-- Data processing
رده :
QA
251
.
3
.
N38
2002
62. Compilation of papers presented at the Ninth Comparative Labor Law Seminar on February 19, 2008 at the Japan Institute for Labour Pol
پدیدآورنده : Japan Institute for Labour Policy and Training.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
63. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
64. Computational and information technologies in science, engineering and education :
پدیدآورنده : Yuri Shokin, Zhassulan Shaimardanov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Technology-- Computer simulation, Congresses.,Technology-- Mathematical models, Congresses.,Technology-- Computer simulation.,Technology-- Mathematical models.
رده :
T57
65. Computational biology : First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, Montpellier, France May 3-5, 2000 : selected papers
پدیدآورنده : Olivier Gascuel, Marie-France Sagot )eds.(
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Biology,Congresses ، Bioinformatics,Congresses ، Biomathematics
رده :
QA
76
.
L28
Vol
.
2066
66. Computational diffusion MRI :
پدیدآورنده : Enrico Kaden, Francesco Grusso, Lipeng Ning, Chantal M.W. Tax, Jelle Veraart, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Diffusion magnetic resonance imaging, Congresses.,Computational Biology/Bioinformatics.,Computational Mathematics and Numerical Analysis.,Image Processing and Computer Vision.,Mathematical and Computational Biology.,Mathematics.,Statistics for Life Sciences, Medicine, Health Sciences.,Diffusion magnetic resonance imaging.,Image processing.,Life sciences: general issues.,Maths for scientists.,NATURE-- Reference.,Numerical analysis.,Probability & statistics.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
RC386
.
6
.
M34
67. Computational intelligence, cyber security and computational models :
پدیدآورنده : Geetha Ganapathi, Arumugam Subramaniam, Manuel Graña, Suresh Balusamy, Rajamanickam Natarajan, Periakaruppan Ramanathan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computer security, Congresses.,Artificial Intelligence.,Computational Intelligence.,Image Processing and Computer Vision.,Mathematics of Computing.,Systems and Data Security.,Artificial intelligence.,Computational intelligence.,Computer security.,Computer security.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Image processing.,Mathematical theory of computation.
رده :
Q342
68. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
69. Computational topology in image context :
پدیدآورنده : Rebeca Marfil, Mariletty Calderón, Fernando Díaz del Río, Pedro Real, Antonio Bandera (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer vision, Congresses.,Image processing-- Digital techniques, Congresses.,Computer science-- Mathematics.,Computer vision.,Image processing-- Digital techniques.
رده :
TA1634
.
I58
2019eb
70. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
پدیدآورنده : E.M. Clarke, R.P. Kurshan )eds.(
کتابخانه: (طهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
QA
76
.
L28
Vol
.
531
71. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990
پدیدآورنده : E.M. Clarke, R.P. Kurshan editors
کتابخانه: (طهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
TK
7874
.
D55
1990
72. Computer algebra
پدیدآورنده : edited by David V. Chudnovsky, Richard D. Jenks
کتابخانه: (طهران)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
155
.
7
.
E4
C649
1989
73. Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers
پدیدآورنده : Hongbo Li, Peter J. Olver, Gerald Sommer )eds.(
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Geometry, Algebraic
رده :
QA
76
.
L28
Vol
.
3519
74. Computer algebra and parallelism
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra- Data processing- Congresses,Parallel programming )Computer science(- Congresses,Parallel processing )Electronic computers(- Congresses
75. Computer algebra in scientific computing
پدیدآورنده : Vladimir P. Gerdt ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses,Computer science-- Mathematics, Congresses,Science-- Data processing, Congresses
رده :
QA155
.
7
.
E4
I6
2012eb
76. Computer algebra in scientific computing :
پدیدآورنده : Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Science-- Data processing, Congresses
رده :
QA76
.
9
.
M35
I58
2013
77. Computer mathematics :
پدیدآورنده : editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
9
.
M35
A83
2001eb
78. Computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ; Mathematics ; Data processing ; Congresses. ;
79. Computer mathematics: proceedings of the Special Program at Nankai Institute of Mathematics, Tianjin, China, January-June 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Mathematics-- Data processing,Congresses ، Computer science-- Mathematics
رده :
QA
76
.
95
.
C637
1993
80. Computer supported education :
پدیدآورنده : Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
