41. Computational systems bioinformatics
پدیدآورنده :
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Bioinformatics- Congresses,Computational biology- Congresses,Biological systems- Computer simulation- Congresses,Biological systems- Simulation methods- Congresses
42. Computer methods in biomechanics
پدیدآورنده : edited by J. Middleton, M.L. Jones, and G.N. Pande
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Human mechanics- Computer simulation- Congresses,Biomedical engineering- Computer simulation- Congresses,Biomechanics- congresses,Computing Methodologies- congresses,Biomedical Engineering- methods- congresses
رده :
612
,.
760113
,
C545
,
1996
43. Crashworthiness and occupant protection in transportation systems, 1991 : presented at the Winter Annual Meeting of the American Society of Mechanical Engineers, Atlanta, Georgia, December 1-6, 1991
پدیدآورنده : sponsored by the Transportation Committee of the Applied Mechanics Division, ASME, the Bioengineering Division, ASME ; edited by T.B. Khalil ...]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Motor vehicles - Crashworthiness - Simulation methods - Congresses, Finite element method - Congresses, Motor vehicles - Safety measures - Congresses
رده :
TL
242
.
C74
1991
44. Diagrammatic representation and inference
پدیدآورنده : Philip Cox, Beryl Plimmer, Peter Rodgers (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer graphics, Congresses,Computer simulation, Congresses,Graphic methods, Congresses
رده :
QA90
.
D53
2012eb
45. Earthquakes
پدیدآورنده : dited by Kristy F. Tiampo, Dion K. Weatherley, Stuart A. Weinstein
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Seismology, Data processing, Congresses,Earthquakes, Computer simulation, Congresses,Seismology, Statistical methods, Congresses
رده :
QE
.
D36
,
E38
539
.
2
2008
46. Earthquakes
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Seismology ; Data processing ; Congresses. ; Earthquakes ; Computer simulation ; Congresses. ; Seismology ; Statistical methods ; Congresses. ;
47. Ecological models for regulatory risk assessments of pesticides :
پدیدآورنده : edited by Pernille Thorbek [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ecological risk assessment-- Simulation methods.,Pesticides-- Environmental aspects, Congresses.,Pesticides-- Risk assessment, Congresses.,Pesticides-- Environmental aspects.,Pesticides-- Risk assessment.
رده :
QH545
.
P4
E27
2010
48. Energy and ecological modelling: proceedings of a symposium held from 20-23 April 1981 at Louisville, Kentucky; sponsored by the International Society for Ecological Modelling, in cooperation with Ecological Society of America...]et al.[
پدیدآورنده : edited by W.J. Mitsch and R.W. Bosserman and J.M. Klopatek
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Environmental aspects - Simulation methods - Congresses ، Energy industries,Simulation methods - Congresses ، Ecology,Congresses ، Biological models
رده :
QH
545
.
E53
E53
49. Environmental Simulation Chambers
پدیدآورنده : \ edited by Ian Barnes and Krzysztof J. Rudzinski.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Atmospheric chemistry -- Environmental aspects -- Simulation methods -- Congresses,Air -- Pollution -- Congresses,شیمی جوی -- جنبههای زیست محیطی -- شبیهسازی -- کنگره ها,هوا -- آلودگی -- کنگرهها
رده :
E-Book
,
50. Environmental simulation chambers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Air ; Pollution ; Congresses. ; Atmospheric chemistry ; Environmental aspects ; Simulation methods ; Congresses. ;
51. Estimation and analysis of insect populations : proceedings of a conference held in Laramie, Wyoming, January 25-29, 1988
پدیدآورنده : L. McDonald...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Estimation theory,Congresses ، Insect populations,Congresses ، Simulation methods
رده :
QA
276
.
A1L28
Vol
.
55
52. Experimental and applied modeling of unsaturated soils
پدیدآورنده : edited by Laureano R. Hoyos, Xiong Zhang, Anand J. Puppala.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Soil mechanics-- Simulation methods, Congresses.,Soil moisture-- Measurement, Congresses.,Zone of aeration-- Simulation methods, Congresses.
53. Experimental and applied modeling of unsaturated soils :
پدیدآورنده : edited by Laureano R. Hoyos, Xiong Zhang, Anand J. Puppala
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Soil mechanics-- Simulation methods, Congresses,Soil moisture-- Measurement, Congresses,Zone of aeration-- Simulation methods, Congresses
رده :
TA710
.
A1
G368
2010b
54. Experimental and applied modeling of unsaturated soils
پدیدآورنده :
موضوع : Soil mechanics, Simulation methods, Congresses,Zone of aeration, Simulation methods, Congresses,Soil moisture, Measurement, Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
55. Experimental and applied modeling of unsaturated soils: proceedings of sessions of GeoShanghai 2010, June 3-5, 2010, Shanghai, China
پدیدآورنده : edited by Laureano R. Hoyos, Xiong Zhang, Anand J. Puppala
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Simulation methods -- Congresses ، Soil mechanics,Simulation methods -- Congresses ، Zone of aeration,Measurement -- Congresses ، Soil moisture
رده :
TA
710
.
A1
G368
2010
56. Formal modeling and analysis of timed systems :
پدیدآورنده : Joël Ouaknine, Frits W. Vaandrager (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2009eb
57. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
58. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
59. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
60. Formal modeling and analysis of timed systems
پدیدآورنده : Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb
