141. Extreme man-made and natural hazards in dynamics of structures /
پدیدآورنده : edityed by Adnan Ibrahimbegovic and Ivica Kozar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hazard mitigation, Congresses.,Natural disaster warning systems, Congresses.,Structural analysis (Engineering), Congresses.,Structural dynamics, Congresses.,Hazard mitigation.,Hazard mitigation.,Natural disaster warning systems.,Natural disaster warning systems.,Physique.,Structural analysis (Engineering),Structural analysis (Engineering),Structural dynamics.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Structural.
رده :
TA654
.
N35
2006eb
142. FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
پدیدآورنده : editors, Tiziana Margaria & Mieke Massink; sponsored by ACM SIGSOFT
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
F67I53
2005
143. Flexible assembly systems-1989: presented at the 1989 ASME design Technical conferences, 1st Conference on flexible Assembly Systems,Montreal, Quebec, Canada, September 17-21, 1989
پدیدآورنده : sponsored by the Design Engineering Division, ASME; edited by D.P. Sathyadev
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Line methods - Congresses ، Assembly,Congresses ، Robots, Industrial,Congresses ، Automation
رده :
TS
178
.
4
.
C66
1989
144. Flexible automation and intelligent manufacturing, 1995 : proceedings of the Eighth International FAIM Conference, Fraunhofer Institute for Manufacturing Engineering and Automation, IPA; Institute of Industrial Manufacturing and Management, University of Stuttgart, June 28-30, 1995
پدیدآورنده : editors, Rolf D. Schraft, ...]et. al[
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Automation,Congresses ، Flexible manufacturing systems,Congresses ، Computer integrated manufacturing systems
رده :
T
59
.
5
.
I5714
1995
145. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
146. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
147. Formal methods for industrial critical systems :
پدیدآورنده : Darren Cofer, Alessandro Fantechi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
9
.
F67
I594
2008eb
148. Formal methods for industrial critical systems :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
149. Formal methods for industrial critical systems :
پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2011
150. Formal methods for industrial critical systems
پدیدآورنده : Mariëlle Stoelinga, Ralf Pinger (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I594
2012eb
151. Foundations of biochemical engineering :
پدیدآورنده : Harvey W. Blanch, editor, E. Terry Papoutsakis, editor, Gregory N. Stephanopoulos, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biochemical engineering, Congresses.,Biochemistry.,Chemical Engineering.
رده :
TP248
.
3
.
A48
1982
152. Frontiers of assembly and manufacturing :
پدیدآورنده : Sukhan Lee, Raúl Suárez, and Byung-Wook Choi, [editors].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Assembly-line methods, Congresses.,Industrial engineering, Congresses.,Manufacturing processes-- Automation, Congresses.,Assembly-line methods.,Industrial engineering.,Ingénierie.,Manufacturing processes-- Automation.
رده :
TS178
.
4
.
I34
2010
153. Functional thinking for value creation :
پدیدآورنده : Jürgen Hesselbach, Christoph Herrmann, Editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Industrial engineering, Congresses.,Industrial engineering.,Ingénierie.,TECHNOLOGY & ENGINEERING-- Industrial Engineering.
رده :
T55
.
45
.
I58
2011
154. Fuzzy techniques :
پدیدآورنده : editors, Ralph Baker Kearfott, Ildar Batyrshin, Marek Reformat, Martine Ceberio and Vladik Kreinovich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy systems, Congresses.,COMPUTERS / General.,Fuzzy systems.
رده :
QA402
155. Geo-environmental issues facing the Americas : proceedings of a workshop
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Economic development-- Environmental aspects-- Latin America-- Congresses,، Environmental geotechnology-- Latin America-- Congresses
رده :
TD
195
.
E25
.
G46
1995
156. Geotechnical frontiers 2017.dollar5Foundations :
پدیدآورنده : sponsored by Industrial Fabrics Association International, Geo-Institute of the American Society of Civil Engineers ; edited by Thomas L. Brandon, Richard J. Valentine.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bridges-- Foundations and piers, Congresses.,Foundations-- Design and construction, Congresses.,Geotechnical engineering, Congresses.,Offshore structures-- Foundations, Congresses.,Piling (Civil engineering), Congresses.,Scour and fill (Geomorphology), Congresses.,Soil mechanics, Congresses.,Bridges-- Foundations and piers.,Foundations-- Design and construction.,Geotechnical engineering.,Offshore structures-- Foundations.,Piling (Civil engineering),Scour and fill (Geomorphology),Soil mechanics.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TA775
.
G44
2017
157. Getting robots and automation systems to work: appraisal, installation, maintenance, and safety
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Robots, Industrial-- Congresses,، Automation-- Congresses
رده :
TS
191
.
8
.
G4
158. Green intelligent transportation systems :
پدیدآورنده : Wuhong Wang, Klaus Bangler, Xiaobei Jiang, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Green technology, Congresses.,Intelligent transportation systems, Congresses.,Automotive Engineering.,Industrial and Production Engineering.,Transportation Technology and Traffic Engineering.,Transportation.,Automotive technology & trades.,BUSINESS & ECONOMICS / Industries / Transportation.,Green technology.,Highway & traffic engineering.,Intelligent transportation systems.,Power generation & distribution.,Production engineering.,TRANSPORTATION / Public Transportation.
رده :
TE228
.
3
159. Human error, safety and systems development :
پدیدآورنده : edited by Chris W. Johnson, Philippe Palanque.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Accidents-- Human factors, Congresses.,Industrial safety-- Technological innovations, Congresses.,Industrial safety, Congresses.,Industrial safety.,TECHNOLOGY & ENGINEERING-- Industrial Health & Safety.
رده :
T55
.
A1
I39
2004eb
160. Human factors in alarm design /
پدیدآورنده : edited by Neville Stanton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electric alarms-- Psychological aspects, Congresses.,Human engineering, Congresses.,Human-machine systems, Congresses.,Design, konferenser.,Electric alarms-- Psychological aspects.,Ergonomi, konferenser.,Human engineering.,Human-machine systems.,Larmsystem-- psykologiska aspekter, konferenser.,TECHNOLOGY & ENGINEERING-- Industrial Health & Safety.
رده :
TK7241
.
H86
1994eb
