81. Computational Intelligence in Architecting Complex Engineering Systems : proceedings of the Artificial Neural Networks in Engineering Conference )ANNIE 2009( held November 2-4, 2009, in St. Louis, Missuri, U.S.A.
پدیدآورنده : editors, Cihan H. Dagli...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Systems engineering,Congresses ، Neural networks )Computer science(
رده :
QA
76
.
87
.
A784
2009
82. Computational Methods in Earthquake Engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Engineering geology. ; Computer science. ; Vibration. ; Engineering. ; Vibration, Dynamical Systems, Control. ; Computational Intelligence. ; Geotechnical Engineering. ; Computational Science and Engineering. ;
83. Computational Methods in Stochastic Dynamics
پدیدآورنده : / Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
84. Computational Methods in Stochastic Dynamics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Computer science. ; Vibration. ; Engineering. ; Vibration, Dynamical Systems, Control. ; Computational Intelligence. ; Computational Science and Engineering. ;
85. Computer-aided reasoning: an approach
پدیدآورنده : Kaufmann, Matt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Formal methods )Computer science(,، Sotware engineering,، Expert systems )Computer science(
رده :
QA
76
.
9
.
F67
.
K38
2000
86. Concurrency, graphs and model
پدیدآورنده : / Pierpaolo Degano, Rocco De Nicola, Josae Meseguer (Eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Rewriting systems (Computer science),Software engineering.,Computer multitasking.,Computer simulation.,Computer software--Verification,Computer programming.
87. Constraining Designs for Synthesis and Timing Analysi
پدیدآورنده : / by Sridhar Gangadharan, Sanjay Churiwala
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer science,Electronics,Systems engineering,Electronic books
رده :
E-BOOK
88. Construction and Evolution of Code Generators :
پدیدآورنده : by Sven Jörges.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information systems.,Software engineering.
رده :
QA76
.
76
.
G46
B978
2013
89. Cooperating Heterogeneous Systems
پدیدآورنده : by David G. Schwartz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
90. Cooperative Interfaces to Information Systems
پدیدآورنده : edited by Leonard Bolc, Matthias Jarke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
55
E358
1986
91. Cutting-Edge Research Topics on Multiple Criteria Decision Making :
پدیدآورنده : edited by Yong Shi, Shouyang Wang, Yi Peng, Jianping Li, Yong Zeng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information systems.,Software engineering.
92. 3D Video Coding for Embedded Device
پدیدآورنده : / by Bruno Zatt, Muhammad Shafique, Sergio Bampi, J?╢rg Henkel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer science,Electronics,Systems engineering,Electronic books
رده :
E-BOOK
93. Das PLM-Kompendium
پدیدآورنده : Ulrich Sendler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Industrial management.,Information Systems,Technology.,Computer science.,Engineering Data Management,Industrial management.,Integriertes Management,Lebenszyklus.,Produkt.,Produktlebenszyklus,Produktmanagement.,Technology.
رده :
QA76
.
9
.
M3
94. Data Acquisition System
پدیدآورنده : / by Maurizio Di Paolo Emilio
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer science,Systems engineering,Electronic books
رده :
E-BOOK
95. Datenbanksysteme in Büro, Technik und Wissenschaft :
پدیدآورنده : herausgegeben von H.-J. Schek, G. Schlageter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
9
.
D3
H473
1987
96. Design, Analysis and Test of Logic Circuits Under Uncertaint
پدیدآورنده : / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer hardware,Computer science,Logic design,Operating systems (Computers),Algebra, Data processing,Systems engineering,Electronic books
رده :
E-BOOK
97. Design Science at the Intersection of Physical and Virtual Design :
پدیدآورنده : edited by Jan Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information systems.,Software engineering.
رده :
QA76
.
9
.
S88
E358
2013
98. Design by Composition for Rapid Prototyping
پدیدآورنده : by Michael Binnard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Engineering design.,Engineering.,Systems theory.
99. Designing 2D and 3D network-on-chip architectures
پدیدآورنده : Konstantinos Tatas [and three others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network architectures.,Computer science.,Electronics.,Systems engineering.
100. Developing expert CAD systems
پدیدآورنده : Begg, Vivienne
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Engineering design,، Expert systems )Computer science(,، Computer-aided design
رده :
TA
174
.
B43
1984
