Computer simulation.

SystemVerilog for design : = a guide to using SystemVerilog for hardware design and modeling / by: (Language materials, printed)

Transactions on computational science XXXIX by: (Language materials, printed)

Models for research and understanding = exploring dynamic systems, unconventional approaches, and applications / by: (Language materials, printed)

Introduction to modeling and simulation with MATLAB and Python by: (Language materials, printed)

Evaluation of the Computer Fire Model DETACT-QS by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 8th International Conference, MESAS 2021, Virtual Event, October 13–14, 2021, Revised Selected Papers / by: (Language materials, printed)

Computational Engineering 2 = Theorie und Anwendungen im Bereich der Elektrodynamik / by: (Language materials, printed)

Simulation Tools and Techniques = 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by: (Language materials, printed)

Advances in Social Simulation = Proceedings of the 16th Social Simulation Conference, 20–24 September 2021 / by: (Language materials, printed)

Proceedings of the 2021 Conference of The Computational Social Science Society of the Americas by: (Language materials, printed)

Recent Trends and Advances in Model Based Systems Engineering by: (Language materials, printed)

Concise Guide to Optimization Models and Methods = A Problem-Based Test Prep for Students / by: (Language materials, printed)

Quality of Work-Life During Pandemic = Data Analysis and Mathematical Modeling / by: (Language materials, printed)

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. IV) by: (Language materials, printed)

3D Mesh Processing and Character Animation = With Examples Using OpenGL, OpenMesh and Assimp / by: (Language materials, printed)

Simulation of Additive Manufacturing using Meshfree Methods = With Focus on Requirements for an Accurate Solution / by: (Language materials, printed)

On Spatio-Temporal Data Modelling and Uncertainty Quantification Using Machine Learning and Information Theory by: (Language materials, printed)

Numerical Fluid Dynamics = Methods and Computations / by: (Language materials, printed)

Sophisticated Electromagnetic Forward Scattering Solver via Deep Learning by: (Language materials, printed)

Python for MATLAB Development = Extend MATLAB with 300,000+ Modules from the Python Package Index / by: (Language materials, printed)

Objektivierung des subjektiven Insassenempfindens bei längsdynamischen Beschleunigungsmanövern by: (Language materials, printed)

The Logic of Responsibility Voids by: (Language materials, printed)

Acoustics and Vibration of Mechanical Structures – AVMS-2021 = Proceedings of the 16th AVMS, Timişoara, Romania, May 28-29, 2021 / by: (Language materials, printed)

Luminescent Materials = A Quantum Chemical Approach for Computer-Aided Discovery and Design / by: (Language materials, printed)

The nth-Order Comprehensive Adjoint Sensitivity Analysis Methodology, Volume I = Overcoming the Curse of Dimensionality: Linear Systems / by: (Language materials, printed)

Prognostic Models in Healthcare: AI and Statistical Approaches by: (Language materials, printed)

NUMISHEET 2022 = Proceedings of the 12th International Conference and Workshop on Numerical Simulation of 3D Sheet Metal Forming Processes / by: (Language materials, printed)

Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science = ICMMCS 2021 / by: (Language materials, printed)

Modeling, Simulation and Optimization = Proceedings of CoMSO 2021 / by: (Language materials, printed)

14th Chaotic Modeling and Simulation International Conference by: (Language materials, printed)

Advances in Fluid Mechanics = Modelling and Simulations / by: (Language materials, printed)

Optical Polymer Waveguides = From the Design to the Final 3D-Opto Mechatronic Integrated Device / by: (Language materials, printed)

Nonlinear Dynamics of Nanobiophysics by: (Language materials, printed)

Advances in Solid and Fracture Mechanics = A Liber Amicorum to Celebrate the Birthday of Nikita Morozov / by: (Language materials, printed)

Digital Agriculture by: (Language materials, printed)

Modern Methods in Mathematical Physics = Integral Equations in Wolfram Mathematica / by: (Language materials, printed)

Designing Aircraft Simulators by: (Language materials, printed)

Detektion von magnetischen Störungen der elektrischen Fahrzeugkomponenten auf Basis einer Mustererkennung am Beispiel eines automatisierten Fahrzeugpositionierungssystems by: (Language materials, printed)

Dynamic Equivalent Modeling of Acoustic Metamaterials = Solving Problem of Noise and Vibration / by: (Language materials, printed)

Probing Non-Equilibrium Dynamics in Two-Dimensional Quantum Gases by: (Language materials, printed)

Methods and Applications for Modeling and Simulation of Complex Systems = 20th Asian Simulation Conference, AsiaSim 2021, Virtual Event, November 17–20, 2021, Proceedings / by: (Language materials, printed)

Programming4Modeling = Codes in Modellen auf Basis von Java und UML / by: (Language materials, printed)

Monte Carlo N-Particle Simulations for Nuclear Detection and Safeguards = An Examples-Based Guide for Students and Practitioners / by: (Language materials, printed)

Entanglement in Spin Chains = From Theory to Quantum Technology Applications / by: (Language materials, printed)

Recent Trends in Engineering Design = Select Proceedings of ICCEMME 2021 / by: (Language materials, printed)

Algorithmic Game Theory = 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by: (Language materials, printed)

Overhang Design Methods = Optimal Thermal and Daylighting Performance / by: (Language materials, printed)

Exploring Susceptible-Infectious-Recovered (SIR) Model for COVID-19 Investigation by: (Language materials, printed)

Mathematische Modellierung = Wie funktioniert sie und was kann sie? / by: (Language materials, printed)

Thermofluid Dynamics of Turbulent Flows = Fundamentals and Modelling / by: (Language materials, printed)

Computational frameworks = systems, models and applications / by: (Language materials, printed)

Matrix and Analytical Methods for Performance Analysis of Telecommunication Systems by: (Language materials, printed)

Proceedings of the 2020 Conference of The Computational Social Science Society of the Americas by: (Language materials, printed)

Introduction to Crowd Management = Managing Crowds in the Digital Era: Theory and Practice / by: (Language materials, printed)

NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: (Language materials, printed)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima / by: (Language materials, printed)

Pyomo — Optimization Modeling in Python by: (Language materials, printed)

Wärmeübertragung mit EXCEL und VBA = Wärmetechnische Berechnungen und Simulationen effektiv durchführen und professionell dokumentieren / by: (Language materials, printed)

Integration von Sensitivitätsanalysemethoden in den Entwicklungsprozess für Fahrwerkregelsysteme by: (Language materials, printed)

Foundations and Methods of Stochastic Simulation = A First Course / by: (Language materials, printed)

Objektivierung der Fahrbarkeit im fahrdynamischen Grenzbereich von Rennfahrzeugen by: (Language materials, printed)

Intelligent Equipment, Robots, and Vehicles = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part III / by: (Language materials, printed)

Recent Advances in Sustainable Energy and Intelligent Systems = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part II / by: (Language materials, printed)

Intelligent Life System Modelling, Image Processing and Analysis = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part I / by: (Language materials, printed)

Mathematical Modelling of Decision Problems = Using the SIMUS Method for Complex Scenarios / by: (Language materials, printed)

Predictive Control for Spacecraft Rendezvous by: (Language materials, printed)

Modelling, Simulation and Applications of Complex Systems = CoSMoS 2019, Penang, Malaysia, April 8-11, 2019 / by: (Language materials, printed)

Intelligent Scene Modeling and Human-Computer Interaction by: (Language materials, printed)

Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings / by: (Language materials, printed)

High Performance Computing in Science and Engineering '19 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 / by: (Language materials, printed)

Practical Guide to Digital Manufacturing = First-Time-Right for Design of Products, Machines, Processes and System Integration / by: (Language materials, printed)

NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: (Language materials, printed)

Digital Anatomy = Applications of Virtual, Mixed and Augmented Reality / by: (Language materials, printed)

Sustaining Forest Ecosystems by: (Language materials, printed)

Your Life in Numbers: Modeling Society Through Data by: (Language materials, printed)

Numerical Mathematics and Advanced Applications ENUMATH 2019 = European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4 / by: (Language materials, printed)

A Quasi-Dimensional SI Burn Rate Model for Carbon-Neutral Fuels by: (Language materials, printed)

Proceedings of the 2020 DigitalFUTURES = The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) / by: (Language materials, printed)

Guide to Industrial Analytics = Solving Data Science Problems for Manufacturing and the Internet of Things / by: (Language materials, printed)

Advanced Prognostic Predictive Modelling in Healthcare Data Analytics by: (Language materials, printed)

Predictive and Preventive Measures for Covid-19 Pandemic by: (Language materials, printed)

Biological Models via Interval Type-2 Fuzzy Sets by: (Language materials, printed)

Optimal Operation and Control of Power Systems Using an Algebraic Modelling Language by: (Language materials, printed)

Methoden zur durchgängigen virtuellen Eigenschaftsentwicklung von Fahrzeugen mit Bremsregelsystem by: (Language materials, printed)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (Language materials, printed)

Die Erstellung eines digitalen Zwillings = Eine Einführung in Simcenter Amesim / by: (Language materials, printed)

Artificial Intelligence for Customer Relationship Management = Solving Customer Problems / by: (Language materials, printed)

Computer Vision for X-Ray Testing = Imaging, Systems, Image Databases, and Algorithms / by: (Language materials, printed)

Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung / by: (Language materials, printed)

Bond Graph Modelling for Control, Fault Diagnosis and Failure Prognosis by: (Language materials, printed)

Theory and Modeling of Polymer Nanocomposites by: (Language materials, printed)

Untersuchung von transienten Interferenzeffekten in einem Freistrahlwindkanal für Automobile by: (Language materials, printed)

Advances in Simulation and Process Modelling = Proceedings of the Second International Symposium on Simulation and Process Modelling (ISSPM 2020) / by: (Language materials, printed)

Clinical and Biomedical Engineering in the Human Nose = A Computational Fluid Dynamics Approach / by: (Language materials, printed)

