261. Problem solving with computers
پدیدآورنده : Calter, Paul
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,Computer programs ، Engineering
رده :
TA
345
.
C35
262. Problem solving with computers
پدیدآورنده : CALTER,PAUL
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
TA
345
.
C35
263. Problem solving with computers
پدیدآورنده : / Paul Calter
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic data processing - Engineering,Electronic data processing - Mathematics
رده :
620
.
002854
C166p
264. Problems and methodologies in mathematical software production; International Seminar held at Sorrento, Italy, November 3-8, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
I521
1980
265. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
266. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
267. Reactive Search and Intelligent Optimization
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Electronic data processing. ; Artificial intelligence. ; Operations research. ;
268. SIAM journal on computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic data processing- Periodicals,Mathematics- Periodicals
رده :
QA
،
76
،.
S555
269. Schaum's outline of theory and problems of essential computer mathematics
پدیدآورنده : / Seymour Lipschutz,Lipschutz
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Electronic data processing -- Mathematics -- Problems, exercises, etc.
رده :
004
.
0151
L767S
270. Schaum s outline of theory and problems of essential computer mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Mathematics - Problems, exercises, etc , Electronic data processing - Mathematics - problems, exercises, etc
رده :
QA
43
.
L669
271. Schaum's outline of theory and problems of essential computer mathematics
پدیدآورنده : / by Seymour Lipschutz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics - Problems, exercises, etc,Electronic data processing - Mathematics - Problems, exercises, etc
رده :
519
.
4
L767Se
272. Schaum`s outline of theory and Problems of essential computer Mathematics
پدیدآورنده : / Seymor Lipschutz,D.,Lipschutz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Mathematics -- Problems, exercises, etc,Electronic Data processing -- Mathematics-- Problems, exercices, etc
رده :
QA
43
.
L669
273. Scientific computing with automatic result verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing,، Computer science-- Mathematics
رده :
QA
76
.
S368
1993
274. Scientific computing with automatic result verification
پدیدآورنده : edited by E. Adams, U. Kulisch
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic data processing,، Computer science -- Mathematics
رده :
QA
76
.
S36
1993
275. Shadowing in Dynamical Systems
پدیدآورنده : by Ken Palmer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Differential Equations.,Electronic data processing.,Mathematics.
276. Simple digital computing examples
پدیدآورنده : Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
277. Solution of large networks by matrix methods
پدیدآورنده : Brown, Homer E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Electric networks ، Electronic data processing,، Short circuits,، Matrices,Mathematics ، Electric engineering
رده :
TK
3226
.
B763
278. Stochastic Optimization: Algorithms and Applications
پدیدآورنده : edited by Stanislav Uryasev, Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
279. Studies in computer science
پدیدآورنده : POLLACK,SEYMOUR V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-ADDRESSES, , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MATHEMATICS-DATA PROCESSING-
رده :
QA
76
.
24
.
S78