441. Manufacturing science and engineering, 1997 : presented at the 1997 ASME International Mechanical Engineering Congress and Exposition, Nov. 16-21, 1997, Dallas, Texas
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Production engineering-- Congresses,، Manufacturing processes-- Congresses,، Industrial engineering-- Congresses,، Computer integrated manufacturing systems-- Congresses
رده :
TS
176
.
M36243
1997
442. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
443. Mathematical and Control application in agricuture and horticulture: proceedings of the IEAC/ISHS Workshop , Matsuyama,Japan, 30 September-30 october 1991
پدیدآورنده : edited by Y.Hashimoto and W. Day. oxford, England
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Horticulture--Mathematical models,Horticultures--Automation,Horticulture--Computer simulation,Greenhouses--Environmental engineering,Greenhouse-Automation-Congresses,Agriculture - Automation - Congresses,Agriculture - Mathematical models
رده :
SB
317
.
53
.
M38
1991
444. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
445. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
446. Mathematical and engineering methods in computer science
پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
447. Maximum Entropy and Bayesian Methods :
پدیدآورنده : edited by Kenneth M. Hanson, Richard N. Silver.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Maximum entropy method -- Congresses.,Statistics.
448. Mechanical engineering and technology
پدیدآورنده : Tianbiao Zhang (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : CAD/CAM systems, Congresses,Computer-aided engineering, Congresses,Mechanical engineering, Congresses
رده :
TJ5
.
I58
2011eb
449. Mechatronics engineering and electrical engineering :
پدیدآورنده : editor Ai Sheng (Information Science and Engineering Technology Research Association (ISET), Hong Kong, China).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering, Congresses.,Electrical engineering, Congresses.,Mechatronics, Congresses.
450. Microcomputer knowledge-based expert systems in civil engineering :proceedings of a symposium
پدیدآورنده : sponsored by the Structural Division of the American Society of Civil Engineers in conjunction with the ASCE National Convention, Nashville, Tennessee, May 01-11, 8891; edited by Hojjat Adeli
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Civil engineering,Congresses ، Expert systems )Computer science(,Congresses ، Microcomputers
رده :
TA
345
.
M486
1988
451. Microcomputer knowledge-based expert systems in civil engineering : proceedings of a symposium
پدیدآورنده : sponsored by the Structural Division of the American Society of Civil Engineers in conjunction with the ASCE National Convention, Nashville, Tennessee, May 01-11, 8891 ; edited by Hojjat Adeli
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Data processing Congresses ، Civil engineering,Congresses ، Expert systems )Computer science(,Congresses ، Microcomputers
رده :
TA
345
.
M486
1988
452. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
453. Model-based engineering of embedded real-time systems
پدیدآورنده : Holger Giese ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses
454. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
پدیدآورنده : Holger Giese ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
رده :
TK
7895
.
E42M624
2007
455. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
456. Model order reduction
پدیدآورنده : / Wilhelmus H.A. Schilders, Henk A. van der Vorst, Joost Rommes, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering mathematics, Congresses,Computer engineering, Congresses,Control theory, Congresses,Numerical analysis, Congresses,Algebras, Linear, Congresses
رده :
TA347
.
L5
,
M63
2008
457. Modelling Foundations and Applications.
پدیدآورنده : \ Gabriele Taentzer , Francis Bordeleau (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Software engineering.,مهندسی به کمک نرم افزار کامپیوتر -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
M6
2015
E-Book
,
458. Modelling and implementation of complex systems :
پدیدآورنده : editors Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saidouni.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer algorithms, Congresses.,Computer science, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer algorithms.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software engineering.
رده :
QA75
.
5
459. Modelling foundations and applications
پدیدآورنده : Antonio Vallecillo ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2012eb
460. Modelling foundations and applications
پدیدآورنده : Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2013