Microsimulation Population Projections with SAS = A Reference Guide / by: (Language materials, printed)

MATLAB® Recipes for Earth Sciences by: (Language materials, printed)

A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows = Volume II: Practical Implementation and Applications of an Anisotropic Hybrid k-omega Shear-Stress Transport/Stochastic Turbulence Model / by: (Language materials, printed)

Modeling of Real Fuels and Knock Occurrence for an Effective 3D-CFD Virtual Engine Development by: (Language materials, printed)

Subsurface Environmental Modelling Between Science and Policy by: (Language materials, printed)

Multiphase Flow and Heat Transfer in Pebble Bed Reactor Core by: (Language materials, printed)

Sociophysics Approach to Epidemics by: (Language materials, printed)

Introduction to Python in Earth Science Data Analysis = From Descriptive Statistics to Machine Learning / by: (Language materials, printed)

Reliability Assessment of Safety and Production Systems = Analysis, Modelling, Calculations and Case Studies / by: (Language materials, printed)

Membrane Computing Models: Implementations by: (Language materials, printed)

Modeling, Simulation and Optimization = Proceedings of CoMSO 2020 / by: (Language materials, printed)

Biomedical Visualisation = Volume 10 / by: (Language materials, printed)

Decision Making And Problem Solving = A Practical Guide For Applied Research / by: (Language materials, printed)

Practice of Bayesian Probability Theory in Geotechnical Engineering by: (Language materials, printed)

Resource Management and Performance Analysis of Wireless Communication Networks by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers / by: (Language materials, printed)

Catastrophes and Unexpected Behavior Patterns in Complex Artificial Populations by: (Language materials, printed)

Cyber-Physical Systems: A Model-Based Approach by: (Language materials, printed)

Advances in Core Computer Science-Based Technologies = Papers in Honor of Professor Nikolaos Alexandris / by: (Language materials, printed)

Sustained Simulation Performance 2019 and 2020 = Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2019 and 2020 / by: (Language materials, printed)

Optimization Methods in Engineering = Select Proceedings of CPIE 2019 / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: (Language materials, printed)

Aerodynamic Study on the Vehicle Shape Parameters with Respect to Ground Simulation by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Data Driven Smart Manufacturing Technologies and Applications by: (Language materials, printed)

Digital twin development and deployment on the cloud = developing cloud-friendly dynamic models using Simulink/Simscape and Amazon AWS / by: (Language materials, printed)

Systems simulation and modeling for cloud computing and big data applications by: (Language materials, printed)

Computer simulation = a foundational approach using Python / by: (Language materials, printed)

New methods and paradigms for modeling dynamic processes based on cellular automata by: (Language materials, printed)

運用電腦模擬於金屬家具包裝產線瓶頸之研究 = = Using Simulation to Solve Bottleneck Problem in the Packaging Process of the Metallic Furniture Manufacturing / by: (Language materials, printed)

Agriculture and Air Quality = Investigating, Assessing and Managing / by: (Language materials, printed)

Recent Featured Applications of Artificial Intelligence Methods. LSMS 2020 and ICSEE 2020 Workshops = Workshops of the 6th International Conference on Life System Modeling and Simulation, LSMS 2020, and 6th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2020, Shanghai, China, October 25, 2020, Proceedings / by: (Language materials, printed)

Artificial Intelligence for Customer Relationship Management = Keeping Customers Informed / by: (Language materials, printed)

Machine Learning in Aquaculture = Hunger Classification of Lates calcarifer / by: (Language materials, printed)

Progress in Differential-Algebraic Equations II by: (Language materials, printed)

Networks in Systems Biology = Applications for Disease Modeling / by: (Language materials, printed)

Software for Exascale Computing - SPPEXA 2016-2019 by: (Language materials, printed)

Modelling the Evolution of Natural Fracture Networks = Methods for Simulating the Nucleation, Propagation and Interaction of Layer-Bound Fractures / by: (Language materials, printed)

Financial Models in Production by: (Language materials, printed)

Quantification of Uncertainty: Improving Efficiency and Technology = QUIET selected contributions / by: (Language materials, printed)

Magnetohydrodynamic Modeling of the Solar Corona and Heliosphere by: (Language materials, printed)

12th Chaotic Modeling and Simulation International Conference by: (Language materials, printed)

Advances in Reliability Analysis and its Applications by: (Language materials, printed)

Practice of Constitutive Modelling for Saturated Soils by: (Language materials, printed)

Computer Meets Theoretical Physics = The New Frontier of Molecular Simulation / by: (Language materials, printed)

Architecting Robust Co-Design of Materials, Products, and Manufacturing Processes by: (Language materials, printed)

Advances in Hydroinformatics = SimHydro 2019 - Models for Extreme Situations and Crisis Management / by: (Language materials, printed)

Advances in Manufacturing, Production Management and Process Control = Proceedings of the AHFE 2019 International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Advanced Production Management and Process Control, July 24-28, 2019, Washington D.C., USA / by: (Language materials, printed)

Finite Element Analysis for Civil Engineering with DIANA Software by: (Language materials, printed)

Nonlinear System Identification = From Classical Approaches to Neural Networks, Fuzzy Models, and Gaussian Processes / by: (Language materials, printed)

Robotics and Mechatronics = Proceedings of the 6th IFToMM International Symposium on Robotics and Mechatronics (ISRM 2019) / by: (Language materials, printed)

Turbocharger Integration into Multidimensional Engine Simulations to Enable Transient Load Cases by: (Language materials, printed)

Disaster Risk Communication = A Challenge from a Social Psychological Perspective / by: (Language materials, printed)

Physik begreifen – besser konstruieren = 8 Rezepte für besseres Konstruieren dank Physics Driven Design / by: (Language materials, printed)

Engineering of Microbial Biosynthetic Pathways by: (Language materials, printed)

Modeling and Application of Electromagnetic and Thermal Field in Electrical Engineering by: (Language materials, printed)

Phänomenologische Modellierung der Dieselverbrennung auf homogenem Grundgemisch by: (Language materials, printed)

Interval-Valued Methods in Classifications and Decisions by: (Language materials, printed)

Annals of Scientific Society for Assembly, Handling and Industrial Robotics by: (Language materials, printed)

Computation and Big Data for Transport = Digital Innovations in Surface and Air Transport Systems / by: (Language materials, printed)

Advances in Human Factors and Simulation = Proceedings of the AHFE 2019 International Conference on Human Factors and Simulation, July 24-28, 2019, Washington D.C., USA / by: (Language materials, printed)

High Performance Computing for Geospatial Applications by: (Language materials, printed)

Structural Health Monitoring = A Non-Deterministic Framework / by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2019 = 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Geospatial Technologies for Urban Health by: (Language materials, printed)

Mathematical Analysis of Continuum Mechanics and Industrial Applications III = Proceedings of the International Conference CoMFoS18 / by: (Language materials, printed)

Machine Learning in Team Sports = Performance Analysis and Talent Identification in Beach Soccer & Sepak-takraw / by: (Language materials, printed)

Strukturbildung und Simulation technischer Systeme = Band 3: Magnetismus und Transformatoren / by: (Language materials, printed)

Advances in Simulation, Product Design and Development = Proceedings of AIMTDR 2018 / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / by: (Language materials, printed)

Technological Paradigms and Digital Eras = Data-driven Visions for Building Design / by: (Language materials, printed)

Simulation and Modeling Methodologies, Technologies and Applications = 8th International Conference, SIMULTECH 2018, Porto, Portugal, July 29-31, 2018, Revised Selected Papers / by: (Language materials, printed)

Advances in Additive Manufacturing, Modeling Systems and 3D Prototyping = Proceedings of the AHFE 2019 International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 24-28, 2019, Washington D.C., USA / by: (Language materials, printed)

Advances in Social Simulation = Looking in the Mirror / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by: (Language materials, printed)

Proceedings of the 2019 DigitalFUTURES = The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019) / by: (Language materials, printed)

Sustained Simulation Performance 2018 and 2019 = Proceedings of the Joint Workshops on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2018 and 2019 / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 6th International Conference, MESAS 2019, Palermo, Italy, October 29–31, 2019, Revised Selected Papers / by: (Language materials, printed)

Multiscale Modelling of Advanced Materials by: (Language materials, printed)

Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings / by: (Language materials, printed)

Computational Methods for Nanoscale Applications = Particles, Plasmons and Waves / by: (Language materials, printed)

Complex Social and Behavioral Systems = Game Theory and Agent-Based Models / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings / by: (Language materials, printed)

Simulation for Cyber-Physical Systems Engineering = A Cloud-Based Context / by: (Language materials, printed)

An Integrated Framework for Energy-Economy-Emissions Modeling = A Case Study of India / by: (Language materials, printed)

Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple™ und MapleSim™ = Anwendung in Elektrotechnik, Mechanik und Antriebstechnik / by: (Language materials, printed)

Bayesian Networks for Reliability Engineering by: (Language materials, printed)

Algorithm Concept for Crash Detection in Passenger Cars by: (Language materials, printed)

Ablaufsimulation in der Automobilindustrie by: (Language materials, printed)

Optimisation Algorithms for Hand Posture Estimation by: (Language materials, printed)

Water Resources Systems of the Philippines: Modeling Studies by: (Language materials, printed)

Unconventional Tight Reservoir Simulation: Theory, Technology and Practice by: (Language materials, printed)

NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by: (Language materials, printed)

Notes on Projectile Impact Analyses by: (Language materials, printed)

Architectural Intelligence = Selected Papers from the 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019) / by: (Language materials, printed)

Fail-operational Safety Architecture for ADAS/AD Systems and a Model-driven Approach for Dependent Failure Analysis by: (Language materials, printed)

Quantitative Economics with R = A Data Science Approach / by: (Language materials, printed)

Dynamical Characteristics of Inertia-Gravity Waves in the Antarctic Mesosphere = Analyses Combining High-Resolution Observations and Modeling / by: (Language materials, printed)

