Industrial used of formal method : formal verification /

Published 2012

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

Published 2015

Turbulence

by Bailly, Christophe, Comte-Bellot, Geneviève
Published 2015

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

Published 2016

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

Published 2016

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

Published 2016

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

by Barreira, Eva, de Freitas, Vasco Peixoto
Published 2016

Topics in Numerical Partial Differential Equations and Scientific Computing

Published 2016

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

Published 2015

INS/CNS/GNSS Integrated Navigation Technology

by Quan, Wei, Li, Jianli, Gong, Xiaolin, Fang, Jiancheng
Published 2015

Stochastic Petri Nets Modelling, Stability, Simulation /

by Haas, Peter J.
Published 2002

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

by Schlick, Tamar
Published 2010

Run-time Models for Self-managing Systems and Applications

Published 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...

Published 2014

Tactile Score A Knowledge Media for Tactile Sense /

by Suzuki, Yasuhiro, Suzuki, Rieko
Published 2014

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

Published 2007

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

by Mohan, Ned
Published 2014

OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling /

by Sachse, Agnes, Nixdorf, Erik, Jang, Eunseon, Rink, Karsten, Fischer, Thomas, Xi, Beidou, Beyer, Christof, Bauer, Sebastian, Walther, Marc, Sun, Yuanyuan, Song, Yonghui
Published 2017

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

Published 2017

Advances in Social Simulation 2015

Published 2017