Industrial used of formal method : formal verification /

Έκδοση 2012

The Visual Language of Technique Volume 3 - Heritage and Expectations in Education /

Έκδοση 2015

Turbulence

ανά Bailly, Christophe, Comte-Bellot, Geneviève
Έκδοση 2015

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers /

Έκδοση 2016

Innovating with Concept Mapping 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings /

Έκδοση 2016

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation /

Έκδοση 2016

External Thermal Insulation Composite Systems (ETICS) An Evaluation of Hygrothermal Behaviour /

ανά Barreira, Eva, de Freitas, Vasco Peixoto
Έκδοση 2016

Topics in Numerical Partial Differential Equations and Scientific Computing

Έκδοση 2016

Information Systems for Crisis Response and Management in Mediterranean Countries Second International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015, Proceedings...

Έκδοση 2015

INS/CNS/GNSS Integrated Navigation Technology

ανά Quan, Wei, Li, Jianli, Gong, Xiaolin, Fang, Jiancheng
Έκδοση 2015

Stochastic Petri Nets Modelling, Stability, Simulation /

ανά Haas, Peter J.
Έκδοση 2002

Molecular Modeling and Simulation: An Interdisciplinary Guide An Interdisciplinary Guide /

ανά Schlick, Tamar
Έκδοση 2010

Run-time Models for Self-managing Systems and Applications

Έκδοση 2010

Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedin...

Έκδοση 2014

Tactile Score A Knowledge Media for Tactile Sense /

ανά Suzuki, Yasuhiro, Suzuki, Rieko
Έκδοση 2014

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Έκδοση 2007

Advanced electric drives : analysis, control, and modeling using MATLAB/Simulink /

ανά Mohan, Ned
Έκδοση 2014

OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling /

ανά Sachse, Agnes, Nixdorf, Erik, Jang, Eunseon, Rink, Karsten, Fischer, Thomas, Xi, Beidou, Beyer, Christof, Bauer, Sebastian, Walther, Marc, Sun, Yuanyuan, Song, Yonghui
Έκδοση 2017

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference...

Έκδοση 2017

Advances in Social Simulation 2015

Έκδοση 2017