Decision Support Systems for Weed Management by: (Language materials, printed)

3D Printing and Ubiquitous Manufacturing by: (Language materials, printed)

Domain Decomposition Methods in Science and Engineering XXV by: (Language materials, printed)

Hybrid Intelligent Technologies in Energy Demand Forecasting by: (Language materials, printed)

Advances on Robotic Item Picking = Applications in Warehousing & E-Commerce Fulfillment / by: (Language materials, printed)

Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2018, Rennes, France, July 1–6 / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / by: (Language materials, printed)

Sustainable Development in Changing Complex Earth Systems by: (Language materials, printed)

Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications / by: (Language materials, printed)

Comprehensive Healthcare Simulation: InterProfessional Team Training and Simulation by: (Language materials, printed)

Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / by: (Language materials, printed)

System Dynamics = Theory and Applications / by: (Language materials, printed)

Mikrosimulationen = Methodische Grundlagen und ausgewählte Anwendungsfelder / by: (Language materials, printed)

The Isogeometric Boundary Element Method by: (Language materials, printed)

Applied Nature-Inspired Computing: Algorithms and Case Studies by: (Language materials, printed)

Enterprise Risk Management Models by: (Language materials, printed)

Einführung in die Verkehrssimulation = Ein kompakter Überblick zu mikroskopischen Verkehrsmodellen mit zellulären Automaten / by: (Language materials, printed)

Model Validation and Uncertainty Quantification, Volume 3 = Proceedings of the 38th IMAC, A Conference and Exposition on Structural Dynamics 2020 / by: (Language materials, printed)

Discrete-Time and Discrete-Space Dynamical Systems by: (Language materials, printed)

Fuzzy Collaborative Forecasting and Clustering = Methodology, System Architecture, and Applications / by: (Language materials, printed)

Advances on Robotic Item Picking : = applications in warehousing & e-commerce fulfillment / by: (Language materials, printed)

Moving objects databases by: (Language materials, printed)

Mastering Simulink / by: (Language materials, printed)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (Language materials, printed)

New advances in virtual humans = artificial intelligence environment / by: (Language materials, printed)

Simulation and modeling = current technologies and applications / by: (Language materials, printed)

Sketch-based interfaces and modeling by: (Language materials, printed)

Performance Modeling and Engineering by: (Language materials, printed)

Plasma physics via computer simulation / by: (Language materials, printed)

Computational optimization and applications in engineering and industry by: (Language materials, printed)

Robust range image registration : = using genetic algorithms and the surface interpenetration measure / by: (Language materials, printed)

The promise and limits of computer modeling by: (Language materials, printed)

Simulation with Arena / by: (Language materials, printed)

Fundamentals of scientific computing by: (Language materials, printed)

Solid modelling and CAD systems = how to survive a CAD system / by: (Language materials, printed)

Introduction to Simulink with engineering applications by: (Language materials, printed)

Simulation / by: (Language materials, printed)

Modeling and control of complex physical systems = the port-Hamiltonian approach / by: (Language materials, printed)

Advancing the frontiers of simulation = a festschrift in honor of George Samuel Fishman / by: (Language materials, printed)

Computer games as educational and management tools = uses and approaches / by: (Language materials, printed)

Simulation by: (Language materials, printed)

Simulation with Arena / by: (Language materials, printed)

Continuous system simulation / by: (Language materials, printed)

Introduction to modeling and simulation of technical and physical systems with Modelica by: (Language materials, printed)

Conceptual modeling for discrete-event simulation by: (Language materials, printed)

Advances in conceptual modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings / by: (Language materials, printed)

Applied control of electrical drives = real time embedded and sensorless control using VisSim and PLECS / by: (Language materials, printed)

Computational problems in science and engineering by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (Language materials, printed)

Enterprise and organizational modeling and simulation = 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015 : selected papers / by: (Language materials, printed)

Information systems for crisis response and management in mediterranean countries = second International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015 : proceedings / by: (Language materials, printed)

KI 2015 = advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings / by: (Language materials, printed)

Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers / by: (Language materials, printed)

Pattern recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015 : proceedings / by: (Language materials, printed)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Language materials, printed)

Testing and validation of computer simulation models = principles, methods and applications / by: (Language materials, printed)

Agent-directed simulation and systems engineering by: (Language materials, printed)

Modeling, analysis, and applications in metaheuristic computing = advancements and trends / by: (Language materials, printed)

Handbook of research on computational science and engineering = theory and practice / by: (Language materials, printed)

Handbook of dynamic system modeling by: (Language materials, printed)

Discrete-event modeling and simulation = a practitioner's approach / by: (Language materials, printed)

Cognitive agent-based computing-I = a unified framework for modeling complex adaptive systems using agent-based & complex network-based methods / by: (Language materials, printed)

Agent-based modelling of socio-technical systems by: (Language materials, printed)

Guide to dynamic simulations of rigid bodies and particle systems by: (Language materials, printed)

Modeling and simulating command and control = for organizations under extreme situations / by: (Language materials, printed)

Evolutionary computation = toward a new philosophy of machine intelligence / by: (Language materials, printed)

Object-oriented simulation = reusability, adaptability, maintainability / by: (Language materials, printed)

Principles of object-oriented modeling and simulation with Modelica 2.1 by: (Language materials, printed)

Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (Language materials, printed)

Model-based development and evolution of information systems = a quality approach / by: (Language materials, printed)

Modelling and simulation = exploring dynamic system behaviour / by: (Language materials, printed)

New trends in interaction, virtual reality and modeling by: (Language materials, printed)

Handbook of conceptual modeling = theory, practice, and research challenges / by: (Language materials, printed)

Geo-Informatics in Resource Management and Sustainable Ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part II / by: (Language materials, printed)

Geo-informatics in resource management and sustainable ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part I / by: (Language materials, printed)

Modeling, simulation and visual analysis of crowds = a multidisciplinary perspective / by: (Language materials, printed)

Solving the mind-body problem by the CODAM neural model of consciousness? by: (Language materials, printed)

Modeling of land-use and ecological dynamics by: (Language materials, printed)

Visual heritage in the digital age by: (Language materials, printed)

Software and data technologies = 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012 : revised selected papers / by: (Language materials, printed)

Information computing and applications = 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 : revised selected papers.. Part I / by: (Language materials, printed)

Automatic algorithm selection for complex simulation problems by: (Language materials, printed)

Virtual reality and animation for MATLAB and Simulink users = visualization of dynamic models and control simulations / by: (Language materials, printed)

Pyomo - Optimization modeling in Python by: (Language materials, printed)

Advances in intelligent modelling and simulation = simulation tools and applications / by: (Language materials, printed)

Simulating and generating motions of human figures by: (Language materials, printed)

Object oriented simulation = a modeling and programming perspective / by: (Language materials, printed)

Integrated graphic and computer modelling by: (Language materials, printed)

Formal languages for computer simulation = transdisciplinary models and applications / by: (Language materials, printed)

Agent-based modeling and simulation by: (Language materials, printed)

Benchmarking transaction and analytical processing systems = the creation of a mixed workload benchmark and its application / by: (Language materials, printed)

Tissue engineering = computer modeling, biofabrication and cell behavior / by: (Language materials, printed)

Modeling and simulation = an application-oriented introduction / by: (Language materials, printed)

Development of innovative drugs via modeling with MATLAB = a practical guide / by: (Language materials, printed)

Simulations, serious games and their applications by: (Language materials, printed)

Computer-based modelling and optimization in transportation by: (Language materials, printed)

A practical guide to SysML = the systems modeling language / by: (Language materials, printed)

Computer architecture performance evaluation methods by: (Language materials, printed)

Industrial used of formal method DUP_1 = formal verification / by: (Language materials, printed)

Industrial used of formal method = formal verification / by: (Language materials, printed)

Smart modeling and simulation for complex systems = practice and theory / by: (Language materials, printed)

Digital representations of the real world : = how to capture, model, and render visual reality / by: (Language materials, printed)

Extending virtual worlds : = advanced design for virtual environments / by: (Language materials, printed)

Data assimilation = mathematical concepts and instructive examples / by: (Language materials, printed)

Scholarpedia of touch by: (Language materials, printed)

Simulations as scaffolds in science education by: (Language materials, printed)

Applications of soft computing in time series forecasting = simulation and modeling techniques / by: (Language materials, printed)

Bionic optimization in structural design = stochastically based methods to improve the performance of parts and assemblies / by: (Language materials, printed)

Multiscale paradigms in integrated computational materials science and engineering = materials theory, modeling, and simulation for predictive design / by: (Language materials, printed)

Simulation-driven design by knowledge-based response correction techniques by: (Language materials, printed)

Modeling and simulation in engineering, economics and management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016 : proceedings / by: (Language materials, printed)

Developing modular-oriented simulation models using system dynamics libraries by: (Language materials, printed)

Bridging the gap between rendering and simulation frameworks = concepts, approaches and applications for modern multi-domain VR simulation systems / by: (Language materials, printed)

Real time modeling, simulation and control of dynamical systems by: (Language materials, printed)

Seminal contributions to modelling and simulation = 30 years of the European Council of Modelling and Simulation / by: (Language materials, printed)

Space and time visualisation by: (Language materials, printed)

Disruptive analytics = charting your strategy for next-generation business analytics / by: (Language materials, printed)

Information systems for crisis response and management in mediterranean countries = third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings / by: (Language materials, printed)

Resource management for big data platforms = algorithms, modelling, and high-performance computing techniques / by: (Language materials, printed)

Interactive modeling and simulation in business system design by: (Language materials, printed)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Language materials, printed)

Leap motion for developers by: (Language materials, printed)

Principles of object oriented modeling and simulation with Modelica 3.3 = a cyber-physical approach / by: (Language materials, printed)

Simulation-driven design optimization and modeling for microwave engineering by: (Language materials, printed)

Crafts of simulation programming by: (Language materials, printed)

Interdisciplinary applications of agent-based social simulation and modeling by: (Language materials, printed)

