441. The Mathematics of Language
پدیدآورنده : / ger, Jens MichaelisعChristian Ebert, Gerhard J
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
442. The R book /
پدیدآورنده : Michael J. Crawley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical statistics-- Data processing.,R (Computer program language)
رده :
QA276
.
45
.
R3
C73
2013
443. The STEAM revolution :
پدیدآورنده : Armida de la Garza, Charles Travis, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Interdisciplinary approach to knowledge.,Research.,Cultural studies.,Engineering: general.,Geography.,Interdisciplinary approach to knowledge.,PHILOSOPHY-- Methodology.,Project management.,Research.,Teaching of a specific subject.,The arts: general issues.
رده :
BD255
444. The design and analysis of computer algorithms /
پدیدآورنده : Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
445. The domain testing workbook /
پدیدآورنده : Cem Kaner, Sowmya Padmanabhan, Douglas Hoffman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming-- Testing.,Computer software-- Quality control.,Computer software-- Reliability.,Computer software-- Testing.,Quality assurance-- Testing.,Computer software-- Quality control.,Computer software-- Reliability.,Computer software-- Testing.
رده :
TS156
.
6
446. The engineering of numerical software
پدیدآورنده : Niller, Webb
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer programs ، Numerical analysis
رده :
QA
297
.
M527
1984
447. The engineering of numerical software
پدیدآورنده : Miller, Webb.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Numerical analysis - Computer programs
رده :
QA
297
.
M527
1984
448. The engineering of numerical software
پدیدآورنده : Miller, Webb
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Numerical analysis -- Computer programs
رده :
QA
297
.
M527
449. The introduction of adaptive social decision-making in the mathematical modelling of egress behaviour
پدیدآورنده : Gwynne, Steve
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : QA Mathematics; TH Building construction
450. The mathematics of urban morphology /
پدیدآورنده : Luca D'Acci, editor ; Foreword by Michael Batty.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cities and towns-- Mathematical models.,Complex Systems.,Mathematical Modeling and Industrial Mathematics.,Statistical Physics and Dynamical Systems.,Urban Geography-- Urbanism (inc. megacities, cities, towns).,Cities and towns-- Mathematical models.
رده :
HT153
451. The practice of enterprise modeling :
پدیدآورنده : Robert Andrei Buchmann, Dimitris Karagiannis, Marite Kirikova (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business enterprises-- Data processing, Congresses.,Business planning-- Simulation methods, Congresses.,Industrial organization-- Simulation methods, Congresses.,Information modeling, Congresses.,Information technology-- Management, Congresses.,Management information systems, Congresses.,Business & Economics-- Information Management.,Business enterprises-- Data processing.,Business mathematics & systems.,Business planning-- Simulation methods.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Industrial organization-- Simulation methods.,Information modeling.,Information retrieval.,Information technology-- Management.,Management information systems.,Public administration.,Software Engineering.
رده :
QA76
.
758
.
I35
2018
452. The proceedings of the 11th International CSI )Computer Society of Iran( Computer Conference, CSICC'2006, 24-26 January 2006, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics )IPM(, Tehran, Iran
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Computer architecture,، Artificial intelligence,، Software engineering
رده :
QA
76
.
I572
2006
453. The scaled boundary finite element method :
پدیدآورنده : by Chongmin Song.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Boundary element methods.,Finite element method.,Boundary element methods.,Finite element method.,MATHEMATICS-- Numerical Analysis.
رده :
QC20
.
7
.
F56
454. The stochastic perturbation method for computational mechanics /
پدیدآورنده : Marcin Kamiński
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering-- Statistical methods.,Perturbation (Mathematics)
رده :
TA340
455. Theoretical Physics on the Personal Computer
پدیدآورنده : by Erich W. Schmid, Gerhard Spitz, Wolfgang Lösch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering.,Mathematical physics.,Physics.
456. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
457. Thinking-driven testing :
پدیدآورنده : Adam Roman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
458. Time Series and Econometric Modelling :
پدیدآورنده : edited by Ian B. MacNeill, Gary J. Umphrey, Richard A. L. Carter, A. Ian McLeod, Aman Ullah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied mathematics.,Engineering mathematics.,Mathematics.
459. Transactions on Engineering Technologies :
پدیدآورنده : Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
460. Transactions on computational science XIV :
پدیدآورنده : Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Research,Voronoi polygons,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computer Graphics,Computer Science,Data Structures,Discrete Mathematics in Computer Science,Numeric Computing
رده :
QA76
.
27
.
T73
2011