Game-based teaching and simulation in nursing and healthcare by: (Language materials, printed)

Guide to computational modelling for decision processes = theory, algorithms, techniques and applications / by: (Language materials, printed)

The science and art of simulation I = exploring, understanding, knowing / by: (Language materials, printed)

Innovative healthcare systems for the 21st century by: (Language materials, printed)

Pyomo - optimization modeling in Python by: (Language materials, printed)

Trends in developing metaheuristics, algorithms, and optimization approaches by: (Language materials, printed)

Model-based system architecture by: (Language materials, printed)

Strategic modelling and business dynamics = a feedback systems approach / by: (Language materials, printed)

Optimization methods in metabolic networks by: (Language materials, printed)

Introduction to modeling and simulation of technical and physical systems with Modelica by: (Language materials, printed)

Guide to distributed simulation with HLA by: (Language materials, printed)

Advances in modeling and simulation = seminal research from 50 years of winter simulation conferences / by: (Language materials, printed)

The new generation of computable general equilibrium models = modeling the economy / by: (Language materials, printed)

The Uncertainty analysis of model results = a practical guide / by: (Language materials, printed)

Encyclopedia of social network analysis and mining by: (Language materials, printed)

Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday / by: (Language materials, printed)

Computer simulations in science and engineering = concepts - practices - perspectives / by: (Language materials, printed)

Handbook of dynamic data driven applications systems by: (Language materials, printed)

Smart nitrate sensor = internet of things enabled real-time water quality monitoring / by: (Language materials, printed)

An introduction to computational science by: (Language materials, printed)

Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II / by: (Language materials, printed)

Towards mathematics, computers and environment = a disasters perspective / by: (Language materials, printed)

Bayesian programming by: (Language materials, printed)

System dynamics = modelling and simulation / by: (Language materials, printed)

Simulation and serious games for education by: (Language materials, printed)

Enterprise risk management models by: (Language materials, printed)

Programming phase-field modeling by: (Language materials, printed)

Robust Simulation for Mega-Risks = The Path from Single-Solution to Competitive, Multi-Solution Methods for Mega-Risk Management / by: (Language materials, printed)

Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I / by: (Language materials, printed)

An Information Technology Framework for Predictive, Preventive and Personalised Medicine = A Use-Case with Hepatocellular Carcinoma / by: (Language materials, printed)

Progress in Artificial Intelligence = 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / by: (Language materials, printed)

Untersuchung der Potentiale der numerischen Strömungsberechnung zur Prognose der Partikelemissionen in Ottomotoren mit Direkteinspritzung by: (Language materials, printed)

The Finite Element Method and Applications in Engineering Using ANSYS® by: (Language materials, printed)

Modeling and Simulation in the Systems Engineering Life Cycle = Core Concepts and Accompanying Lectures / by: (Language materials, printed)

Guide to Simulation and Modeling for Biosciences by: (Language materials, printed)

Product-Focused Software Process Improvement = 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / by: (Language materials, printed)

Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III / by: (Language materials, printed)

Noise and Vibration Mitigation for Rail Transportation Systems = Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9–13 September 2013 / by: (Language materials, printed)

Traffic and Granular Flow '13 by: (Language materials, printed)

Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Closed-Form Solutions / by: (Language materials, printed)

Concepts and Methodologies for Modeling and Simulation = A Tribute to Tuncer Ören / by: (Language materials, printed)

Energy Efficient Data Centers = Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers / by: (Language materials, printed)

Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / by: (Language materials, printed)

Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II / by: (Language materials, printed)

Information Systems for Crisis Response and Management in Mediterranean Countries = Second International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015, Proceedings / by: (Language materials, printed)

Augmented Environments for Computer-Assisted Interventions = 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings / by: (Language materials, printed)

Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / by: (Language materials, printed)

Hybrid Systems Biology = Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / by: (Language materials, printed)

Smart Cities, Green Technologies, and Intelligent Transport Systems = 4th International Conference, SMARTGREENS 2015, and 1st International Conference VEHITS 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers / by: (Language materials, printed)

Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / by: (Language materials, printed)

Patch-Based Techniques in Medical Imaging = First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers / by: (Language materials, printed)

Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings / by: (Language materials, printed)

Simulation and Modeling Methodologies, Technologies and Applications = International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers / by: (Language materials, printed)

Model-Driven Engineering and Software Development = Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V / by: (Language materials, printed)

Sustained Simulation Performance 2015 = Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2015 / by: (Language materials, printed)

Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / by: (Language materials, printed)

Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by: (Language materials, printed)

The Visual Language of Technique = Volume 3 - Heritage and Expectations in Education / by: (Language materials, printed)

Recent Trends in Computational Engineering - CE2014 = Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XX by: (Language materials, printed)

Software, Animation and the Moving Image = What's in the Box? / by: (Language materials, printed)

Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics / by: (Language materials, printed)

Virtual Worlds as Philosophical Tools = How to Philosophize with a Digital Hammer / by: (Language materials, printed)

Functional Imaging and Modeling of the Heart = 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings / by: (Language materials, printed)

Environmental Software Systems. Infrastructures, Services and Applications = 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings / by: (Language materials, printed)

Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings / by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers / by: (Language materials, printed)

Offshore Service Industry and Logistics Modeling in the Gulf of Mexico by: (Language materials, printed)

Decision Models in Engineering and Management by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings / by: (Language materials, printed)

Pattern Recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings / by: (Language materials, printed)

Betriebssysteme und Echtzeit = Echtzeit 2015 / by: (Language materials, printed)

Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple™ und MapleSim™ = Anwendung in Elektrotechnik, Mechanik und Antriebstechnik / by: (Language materials, printed)

Prozessmodellierung mit ARIS® = Eine beispielorientierte Einführung für Studium und Praxis in ARIS 9 / by: (Language materials, printed)

Handbook of Dynamic Data Driven Applications Systems = Volume 1 / by: (Language materials, printed)

In Silico Methods for Predicting Drug Toxicity by: (Language materials, printed)

Deep Generative Modeling by: (Language materials, printed)

Algorithms and Solutions Based on Computer Technology = 5th Scientific International Online Conference Algorithms and Solutions based on Computer Technology (ASBC 2021) / by: (Language materials, printed)

Biomedical Visualisation = Volume 11 / by: (Language materials, printed)

Systemverfahrenstechnik in der Ingenieurspraxis = Beherrschung von Prozessen, Gefährdungen und Reinheitskriterien / by: (Language materials, printed)

Fahrermodell zur realitätsnahen Erprobung von Handschaltgetrieben an Antriebsstrangprüfständen by: (Language materials, printed)

Dust-Gas Instabilities in Protoplanetary Disks = Toward Understanding Planetesimal Formation / by: (Language materials, printed)

Cohesive Zone Modelling for Fatigue Life Analysis of Adhesive Joints by: (Language materials, printed)

Motion Analysis of Soccer Ball = Dynamics Modeling, Optimization Design and Virtual Simulation / by: (Language materials, printed)

Finite Volume Methods for the Incompressible Navier–Stokes Equations by: (Language materials, printed)

Computational Optical Phase Imaging by: (Language materials, printed)

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy = Proceedings of the Second International Conference, MMCITRE 2021 / by: (Language materials, printed)

Modeling of Road Traffic Events by: (Language materials, printed)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection = 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings / by: (Language materials, printed)

Artificial Life and Intelligent Agents = First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers / by: (Language materials, printed)

Decision Support Systems IV - Information and Knowledge Management in Decision Processes = Euro Working Group Conferences, EWG-DSS 2014, Toulouse, France, June 10-13, 2014, and Barcelona, Spain, July 13-18, 2014, Revised Selected and Extended Papers / by: (Language materials, printed)

Quantitative Evaluation of Systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / by: (Language materials, printed)

Big-Data Analytics and Cloud Computing = Theory, Algorithms and Applications / by: (Language materials, printed)

Steuerung ereignisdiskreter Prozesse = Neuartige Methoden zur Prozessbeschreibung und zum Entwurf von Steueralgorithmen / by: (Language materials, printed)

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014 by: (Language materials, printed)

Analysis and Simulation of Electrical and Computer Systems by: (Language materials, printed)

Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / by: (Language materials, printed)

INS/CNS/GNSS Integrated Navigation Technology by: (Language materials, printed)

Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers / by: (Language materials, printed)

An Introduction to R for Quantitative Economics = Graphing, Simulating and Computing / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / by: (Language materials, printed)

Model-Driven Engineering and Software Development = Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Modeling Mobility with Open Data = 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014 / by: (Language materials, printed)

Temporal Points of View = Subjective and Objective Aspects / by: (Language materials, printed)

Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / by: (Language materials, printed)

KI 2015: Advances in Artificial Intelligence = 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / by: (Language materials, printed)

Video Game Narrative and Criticism = Playing the Story / by: (Language materials, printed)

Simulation-Based Optimization = Parametric Optimization Techniques and Reinforcement Learning / by: (Language materials, printed)

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation = Industrial and Research Applications / by: (Language materials, printed)

Resilient Routing in Communication Networks by: (Language materials, printed)

Atmospheric and Space Sciences: Neutral Atmospheres = Volume 1 / by: (Language materials, printed)

Full-3D Seismic Waveform Inversion = Theory, Software and Practice / by: (Language materials, printed)

Turbulence by: (Language materials, printed)

Semi-quantitative Approaches for Landslide Assessment and Prediction by: (Language materials, printed)

The Science of Golf Putting = A Complete Guide for Researchers, Players and Coaches / by: (Language materials, printed)

Tools of Transport Telematics = 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015. Selected Papers / by: (Language materials, printed)

Advances in Spatial Data Handling and Analysis = Select Papers from the 16th IGU Spatial Data Handling Symposium / by: (Language materials, printed)

Handbook of Simulation Optimization by: (Language materials, printed)

Testing and Validation of Computer Simulation Models = Principles, Methods and Applications / by: (Language materials, printed)

Simulation and Modeling Methodologies, Technologies and Applications = International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers / by: (Language materials, printed)

New Challenges in Grid Generation and Adaptivity for Scientific Computing by: (Language materials, printed)

Smart Learning Objects for Smart Education in Computer Science = Theory, Methodology and Robot-Based Implementation / by: (Language materials, printed)

Hierarchical Sliding Mode Control for Under-actuated Cranes = Design, Analysis and Simulation / by: (Language materials, printed)

Drehstrommaschinen im Inselbetrieb = Modellbildung - Parametrierung - Simulation / by: (Language materials, printed)

Modeling and Control for a Blended Wing Body Aircraft = A Case Study / by: (Language materials, printed)

Enterprise and Organizational Modeling and Simulation = 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Selected Papers / by: (Language materials, printed)

Heat Transfer Modeling = An Inductive Approach / by: (Language materials, printed)

Komplexitätsmanagement mit der K-Methode = Preisdefinition, IT und Controlling im Einkauf von Packmitteln / by: (Language materials, printed)

Sustained Simulation Performance 2014 = Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2014 / by: (Language materials, printed)

Railway Infrastructure Security by: (Language materials, printed)

Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings / by: (Language materials, printed)

OpenGeoSys-Tutorial = Computational Hydrology I: Groundwater Flow Modeling / by: (Language materials, printed)

Mathematical Modeling of Disperse Two-Phase Flows by: (Language materials, printed)

The Visual Language of Technique = Volume 1 - History and Epistemology / by: (Language materials, printed)

Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods / by: (Language materials, printed)

Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der Frühen Phase der Produktentstehung by: (Language materials, printed)

Thermal Sensors = Principles and Applications for Semiconductor Industries / by: (Language materials, printed)

Bond Graph Model-based Fault Diagnosis of Hybrid Systems by: (Language materials, printed)

Fractional Order Differentiation and Robust Control Design = CRONE, H-infinity and Motion Control / by: (Language materials, printed)

Applied Simulation and Optimization = In Logistics, Industrial and Aeronautical Practice / by: (Language materials, printed)

Computational Creativity Research: Towards Creative Machines by: (Language materials, printed)

Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / by: (Language materials, printed)

Multi-Agent-Based Simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / by: (Language materials, printed)

Multiagent System Technologies = 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithmic Game Theory = 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / by: (Language materials, printed)

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges = 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / by: (Language materials, printed)

Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / by: (Language materials, printed)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XVIII by: (Language materials, printed)

Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / by: (Language materials, printed)

Pattern Recognition: Applications and Methods = 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by: (Language materials, printed)

Agents and Artificial Intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by: (Language materials, printed)

Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / by: (Language materials, printed)

Solving Software Challenges for Exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / by: (Language materials, printed)

Model and Data Engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XIX by: (Language materials, printed)

Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / by: (Language materials, printed)

Augmented and Virtual Reality = Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings / by: (Language materials, printed)

Pattern Recognition Applications and Methods = Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / by: (Language materials, printed)

Advances in Architectural Geometry 2014 by: (Language materials, printed)

Bio-Inspired Computing -- Theories and Applications = 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings / by: (Language materials, printed)

Value Chain Marketing = A Marketing Strategy to Overcome Immediate Customer Innovation Resistance / by: (Language materials, printed)

A Guide to Numerical Modelling in Systems Biology by: (Language materials, printed)

Hybrid Systems Biology = Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / by: (Language materials, printed)

Military Logistics = Research Advances and Future Trends / by: (Language materials, printed)

Recent Advances in Natural Computing = Selected Results from the IWNC 7 Symposium / by: (Language materials, printed)

Information Technologies and Mathematical Modelling - Queueing Theory and Applications = 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings / by: (Language materials, printed)

MATLAB® Recipes for Earth Sciences by: (Language materials, printed)

An Introduction to Machine Learning by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by: (Language materials, printed)

Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by: (Language materials, printed)

Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language = Bringing the Power of R to a Geochemical Community / by: (Language materials, printed)

Computational Methods and Clinical Applications for Spine Imaging = 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXIII by: (Language materials, printed)

Information Technologies and Mathematical Modelling: Queueing Theory and Applications = 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings / by: (Language materials, printed)

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems = 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III / by: (Language materials, printed)

Bio-inspired Computing – Theories and Applications = 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II / by: (Language materials, printed)

Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection = 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings / by: (Language materials, printed)

Mathematical and Computational Approaches in Advancing Modern Science and Engineering by: (Language materials, printed)

High Performance Computer Applications = 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers / by: (Language materials, printed)

Patch-Based Techniques in Medical Imaging = Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings / by: (Language materials, printed)

Computer Information Systems and Industrial Management = 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / by: (Language materials, printed)

High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering by: (Language materials, printed)

Methodologies for Service Life Prediction of Buildings = With a Focus on Façade Claddings / by: (Language materials, printed)

Mathematical Modeling and Computational Intelligence in Engineering Applications by: (Language materials, printed)

Distributed Simulation = A Model Driven Engineering Approach / by: (Language materials, printed)

Interactive Modeling and Simulation in Business System Design by: (Language materials, printed)

Simulation Training: Fundamentals and Applications = Improving Professional Practice Through Simulation Training / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / by: (Language materials, printed)

Anti-fragile ICT Systems by: (Language materials, printed)

Tangible Interactive Systems = Grasping the Real World with Computers / by: (Language materials, printed)

Communication Technologies for Vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings / by: (Language materials, printed)

Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection = International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings / by: (Language materials, printed)

Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / by: (Language materials, printed)

Resource Management for Big Data Platforms = Algorithms, Modelling, and High-Performance Computing Techniques / by: (Language materials, printed)

Conceptual Modeling = 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / by: (Language materials, printed)

Sustained Simulation Performance 2016 = Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / by: (Language materials, printed)

High Performance Computing in Science and Engineering ´16 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXII by: (Language materials, printed)

Product-Focused Software Process Improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / by: (Language materials, printed)

Serious Games, Interaction, and Simulation = 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers / by: (Language materials, printed)

Software for Exascale Computing - SPPEXA 2013-2015 by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / by: (Language materials, printed)

KI 2016: Advances in Artificial Intelligence = 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / by: (Language materials, printed)

Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Benchmarking Initiatives / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by: (Language materials, printed)

Computational Methods and Clinical Applications for Spine Imaging = Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / by: (Language materials, printed)

Enterprise and Organizational Modeling and Simulation = 12th International Workshop, EOMAS 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13, 2016, Selected Papers / by: (Language materials, printed)

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems = 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / by: (Language materials, printed)

Information Systems for Crisis Response and Management in Mediterranean Countries = Third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / by: (Language materials, printed)

Intelligent Systems for Computer Modelling = Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 / by: (Language materials, printed)

External Thermal Insulation Composite Systems (ETICS) = An Evaluation of Hygrothermal Behaviour / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / by: (Language materials, printed)

Model and Data Engineering = 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Political Cyberformance = The Etheatre Project / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / by: (Language materials, printed)

Applied Computer Science by: (Language materials, printed)

Strukturbildung und Simulation technischer Systeme Band 1 = Die statischen Grundlagen der Simulation / by: (Language materials, printed)

Internet der Dinge = Echtzeit 2016 / by: (Language materials, printed)

Applications of Soft Computing in Time Series Forecasting = Simulation and Modeling Techniques / by: (Language materials, printed)

Ein universelles Fahrbahnmodell für die Fahrdynamiksimulation by: (Language materials, printed)

Spatial Modeling Principles in Earth Sciences by: (Language materials, printed)

Seminal Contributions to Modelling and Simulation = 30 Years of the European Council of Modelling and Simulation / by: (Language materials, printed)

Ein Beitrag zur Erhöhung der Reichweite eines batterieelektrischen Fahrzeugs durch prädiktives Thermomanagement by: (Language materials, printed)

Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / by: (Language materials, printed)

Building a SharePoint 2016 Home Lab = A How-To Reference on Simulating a Realistic SharePoint Testing Environment / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II / by: (Language materials, printed)

Multicomponent and Multiscale Systems = Theory, Methods, and Applications in Engineering / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings / by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / by: (Language materials, printed)

Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / by: (Language materials, printed)

Isochronous Wireless Network for Real-time Communication in Industrial Automation by: (Language materials, printed)

Graphical Simulation of Deformable Models by: (Language materials, printed)

Toward Robotic Socially Believable Behaving Systems - Volume II = Modeling Social Signals / by: (Language materials, printed)

Multi-Agent Systems and Agreement Technologies = 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / by: (Language materials, printed)

Social Coordination Frameworks for Social Technical Systems by: (Language materials, printed)

Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / by: (Language materials, printed)

Statistical Analysis of Noise in MRI = Modeling, Filtering and Estimation / by: (Language materials, printed)

Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers / by: (Language materials, printed)

Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas by: (Language materials, printed)

Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach / by: (Language materials, printed)

Challenge of Transport Telematics = 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16–19, 2016, Selected Papers / by: (Language materials, printed)

Simulation and Modeling Methodologies, Technologies and Applications = International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers / by: (Language materials, printed)

Simulating Prehistoric and Ancient Worlds by: (Language materials, printed)

Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Simulation stochastischer Systeme = Eine anwendungsorientierte Einführung / by: (Language materials, printed)

Social Computing = Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part I / by: (Language materials, printed)

Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings / by: (Language materials, printed)

Distributed Computer and Communication Networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers / by: (Language materials, printed)

Social Dimensions of Organised Crime = Modelling the Dynamics of Extortion Rackets / by: (Language materials, printed)

Machine Learning for Evolution Strategies by: (Language materials, printed)

Netzberechnung mit Erzeugungsprofilen = Grundlagen, Berechnung, Anwendung / by: (Language materials, printed)

Variable-Structure Approaches = Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes / by: (Language materials, printed)

Computational Modeling of Neural Activities for Statistical Inference by: (Language materials, printed)

Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers / by: (Language materials, printed)

Computational Diffusion MRI = MICCAI Workshop, Munich, Germany, October 9th, 2015 / by: (Language materials, printed)

Innovating with Concept Mapping = 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings / by: (Language materials, printed)

Complexity Management with the K-Method = Price Structures, IT and Controlling for Procurement of Packaging Materials / by: (Language materials, printed)

Investment in Electricity Generation and Transmission = Decision Making under Uncertainty / by: (Language materials, printed)

Modelling Human Behaviour in Landscapes = Basic Concepts and Modelling Elements / by: (Language materials, printed)

Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung / by: (Language materials, printed)

Advances in Computational Fluid-Structure Interaction and Flow Simulation = New Methods and Challenging Computations / by: (Language materials, printed)

Geo-Informatics in Resource Management and Sustainable Ecosystem = Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers / by: (Language materials, printed)

Urban Resilience = A Transformative Approach / by: (Language materials, printed)

Managing the Complexity of Critical Infrastructures = A Modelling and Simulation Approach / by: (Language materials, printed)

Model Design and Simulation Analysis = 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers / by: (Language materials, printed)

Stationäres und instationäres Betriebsverhalten von Abgasturboladern by: (Language materials, printed)

Behavioural Models = From Modelling Finite Automata to Analysing Business Processes / by: (Language materials, printed)

Verifying Calculations - Forty Years On = An Overview of Classical Verification Techniques for FEM Simulations / by: (Language materials, printed)

The Tyranny of Uncertainty = A New Framework to Predict, Remediate and Monitor Risk / by: (Language materials, printed)

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems = 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I / by: (Language materials, printed)

Methodik zur Fabriksystemmodellierung im Kontext von Energie- und Ressourceneffizienz by: (Language materials, printed)

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems = 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II / by: (Language materials, printed)

Evacuation Modeling Trends by: (Language materials, printed)

Introducing the Oscillations Based Paradigm = The Simulation of Agents and Social Systems / by: (Language materials, printed)

Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature / by: (Language materials, printed)

Bio-inspired Computing – Theories and Applications = 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I / by: (Language materials, printed)

Structure-Based Mechanics of Tissues and Organs by: (Language materials, printed)

Disruptive Analytics = Charting Your Strategy for Next-Generation Business Analytics / by: (Language materials, printed)

Innovative Simulation Systems by: (Language materials, printed)

Scholarpedia of Touch by: (Language materials, printed)

Application of Surrogate-based Global Optimization to Aerodynamic Design by: (Language materials, printed)

Opportunistic Mobile Networks = Advances and Applications / by: (Language materials, printed)

Process-Aware Systems = Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers / by: (Language materials, printed)

Digital Make-Believe by: (Language materials, printed)

Game of Colors: Moderne Bewegtbildproduktion = Theorie und Praxis für Film, Video und Fernsehen / by: (Language materials, printed)

Lasso-MPC – Predictive Control with ℓ1-Regularised Least Squares by: (Language materials, printed)

Construction Program Management – Decision Making and Optimization Techniques by: (Language materials, printed)

Domain Decomposition Methods in Science and Engineering XXII by: (Language materials, printed)

Autonomic Road Transport Support Systems by: (Language materials, printed)

Unsteady Turbulent Flow Modelling and Applications by: (Language materials, printed)

Untersuchungen zur impulsgetrennten Aufladung an einem Vierzylinder-Ottomotor by: (Language materials, printed)

Homo Sapiens Digitalis - Virtuelle Ergonomie und digitale Menschmodelle by: (Language materials, printed)

Data Assimilation: Mathematical Concepts and Instructive Examples by: (Language materials, printed)

Form Versus Function: Theory and Models for Neuronal Substrates by: (Language materials, printed)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXIV by: (Language materials, printed)

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges = 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / by: (Language materials, printed)

Cellular Automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / by: (Language materials, printed)

Pattern Recognition = 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / by: (Language materials, printed)

PRICAI 2016: Trends in Artificial Intelligence = 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / by: (Language materials, printed)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / by: (Language materials, printed)

Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by: (Language materials, printed)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / by: (Language materials, printed)

Scientific Computing in Electrical Engineering = SCEE 2014, Wuppertal, Germany, July 2014 / by: (Language materials, printed)

Quantitative Evaluation of Systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / by: (Language materials, printed)

Simulation and Synthesis in Medical Imaging = First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / by: (Language materials, printed)

Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by: (Language materials, printed)

Multi-Agent Based Simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / by: (Language materials, printed)

Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / by: (Language materials, printed)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / by: (Language materials, printed)

Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / by: (Language materials, printed)

Big Data Benchmarking = 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers / by: (Language materials, printed)

Computer Performance Engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / by: (Language materials, printed)

Mathematical Problems in Meteorological Modelling by: (Language materials, printed)

Foundational and Practical Aspects of Resource Analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / by: (Language materials, printed)

Hybrid Systems Biology = 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings / by: (Language materials, printed)

Transactions on Foundations for Mastering Change I by: (Language materials, printed)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / by: (Language materials, printed)

Algorithmic Game Theory = 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings / by: (Language materials, printed)

Transactions on Modularity and Composition I by: (Language materials, printed)

Wireless Sensor Networks = Concepts, Applications, Experimentation and Analysis / by: (Language materials, printed)

Real Time Modeling, Simulation and Control of Dynamical Systems by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification, and Validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / by: (Language materials, printed)

Engineering Education 4.0 = Excellent Teaching and Learning in Engineering Sciences / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers / by: (Language materials, printed)

Toward Robotic Socially Believable Behaving Systems - Volume I = Modeling Emotions / by: (Language materials, printed)

Breast Imaging = 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings / by: (Language materials, printed)

Critical Infrastructure Protection X = 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers / by: (Language materials, printed)

Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / by: (Language materials, printed)

Big Data Technology and Applications = First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings / by: (Language materials, printed)

Orbital Dynamics in the Gravitational Field of Small Bodies by: (Language materials, printed)

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems = 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV / by: (Language materials, printed)

Context-Enhanced Information Fusion = Boosting Real-World Performance with Domain Knowledge / by: (Language materials, printed)

Social Computing = Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II / by: (Language materials, printed)

Applications of Systems Thinking and Soft Operations Research in Managing Complexity = From Problem Framing to Problem Solving / by: (Language materials, printed)

Fundamentals of Neuromechanics by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXI = Special Issue on Keyword Search and Big Data / by: (Language materials, printed)

Mathematical Modelling by: (Language materials, printed)

Recent Advances in Natural Computing = Selected Results from the IWNC 8 Symposium / by: (Language materials, printed)

The Vienna LTE-Advanced Simulators = Up and Downlink, Link and System Level Simulation / by: (Language materials, printed)

Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by: (Language materials, printed)

Natural Disasters, When Will They Reach Me? by: (Language materials, printed)

Topics in Numerical Partial Differential Equations and Scientific Computing by: (Language materials, printed)

Computational Intelligence and Intelligent Systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers / by: (Language materials, printed)

Software Technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I / by: (Language materials, printed)

Economics with Heterogeneous Interacting Agents = A Practical Guide to Agent-Based Modeling / by: (Language materials, printed)

Bionic Optimization in Structural Design = Stochastically Based Methods to Improve the Performance of Parts and Assemblies / by: (Language materials, printed)

Scaling of Differential Equations by: (Language materials, printed)

Geogames and Geoplay = Game-based Approaches to the Analysis of Geo-Information / by: (Language materials, printed)

Kostenoptimale Auslegung von thermischen Eigenschaften in Elektrofahrzeugen by: (Language materials, printed)

Modeling, Design, Construction, and Operation of Power Generators with Solid Oxide Fuel Cells = From Single Cell to Complete Power System / by: (Language materials, printed)

Strukturbildung und Simulation technischer Systeme = Band 2, Teil 2: Elektrische und mechanische Dynamik / by: (Language materials, printed)

GeoComputational Analysis and Modeling of Regional Systems by: (Language materials, printed)

New Perspectives on Applied Industrial Tools and Techniques by: (Language materials, printed)

Methods and Applications for Modeling and Simulation of Complex Systems = 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings / by: (Language materials, printed)

Reliability Aspect of Cloud Computing Environment by: (Language materials, printed)

Bioinformatics: Sequences, Structures, Phylogeny by: (Language materials, printed)

A Step by Step Approach to the Modeling of Chemical Engineering Processes = Using Excel for simulation / by: (Language materials, printed)

Hybride Testumgebungen für Kritische Infrastrukturen = Effiziente Implementierung für IT-Sicherheitsanalysen von KRITIS-Betreibern / by: (Language materials, printed)

Honeypot Frameworks and Their Applications: A New Framework by: (Language materials, printed)

From Animals to Animats 15 = 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / by: (Language materials, printed)

Challenges in Modelling and Simulation of Shale Gas Reservoirs by: (Language materials, printed)

Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / by: (Language materials, printed)

Computer Simulations of Space Societies by: (Language materials, printed)

Information Modelling for Archaeology and Anthropology = Software Engineering Principles for Cultural Heritage / by: (Language materials, printed)

Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by: (Language materials, printed)

VipIMAGE 2017 = Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 / by: (Language materials, printed)

Numerical Simulation of the Aerodynamics of High-Lift Configurations by: (Language materials, printed)

NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by: (Language materials, printed)

Comprehensive Healthcare Simulation: Neurosurgery by: (Language materials, printed)

Domain Decomposition Methods in Science and Engineering XXIV by: (Language materials, printed)

Ethernet-basierte Fahrzeugnetzwerkarchitekturen für zukünftige Echtzeitsysteme im Automobil by: (Language materials, printed)

Algorithmic Game Theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / by: (Language materials, printed)

Atmospheric and Space Sciences: Ionospheres and Plasma Environments = Volume 2 / by: (Language materials, printed)

Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by: (Language materials, printed)

Energiemanagement von Haushaltsgroßgeräten = Intelligente Lastverschiebung mit Lastspitzenvermeidung / by: (Language materials, printed)

Wireless Internet = 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings / by: (Language materials, printed)

Uncertainty Quantification and Predictive Computational Science = A Foundation for Physical Scientists and Engineers / by: (Language materials, printed)

Artificial Life and Intelligent Agents = Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers / by: (Language materials, printed)

Modeling Discrete-Event Systems with GPenSIM = An Introduction / by: (Language materials, printed)

Introduction to Queueing Networks = Theory ∩ Practice / by: (Language materials, printed)

Systems Analysis Approach for Complex Global Challenges by: (Language materials, printed)

Echtzeit und Sicherheit = Echtzeit 2018 / by: (Language materials, printed)

Food Dependency in the Middle East and North Africa Region = Retrospective Analysis and Projections to 2050 / by: (Language materials, printed)

Applied Scientific Computing = With Python / by: (Language materials, printed)

Statistics and Simulation = IWS 8, Vienna, Austria, September 2015 / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / by: (Language materials, printed)

Tagungsband des 3. Kongresses Montage Handhabung Industrieroboter by: (Language materials, printed)

Emergence of Communication in Socio-Biological Networks by: (Language materials, printed)

Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / by: (Language materials, printed)

3D Kinematics by: (Language materials, printed)

Computer Simulations in Science and Engineering = Concepts - Practices - Perspectives / by: (Language materials, printed)

New Trends in Model and Data Engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by: (Language materials, printed)

Methodological Investigations in Agent-Based Modelling = With Applications for the Social Sciences / by: (Language materials, printed)

Simulation Science = First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers / by: (Language materials, printed)

Handbook of Dynamic Data Driven Applications Systems by: (Language materials, printed)

Recent Advances in Computational Engineering = Proceedings of the 4th International Conference on Computational Engineering (ICCE 2017) in Darmstadt / by: (Language materials, printed)

Thermal Effects in Complex Machining Processes = Final Report of the DFG Priority Programme 1480 / by: (Language materials, printed)

Dissemination of Cartographic Knowledge = 6th International Symposium of the ICA Commission on the History of Cartography, 2016 / by: (Language materials, printed)

Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / by: (Language materials, printed)

Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / by: (Language materials, printed)

Machine Learning and Intelligent Communications = Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II / by: (Language materials, printed)

Advances in Neural Computation, Machine Learning, and Cognitive Research = Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by: (Language materials, printed)

Enterprise and Organizational Modeling and Simulation = 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers / by: (Language materials, printed)

Engineering Simulations as Scientific Instruments: A Pattern Language = With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield / by: (Language materials, printed)

Digitale Fabrik = Methoden und Praxisbeispiele / by: (Language materials, printed)

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / by: (Language materials, printed)

Security by Design = Innovative Perspectives on Complex Problems / by: (Language materials, printed)

Information Fusion and Intelligent Geographic Information Systems (IF&IGIS'17) = New Frontiers in Information Fusion and Intelligent GIS: From Maritime to Land-based Research / by: (Language materials, printed)

Real-Time Modelling and Processing for Communication Systems = Applications and Practices / by: (Language materials, printed)

The Test and Launch Control Technology for Launch Vehicles by: (Language materials, printed)

Simulations for Design and Manufacturing = Select Papers from AIMTDR 2016 / by: (Language materials, printed)

Scientific Computing in Electrical Engineering = SCEE 2016, St. Wolfgang, Austria, October 2016 / by: (Language materials, printed)

Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II / by: (Language materials, printed)

5G for Future Wireless Networks = First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings / by: (Language materials, printed)

The New Generation of Computable General Equilibrium Models = Modeling the Economy / by: (Language materials, printed)

The Uncertainty Analysis of Model Results = A Practical Guide / by: (Language materials, printed)

Ad Hoc Networks = 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings / by: (Language materials, printed)

Optimale Konzeptauslegung elektrifizierter Fahrzeugantriebsstränge = Eine computergestützte Methodik zur Beschleunigung des Auslegungsprozesses / by: (Language materials, printed)

Advances in Applied Strategic Mine Planning by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II / by: (Language materials, printed)

New Advances in Mechanism and Machine Science = Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017) / by: (Language materials, printed)

Multi-Agent Based Simulation XVIII = International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by: (Language materials, printed)

It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / by: (Language materials, printed)

Latent Variable Analysis and Signal Separation = 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings / by: (Language materials, printed)

Modelling Identities = A Case Study from the Iron Age of South-East Europe / by: (Language materials, printed)

Dynamics in GIscience by: (Language materials, printed)

Coastal Ocean Observing = Platforms, Sensors and Systems / by: (Language materials, printed)

Innovative Techniques and Applications of Modelling, Identification and Control = Selected and Expanded Reports from ICMIC’17 / by: (Language materials, printed)

Nature Inspired Computing = Proceedings of CSI 2015 / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers / by: (Language materials, printed)

Encyclopedia of Social Network Analysis and Mining by: (Language materials, printed)

Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Reaktives FE-Menschmodell im Insassenschutz = Simulation der Insassenkinematik in der Pre-Crash-Phase / by: (Language materials, printed)

Automatic Control Systems in Biomedical Engineering = An Interactive Educational Approach / by: (Language materials, printed)

Computational Models of Rhythm and Meter by: (Language materials, printed)

Sparse Grids and Applications - Miami 2016 by: (Language materials, printed)

Chaos, Complexity and Leadership 2016 by: (Language materials, printed)

Complex Spreading Phenomena in Social Systems = Influence and Contagion in Real-World Social Networks / by: (Language materials, printed)

Fuzzy Graph Theory with Applications to Human Trafficking by: (Language materials, printed)

Geomatic Approaches for Modeling Land Change Scenarios by: (Language materials, printed)

Exploring Occupant Behavior in Buildings = Methods and Challenges / by: (Language materials, printed)

Stochastic Finite Element Methods = An Introduction / by: (Language materials, printed)

Advances in Human Factors in Simulation and Modeling = Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA / by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I / by: (Language materials, printed)

Automatic Tuning of Compilers Using Machine Learning by: (Language materials, printed)

Communications and Networking = 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II / by: (Language materials, printed)

Communications and Networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I / by: (Language materials, printed)

Probability and Statistics for Computer Science by: (Language materials, printed)

Advanced Hybrid Information Processing = First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings / by: (Language materials, printed)

Modeling, Simulation, and Optimization by: (Language materials, printed)

Intelligent Control Design and MATLAB Simulation by: (Language materials, printed)

Finite Element Applications = A Practical Guide to the FEM Process / by: (Language materials, printed)

Neural Networks for Cooperative Control of Multiple Robot Arms by: (Language materials, printed)

Neuronale Modellierung der Sprachverarbeitung und des Sprachlernens = Eine Einführung / by: (Language materials, printed)

Bone Adaptation = In Silico Approach / by: (Language materials, printed)

Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 / by: (Language materials, printed)

Cloud-Föderationen = SLA-basierte VM-Scheduling-Verfahren / by: (Language materials, printed)

High Performance Computing in Science and Engineering ' 17 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017 / by: (Language materials, printed)

Metaheuristics for Business Analytics = A Decision Modeling Approach / by: (Language materials, printed)

Advances in Hydroinformatics = SimHydro 2017 - Choosing The Right Model in Applied Hydraulics / by: (Language materials, printed)

OpenGeoSys Tutorial = Computational Hydrology III: OGS#IPhreeqc Coupled Reactive Transport Modeling / by: (Language materials, printed)

Multi-layer Pavement System under Blast Load by: (Language materials, printed)

Proceedings of the International Conference on Modern Research in Aerospace Engineering = MRAE-2016 / by: (Language materials, printed)

Machine Learning and Intelligent Communications = Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I / by: (Language materials, printed)

Agent-Based Models and Complexity Science in the Age of Geospatial Big Data = Selected Papers from a workshop on Agent-Based Models and Complexity Science (GIScience 2016) / by: (Language materials, printed)

Multiphysics in Porous Materials by: (Language materials, printed)

Advances in Cross-Cultural Decision Making = Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA / by: (Language materials, printed)

Advances in Analysis and Design of Deep Foundations = Proceedings of the 1st GeoMEast International Congress and Exhibition, Egypt 2017 on Sustainable Civil Infrastructures / by: (Language materials, printed)

Modeling and Simulation in Industrial Engineering by: (Language materials, printed)

Involvement of Fluids in Earthquake Ruptures = Field/Experimental Data and Modeling / by: (Language materials, printed)

Computational Methods and Models for Transport = New Challenges for the Greening of Transport Systems / by: (Language materials, printed)

Operations Research Proceedings 2016 = Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Helmut Schmidt University Hamburg, Germany, August 30 - September 2, 2016 / by: (Language materials, printed)

Model engineering for simulation by: (Language materials, printed)

Theory of modeling and simulation = discrete event and iterative system computational foundations / by: (Language materials, printed)

Digital twin development and deployment on the cloud : = developing cloud-friendly dynamic models using Simulink/Simscape and Amazon AWS / by: (Language materials, printed)

Compatible Finite Element Methods for Geophysical Flows = Automation and Implementation Using Firedrake / by: (Language materials, printed)

Towards Mathematics, Computers and Environment: A Disasters Perspective by: (Language materials, printed)

Ray Tracing: A Tool for All by: (Language materials, printed)

Effective Model-Based Systems Engineering by: (Language materials, printed)

Recent Advances in Network Simulation = The OMNeT++ Environment and its Ecosystem / by: (Language materials, printed)

Integrating Qualitative and Social Science Factors in Archaeological Modelling by: (Language materials, printed)

VR, Simulations and Serious Games for Education by: (Language materials, printed)

Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives / by: (Language materials, printed)

Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen by: (Language materials, printed)

Monte Carlo Simulation in Statistical Physics = An Introduction / by: (Language materials, printed)

Reliability of Power Systems by: (Language materials, printed)

Intelligent and Interactive Computing = Proceedings of IIC 2018 / by: (Language materials, printed)

Modeling Survival Data Using Frailty Models = Second Edition / by: (Language materials, printed)

Soft Commutation Isolated DC-DC Converters by: (Language materials, printed)

Bayesian Statistics and New Generations = BAYSM 2018, Warwick, UK, July 2-3 Selected Contributions / by: (Language materials, printed)

Engineering Digital Transformation = Proceedings of the 11th International Conference on Industrial Engineering and Industrial Management / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV / by: (Language materials, printed)

High Performance Computing in Science and Engineering ' 18 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 / by: (Language materials, printed)

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions = Fire Safety Engineering / by: (Language materials, printed)

Models for Tropical Climate Dynamics = Waves, Clouds, and Precipitation / by: (Language materials, printed)

Uncertainty Management with Fuzzy and Rough Sets = Recent Advances and Applications / by: (Language materials, printed)

Wireless and Satellite Systems = 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I / by: (Language materials, printed)

Wireless and Satellite Systems = 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II / by: (Language materials, printed)

Crowd Behavior Simulation of Pedestrians During Evacuation Process = DEM-Based Approach / by: (Language materials, printed)

Advanced CAD Modeling = Explicit, Parametric, Free-Form CAD and Re-engineering / by: (Language materials, printed)

Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / by: (Language materials, printed)

Industrial Networks and Intelligent Systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI / by: (Language materials, printed)

Emotion, Personality and Cultural Aspects in Crowds = Towards a Geometrical Mind / by: (Language materials, printed)

Machine Learning and Intelligent Communications = 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings / by: (Language materials, printed)

Scientific Discovery in the Social Sciences by: (Language materials, printed)

Space Information Networks = Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers / by: (Language materials, printed)

Wireless Algorithms, Systems, and Applications = 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings / by: (Language materials, printed)

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: (Language materials, printed)

Practice of Optimisation Theory in Geotechnical Engineering by: (Language materials, printed)

Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by: (Language materials, printed)

Computational and Information Technologies in Science, Engineering and Education = 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by: (Language materials, printed)

Methodischer Ansatz zur Optimierung von Energieladestrategien für elektrisch angetriebene Fahrzeuge by: (Language materials, printed)

Backward Fuzzy Rule Interpolation by: (Language materials, printed)

Intelligent Integrated Energy Systems = The PowerWeb Program at TU Delft / by: (Language materials, printed)

Wind Power Based Isolated Energy Systems by: (Language materials, printed)

Landscape Lab = Drawing, Perception and Design for the Next Landscape Models / by: (Language materials, printed)

Simulation for Industry 4.0 = Past, Present, and Future / by: (Language materials, printed)

Ad Hoc Networks = 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / by: (Language materials, printed)

FlexSim in Academe: Teaching and Research by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by: (Language materials, printed)

Finding the Limits of the Limes = Modelling Demography, Economy and Transport on the Edge of the Roman Empire / by: (Language materials, printed)

Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by: (Language materials, printed)

IoT as a Service = 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings / by: (Language materials, printed)

Tagungsband des 4. Kongresses Montage Handhabung Industrieroboter by: (Language materials, printed)

The Art of High Performance Computing for Computational Science, Vol. 2 = Advanced Techniques and Examples for Materials Science / by: (Language materials, printed)

Green Energy and Networking = 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings / by: (Language materials, printed)

Modelling and Simulation = Exploring Dynamic System Behaviour / by: (Language materials, printed)

Verlässlichkeitssteigerung elektrischer Antriebe am Beispiel der elektromechanischen Servolenkung by: (Language materials, printed)

Advanced Hybrid Information Processing = Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II / by: (Language materials, printed)

Modeling and Application of Flexible Electronics Packaging by: (Language materials, printed)

Recent Trends in Signal and Image Processing = ISSIP 2017 / by: (Language materials, printed)

Pervasive Computing: A Networking Perspective and Future Directions by: (Language materials, printed)

Summer of Simulation = 50 Years of Seminal Computer Simulation Research / by: (Language materials, printed)

Topology-Based Modeling of Textile Structures and Their Joint Assemblies = Principles, Algorithms and Limitations / by: (Language materials, printed)

Hydrology in a Changing World = Challenges in Modeling / by: (Language materials, printed)

Fuzzy and Multi-Level Decision Making: Soft Computing Approaches by: (Language materials, printed)

Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by: (Language materials, printed)

Optimization of Process Flowsheets through Metaheuristic Techniques by: (Language materials, printed)

NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by: (Language materials, printed)

Virtuelle Prototypen für Lamellenventile in Pkw-Kältemittelverdichtern by: (Language materials, printed)

11th Chaotic Modeling and Simulation International Conference by: (Language materials, printed)

Simulieren und Entscheiden = Entscheidungsmodellierung, Modellierungsentscheidungen, Entscheidungsunterstützung / by: (Language materials, printed)

Prozessmodellierung mit ARIS® = Eine beispielorientierte Einführung für Studium und Praxis in ARIS 10 / by: (Language materials, printed)

Handbook of Model Predictive Control by: (Language materials, printed)

Complex Dynamics of Traffic Management by: (Language materials, printed)

Container Handling in Automated Yard Blocks = An Integrative Approach Based on Time Information / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / by: (Language materials, printed)

Algorithmic Game Theory = 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings / by: (Language materials, printed)

Shallow Water Hydraulics by: (Language materials, printed)

Echtzeit 2019 = Autonome Systeme – 50 Jahre PEARL / by: (Language materials, printed)

VR Technologies in Cultural Heritage = First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Spectral Mixture for Remote Sensing = Linear Model and Applications / by: (Language materials, printed)

Modelling and Simulation in Science, Technology and Engineering Mathematics = Proceedings of the International Conference on Modelling and Simulation (MS-17) / by: (Language materials, printed)

The Art of High Performance Computing for Computational Science, Vol. 1 = Techniques of Speedup and Parallelization for General Purposes / by: (Language materials, printed)

Computational Diffusion MRI = International MICCAI Workshop, Granada, Spain, September 2018 / by: (Language materials, printed)

Recent Trends in Signal and Image Processing = Proceedings of ISSIP 2018 / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Bioinformatics and Phylogenetics = Seminal Contributions of Bernard Moret / by: (Language materials, printed)

Production at the leading edge of technology = Proceedings of the 9th Congress of the German Academic Association for Production Technology (WGP), September 30th - October 2nd, Hamburg 2019 / by: (Language materials, printed)

Computer Modelling for Nutritionists by: (Language materials, printed)

Neural Modeling of Speech Processing and Speech Learning = An Introduction / by: (Language materials, printed)

Project Management and BIM for Sustainable Modern Cities = Proceedings of the 2nd GeoMEast International Congress and Exhibition on Sustainable Civil Infrastructures, Egypt 2018 – The Official International Congress of the Soil-Structure Interaction Group in Egypt (SSIGE) / by: (Language materials, printed)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers / by: (Language materials, printed)

Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Global Change = Vol.1 : The Foundations of a New Paradigm / by: (Language materials, printed)

Human Mental Workload: Models and Applications = Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers / by: (Language materials, printed)

BERRU Predictive Modeling = Best Estimate Results with Reduced Uncertainties / by: (Language materials, printed)

A Phenomenological Knock Model for the Development of Future Engine Concepts by: (Language materials, printed)

OPNET IoT Simulation by: (Language materials, printed)

Methods and Applications for Modeling and Simulation of Complex Systems = 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings / by: (Language materials, printed)

Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Simulation Tools and Techniques = 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings / by: (Language materials, printed)

Intersections in Simulation and Gaming: Disruption and Balance = Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings / by: (Language materials, printed)

Numerical Mathematics and Advanced Applications ENUMATH 2017 by: (Language materials, printed)

New Global Perspectives on Industrial Engineering and Management = International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM / by: (Language materials, printed)

Stochastische Verkehrsflusssimulation auf Basis von Fahrerverhaltensmodellen zur Absicherung automatisierter Fahrfunktionen by: (Language materials, printed)

27th International Meshing Roundtable by: (Language materials, printed)

Mathematical Insights into Advanced Computer Graphics Techniques by: (Language materials, printed)

Advances in Manufacturing, Production Management and Process Control = Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA / by: (Language materials, printed)

Simulation and Modeling Methodologies, Technologies and Applications = 7th International Conference, SIMULTECH 2017 Madrid, Spain, July 26–28, 2017 Revised Selected Papers / by: (Language materials, printed)

Communications and Networking = 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings / by: (Language materials, printed)

Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by: (Language materials, printed)

Analysis of Injection Processes in an Innovative 3D-CFD Tool for the Simulation of Internal Combustion Engines by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V / by: (Language materials, printed)

Social Simulation for a Digital Society = Applications and Innovations in Computational Social Science / by: (Language materials, printed)

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice by: (Language materials, printed)

Machine Learning in Sports = Identifying Potential Archers / by: (Language materials, printed)

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering by: (Language materials, printed)

Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data = Multi-season characteristics from Lanzhou City, China / by: (Language materials, printed)

Transient Effects in Simulations of Hybrid Electric Drivetrains by: (Language materials, printed)

Subsidence Analysis and Visualization = For Sedimentary Basin Analysis and Modelling / by: (Language materials, printed)

Advances in Human Factors in Simulation and Modeling = Proceedings of the AHFE 2018 International Conferences on Human Factors and Simulation and Digital Human Modeling and Applied Optimization, Held on July 21–25, 2018, in Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA / by: (Language materials, printed)

Evolutionary Algorithms and Neural Networks = Theory and Applications / by: (Language materials, printed)

Enhancements in Applied Geomechanics, Mining, and Excavation Simulation and Analysis = Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China / by: (Language materials, printed)

Simulating Urban Traffic Scenarios = 3rd SUMO Conference 2015 Berlin, Germany / by: (Language materials, printed)