Computer simulation.
概要
| 作品: | 970 作品在 116 項出版品 116 種語言 | |
|---|---|---|
書目資訊
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Robust range image registration : = using genetic algorithms and the surface interpenetration measure /
by:
(書目-語言資料,印刷品)
Modeling and control of complex physical systems = the port-Hamiltonian approach /
by:
(書目-語言資料,印刷品)
Advancing the frontiers of simulation = a festschrift in honor of George Samuel Fishman /
by:
(書目-語言資料,印刷品)
Introduction to modeling and simulation of technical and physical systems with Modelica
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Applied control of electrical drives = real time embedded and sensorless control using VisSim and PLECS /
by:
(書目-語言資料,印刷品)
KI 2015 = advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Pattern recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Testing and validation of computer simulation models = principles, methods and applications /
by:
(書目-語言資料,印刷品)
Modeling, analysis, and applications in metaheuristic computing = advancements and trends /
by:
(書目-語言資料,印刷品)
Handbook of research on computational science and engineering = theory and practice /
by:
(書目-語言資料,印刷品)
Cognitive agent-based computing-I = a unified framework for modeling complex adaptive systems using agent-based & complex network-based methods /
by:
(書目-語言資料,印刷品)
Modeling and simulating command and control = for organizations under extreme situations /
by:
(書目-語言資料,印刷品)
Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Model-based development and evolution of information systems = a quality approach /
by:
(書目-語言資料,印刷品)
Geo-informatics in resource management and sustainable ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Modeling, simulation and visual analysis of crowds = a multidisciplinary perspective /
by:
(書目-語言資料,印刷品)
Software and data technologies = 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information computing and applications = 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Virtual reality and animation for MATLAB and Simulink users = visualization of dynamic models and control simulations /
by:
(書目-語言資料,印刷品)
Advances in intelligent modelling and simulation = simulation tools and applications /
by:
(書目-語言資料,印刷品)
Formal languages for computer simulation = transdisciplinary models and applications /
by:
(書目-語言資料,印刷品)
Benchmarking transaction and analytical processing systems = the creation of a mixed workload benchmark and its application /
by:
(書目-語言資料,印刷品)
Digital representations of the real world : = how to capture, model, and render visual reality /
by:
(書目-語言資料,印刷品)
Applications of soft computing in time series forecasting = simulation and modeling techniques /
by:
(書目-語言資料,印刷品)
Bionic optimization in structural design = stochastically based methods to improve the performance of parts and assemblies /
by:
(書目-語言資料,印刷品)
Multiscale paradigms in integrated computational materials science and engineering = materials theory, modeling, and simulation for predictive design /
by:
(書目-語言資料,印刷品)
Modeling and simulation in engineering, economics and management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Bridging the gap between rendering and simulation frameworks = concepts, approaches and applications for modern multi-domain VR simulation systems /
by:
(書目-語言資料,印刷品)
Seminal contributions to modelling and simulation = 30 years of the European Council of Modelling and Simulation /
by:
(書目-語言資料,印刷品)
Disruptive analytics = charting your strategy for next-generation business analytics /
by:
(書目-語言資料,印刷品)
Resource management for big data platforms = algorithms, modelling, and high-performance computing techniques /
by:
(書目-語言資料,印刷品)
Principles of object oriented modeling and simulation with Modelica 3.3 = a cyber-physical approach /
by:
(書目-語言資料,印刷品)
Guide to computational modelling for decision processes = theory, algorithms, techniques and applications /
by:
(書目-語言資料,印刷品)
Introduction to modeling and simulation of technical and physical systems with Modelica
by:
(書目-語言資料,印刷品)
Advances in modeling and simulation = seminal research from 50 years of winter simulation conferences /
by:
(書目-語言資料,印刷品)
The new generation of computable general equilibrium models = modeling the economy /
by:
(書目-語言資料,印刷品)
Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Computer simulations in science and engineering = concepts - practices - perspectives /
by:
(書目-語言資料,印刷品)
Smart nitrate sensor = internet of things enabled real-time water quality monitoring /
by:
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Robust Simulation for Mega-Risks = The Path from Single-Solution to Competitive, Multi-Solution Methods for Mega-Risk Management /
by:
(書目-語言資料,印刷品)
An Information Technology Framework for Predictive, Preventive and Personalised Medicine = A Use-Case with Hepatocellular Carcinoma /
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Untersuchung der Potentiale der numerischen Strömungsberechnung zur Prognose der Partikelemissionen in Ottomotoren mit Direkteinspritzung
by:
(書目-語言資料,印刷品)
Modeling and Simulation in the Systems Engineering Life Cycle = Core Concepts and Accompanying Lectures /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Closed-Form Solutions /
by:
(書目-語言資料,印刷品)
Concepts and Methodologies for Modeling and Simulation = A Tribute to Tuncer Ören /
by:
(書目-語言資料,印刷品)
Energy Efficient Data Centers = Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
The Visual Language of Technique = Volume 3 - Heritage and Expectations in Education /
by:
(書目-語言資料,印刷品)
Recent Trends in Computational Engineering - CE2014 = Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems /
by:
(書目-語言資料,印刷品)
Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics /
by:
(書目-語言資料,印刷品)
Virtual Worlds as Philosophical Tools = How to Philosophize with a Digital Hammer /
by:
(書目-語言資料,印刷品)
Functional Imaging and Modeling of the Heart = 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Systems Theory – EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Pattern Recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple™ und MapleSim™ = Anwendung in Elektrotechnik, Mechanik und Antriebstechnik /
by:
(書目-語言資料,印刷品)
Prozessmodellierung mit ARIS® = Eine beispielorientierte Einführung für Studium und Praxis in ARIS 9 /
by:
(書目-語言資料,印刷品)
Artificial Life and Intelligent Agents = First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Steuerung ereignisdiskreter Prozesse = Neuartige Methoden zur Prozessbeschreibung und zum Entwurf von Steueralgorithmen /
by:
(書目-語言資料,印刷品)
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
by:
(書目-語言資料,印刷品)
Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
An Introduction to R for Quantitative Economics = Graphing, Simulating and Computing /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modeling Mobility with Open Data = 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014 /
by:
(書目-語言資料,印刷品)
Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
KI 2015: Advances in Artificial Intelligence = 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Simulation-Based Optimization = Parametric Optimization Techniques and Reinforcement Learning /
by:
(書目-語言資料,印刷品)
CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation = Industrial and Research Applications /
by:
(書目-語言資料,印刷品)
The Science of Golf Putting = A Complete Guide for Researchers, Players and Coaches /
by:
(書目-語言資料,印刷品)
Tools of Transport Telematics = 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015. Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Spatial Data Handling and Analysis = Select Papers from the 16th IGU Spatial Data Handling Symposium /
by:
(書目-語言資料,印刷品)
Testing and Validation of Computer Simulation Models = Principles, Methods and Applications /
by:
(書目-語言資料,印刷品)
Smart Learning Objects for Smart Education in Computer Science = Theory, Methodology and Robot-Based Implementation /
by:
(書目-語言資料,印刷品)
Hierarchical Sliding Mode Control for Under-actuated Cranes = Design, Analysis and Simulation /
by:
(書目-語言資料,印刷品)
Drehstrommaschinen im Inselbetrieb = Modellbildung - Parametrierung - Simulation /
by:
(書目-語言資料,印刷品)
Komplexitätsmanagement mit der K-Methode = Preisdefinition, IT und Controlling im Einkauf von Packmitteln /
by:
(書目-語言資料,印刷品)
Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods /
by:
(書目-語言資料,印刷品)
Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der Frühen Phase der Produktentstehung
by:
(書目-語言資料,印刷品)
Fractional Order Differentiation and Robust Control Design = CRONE, H-infinity and Motion Control /
by:
(書目-語言資料,印刷品)
Applied Simulation and Optimization = In Logistics, Industrial and Aeronautical Practice /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent-Based Simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multiagent System Technologies = 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Pattern Recognition: Applications and Methods = 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Augmented and Virtual Reality = Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition Applications and Methods = Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bio-Inspired Computing -- Theories and Applications = 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Value Chain Marketing = A Marketing Strategy to Overcome Immediate Customer Innovation Resistance /
by:
(書目-語言資料,印刷品)
Hybrid Systems Biology = Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Advances in Natural Computing = Selected Results from the IWNC 7 Symposium /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language = Bringing the Power of R to a Geochemical Community /
by:
(書目-語言資料,印刷品)
Mathematical and Computational Approaches in Advancing Modern Science and Engineering
by:
(書目-語言資料,印刷品)
High Performance Computer Applications = 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering
by:
(書目-語言資料,印刷品)
Methodologies for Service Life Prediction of Buildings = With a Focus on Façade Claddings /
by:
(書目-語言資料,印刷品)
Simulation Training: Fundamentals and Applications = Improving Professional Practice Through Simulation Training /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Resource Management for Big Data Platforms = Algorithms, Modelling, and High-Performance Computing Techniques /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering ´16 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Serious Games, Interaction, and Simulation = 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
KI 2016: Advances in Artificial Intelligence = 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Benchmarking Initiatives /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Intelligent Systems for Computer Modelling = Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 /
by:
(書目-語言資料,印刷品)
External Thermal Insulation Composite Systems (ETICS) = An Evaluation of Hygrothermal Behaviour /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Strukturbildung und Simulation technischer Systeme Band 1 = Die statischen Grundlagen der Simulation /
by:
(書目-語言資料,印刷品)
Applications of Soft Computing in Time Series Forecasting = Simulation and Modeling Techniques /
by:
(書目-語言資料,印刷品)
Seminal Contributions to Modelling and Simulation = 30 Years of the European Council of Modelling and Simulation /
by:
(書目-語言資料,印刷品)
Ein Beitrag zur Erhöhung der Reichweite eines batterieelektrischen Fahrzeugs durch prädiktives Thermomanagement
by:
(書目-語言資料,印刷品)
Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Building a SharePoint 2016 Home Lab = A How-To Reference on Simulating a Realistic SharePoint Testing Environment /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Multicomponent and Multiscale Systems = Theory, Methods, and Applications in Engineering /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Toward Robotic Socially Believable Behaving Systems - Volume II = Modeling Social Signals /
by:
(書目-語言資料,印刷品)
Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach /
by:
(書目-語言資料,印刷品)
Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Social Dimensions of Organised Crime = Modelling the Dynamics of Extortion Rackets /
by:
(書目-語言資料,印刷品)
Variable-Structure Approaches = Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Diffusion MRI = MICCAI Workshop, Munich, Germany, October 9th, 2015 /
by:
(書目-語言資料,印刷品)
Innovating with Concept Mapping = 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Complexity Management with the K-Method = Price Structures, IT and Controlling for Procurement of Packaging Materials /
by:
(書目-語言資料,印刷品)
Investment in Electricity Generation and Transmission = Decision Making under Uncertainty /
by:
(書目-語言資料,印刷品)
Advances in Computational Fluid-Structure Interaction and Flow Simulation = New Methods and Challenging Computations /
by:
(書目-語言資料,印刷品)
Managing the Complexity of Critical Infrastructures = A Modelling and Simulation Approach /
by:
(書目-語言資料,印刷品)
Model Design and Simulation Analysis = 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Behavioural Models = From Modelling Finite Automata to Analysing Business Processes /
by:
(書目-語言資料,印刷品)
Verifying Calculations - Forty Years On = An Overview of Classical Verification Techniques for FEM Simulations /
by:
(書目-語言資料,印刷品)
The Tyranny of Uncertainty = A New Framework to Predict, Remediate and Monitor Risk /
by:
(書目-語言資料,印刷品)
Methodik zur Fabriksystemmodellierung im Kontext von Energie- und Ressourceneffizienz
by:
(書目-語言資料,印刷品)
Introducing the Oscillations Based Paradigm = The Simulation of Agents and Social Systems /
by:
(書目-語言資料,印刷品)
Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature /
by:
(書目-語言資料,印刷品)
Disruptive Analytics = Charting Your Strategy for Next-Generation Business Analytics /
by:
(書目-語言資料,印刷品)
Process-Aware Systems = Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Game of Colors: Moderne Bewegtbildproduktion = Theorie und Praxis für Film, Video und Fernsehen /
by:
(書目-語言資料,印刷品)
Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
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)
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)
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)
Wireless Sensor Networks = Concepts, Applications, Experimentation and Analysis /
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)
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)
Transactions on Computational Collective Intelligence XXI = Special Issue on Keyword Search and Big Data /
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)
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)
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)
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)
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)
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)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
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)
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)
Food Dependency in the Middle East and North Africa Region = Retrospective Analysis and Projections to 2050 /
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)
Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
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)
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)
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)
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)
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)
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)
Innovative Techniques and Applications of Modelling, Identification and Control = Selected and Expanded Reports from ICMIC’17 /
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)
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)
Complex Spreading Phenomena in Social Systems = Influence and Contagion in Real-World Social Networks /
by:
(Language materials, printed)
Exploring Occupant Behavior in Buildings = Methods and Challenges /
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)
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)
Advanced Hybrid Information Processing = First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings /
by:
(Language materials, printed)
Finite Element Applications = A Practical Guide to the FEM Process /
by:
(Language materials, printed)
Neuronale Modellierung der Sprachverarbeitung und des Sprachlernens = Eine Einführung /
by:
(Language materials, printed)
Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 /
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Intelligent Integrated Energy Systems = The PowerWeb Program at TU Delft /
by:
(Language materials, printed)
Landscape Lab = Drawing, Perception and Design for the Next Landscape Models /
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Advances on Robotic Item Picking : = applications in warehousing & e-commerce fulfillment /
by:
(Language materials, printed)
Fuzzy Collaborative Forecasting and Clustering = Methodology, System Architecture, and Applications /
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)
Einführung in die Verkehrssimulation = Ein kompakter Überblick zu mikroskopischen Verkehrsmodellen mit zellulären Automaten /
by:
(Language materials, printed)
Mikrosimulationen = Methodische Grundlagen und ausgewählte Anwendungsfelder /
by:
(Language materials, printed)
Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
by:
(Language materials, printed)
Comprehensive Healthcare Simulation: InterProfessional Team Training and Simulation
by:
(Language materials, printed)
Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications /
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)
Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2018, Rennes, France, July 1–6 /
by:
(Language materials, printed)
Advances on Robotic Item Picking = Applications in Warehousing & E-Commerce Fulfillment /
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)
Fail-operational Safety Architecture for ADAS/AD Systems and a Model-driven Approach for Dependent Failure Analysis
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)
NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings /
by:
(Language materials, printed)
Unconventional Tight Reservoir Simulation: Theory, Technology and Practice
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)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
(Language materials, printed)
An Integrated Framework for Energy-Economy-Emissions Modeling = A Case Study of India /
by:
(Language materials, printed)
Simulation for Cyber-Physical Systems Engineering = A Cloud-Based Context /
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)
Complex Social and Behavioral Systems = Game Theory and Agent-Based Models /
by:
(Language materials, printed)
Computational Methods for Nanoscale Applications = Particles, Plasmons and Waves /
by:
(Language materials, printed)
Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings /
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)
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)
Proceedings of the 2019 DigitalFUTURES = The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019) /
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)
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)
Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings /
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)
Technological Paradigms and Digital Eras = Data-driven Visions for Building Design /
by:
(Language materials, printed)
Advances in Simulation, Product Design and Development = Proceedings of AIMTDR 2018 /
by:
(Language materials, printed)
Strukturbildung und Simulation technischer Systeme = Band 3: Magnetismus und Transformatoren /
by:
(Language materials, printed)
Machine Learning in Team Sports = Performance Analysis and Talent Identification in Beach Soccer & Sepak-takraw /
by:
(Language materials, printed)
Mathematical Analysis of Continuum Mechanics and Industrial Applications III = Proceedings of the International Conference CoMFoS18 /
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)
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)
Computation and Big Data for Transport = Digital Innovations in Surface and Air Transport Systems /
by:
(Language materials, printed)
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
by:
(Language materials, printed)
Phänomenologische Modellierung der Dieselverbrennung auf homogenem Grundgemisch
by:
(Language materials, printed)
Modeling and Application of Electromagnetic and Thermal Field in Electrical Engineering
by:
(Language materials, printed)
Physik begreifen – besser konstruieren = 8 Rezepte für besseres Konstruieren dank Physics Driven Design /
by:
(Language materials, printed)
Disaster Risk Communication = A Challenge from a Social Psychological Perspective /
by:
(Language materials, printed)
Turbocharger Integration into Multidimensional Engine Simulations to Enable Transient Load Cases
by:
(Language materials, printed)
Robotics and Mechatronics = Proceedings of the 6th IFToMM International Symposium on Robotics and Mechatronics (ISRM 2019) /
by:
(Language materials, printed)
Nonlinear System Identification = From Classical Approaches to Neural Networks, Fuzzy Models, and Gaussian Processes /
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)
Advances in Hydroinformatics = SimHydro 2019 - Models for Extreme Situations and Crisis Management /
by:
(Language materials, printed)
Architecting Robust Co-Design of Materials, Products, and Manufacturing Processes
by:
(Language materials, printed)
Computer Meets Theoretical Physics = The New Frontier of Molecular Simulation /
by:
(Language materials, printed)
Quantification of Uncertainty: Improving Efficiency and Technology = QUIET selected contributions /
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)
Machine Learning in Aquaculture = Hunger Classification of Lates calcarifer /
by:
(Language materials, printed)
Artificial Intelligence for Customer Relationship Management = Keeping Customers Informed /
by:
(Language materials, printed)
Agriculture and Air Quality = Investigating, Assessing and Managing /
by:
(Language materials, printed)
運用電腦模擬於金屬家具包裝產線瓶頸之研究 = = Using Simulation to Solve Bottleneck Problem in the Packaging Process of the Metallic Furniture Manufacturing /
by:
(Language materials, printed)
New methods and paradigms for modeling dynamic processes based on cellular automata
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)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Aerodynamic Study on the Vehicle Shape Parameters with Respect to Ground Simulation
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)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Optimization Methods in Engineering = Select Proceedings of CPIE 2019 /
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)
Advances in Core Computer Science-Based Technologies = Papers in Honor of Professor Nikolaos Alexandris /
by:
(Language materials, printed)
Catastrophes and Unexpected Behavior Patterns in Complex Artificial Populations
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)
Resource Management and Performance Analysis of Wireless Communication Networks
by:
(Language materials, printed)
Practice of Bayesian Probability Theory in Geotechnical Engineering
by:
(Language materials, printed)
Decision Making And Problem Solving = A Practical Guide For Applied Research /
by:
(Language materials, printed)
Modeling, Simulation and Optimization = Proceedings of CoMSO 2020 /
by:
(Language materials, printed)
Reliability Assessment of Safety and Production Systems = Analysis, Modelling, Calculations and Case Studies /
by:
(Language materials, printed)
Introduction to Python in Earth Science Data Analysis = From Descriptive Statistics to Machine Learning /
by:
(Language materials, printed)
Modeling of Real Fuels and Knock Occurrence for an Effective 3D-CFD Virtual Engine Development
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)
Microsimulation Population Projections with SAS = A Reference Guide /
by:
(Language materials, printed)
Clinical and Biomedical Engineering in the Human Nose = A Computational Fluid Dynamics Approach /
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)
Untersuchung von transienten Interferenzeffekten in einem Freistrahlwindkanal für Automobile
by:
(Language materials, printed)
Bond Graph Modelling for Control, Fault Diagnosis and Failure Prognosis
by:
(Language materials, printed)
Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung /
by:
(Language materials, printed)
Computer Vision for X-Ray Testing = Imaging, Systems, Image Databases, and Algorithms /
by:
(Language materials, printed)
Artificial Intelligence for Customer Relationship Management = Solving Customer Problems /
by:
(Language materials, printed)
Die Erstellung eines digitalen Zwillings = Eine Einführung in Simcenter Amesim /
by:
(Language materials, printed)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(Language materials, printed)
Methoden zur durchgängigen virtuellen Eigenschaftsentwicklung von Fahrzeugen mit Bremsregelsystem
by:
(Language materials, printed)
Optimal Operation and Control of Power Systems Using an Algebraic Modelling Language
by:
(Language materials, printed)
Advanced Prognostic Predictive Modelling in Healthcare Data Analytics
by:
(Language materials, printed)
Guide to Industrial Analytics = Solving Data Science Problems for Manufacturing and the Internet of Things /
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)
Numerical Mathematics and Advanced Applications ENUMATH 2019 = European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4 /
by:
(Language materials, printed)
Digital Anatomy = Applications of Virtual, Mixed and Augmented Reality /
by:
(Language materials, printed)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
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)
High Performance Computing in Science and Engineering '19 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 /
by:
(Language materials, printed)
Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings /
by:
(Language materials, printed)
Modelling, Simulation and Applications of Complex Systems = CoSMoS 2019, Penang, Malaysia, April 8-11, 2019 /
by:
(Language materials, printed)
Integration von Sensitivitätsanalysemethoden in den Entwicklungsprozess für Fahrwerkregelsysteme
by:
(Language materials, printed)
Mathematical Modelling of Decision Problems = Using the SIMUS Method for Complex Scenarios /
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)
Objektivierung der Fahrbarkeit im fahrdynamischen Grenzbereich von Rennfahrzeugen
by:
(Language materials, printed)
Foundations and Methods of Stochastic Simulation = A First Course /
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)
Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima /
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)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
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)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(Language materials, printed)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
(Language materials, printed)
Introduction to Crowd Management = Managing Crowds in the Digital Era: Theory and Practice /
by:
(Language materials, printed)
Proceedings of the 2020 Conference of The Computational Social Science Society of the Americas
by:
(Language materials, printed)
Matrix and Analytical Methods for Performance Analysis of Telecommunication Systems
by:
(Language materials, printed)
Thermofluid Dynamics of Turbulent Flows = Fundamentals and Modelling /
by:
(Language materials, printed)
Mathematische Modellierung = Wie funktioniert sie und was kann sie? /
by:
(Language materials, printed)
Exploring Susceptible-Infectious-Recovered (SIR) Model for COVID-19 Investigation
by:
(Language materials, printed)
Overhang Design Methods = Optimal Thermal and Daylighting Performance /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
(Language materials, printed)
Algorithmic Game Theory = 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings /
by:
(Language materials, printed)
Recent Trends in Engineering Design = Select Proceedings of ICCEMME 2021 /
by:
(Language materials, printed)
Entanglement in Spin Chains = From Theory to Quantum Technology Applications /
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)
Programming4Modeling = Codes in Modellen auf Basis von Java und UML /
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)
Dynamic Equivalent Modeling of Acoustic Metamaterials = Solving Problem of Noise and Vibration /
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)
Modern Methods in Mathematical Physics = Integral Equations in Wolfram Mathematica /
by:
(Language materials, printed)
Advances in Solid and Fracture Mechanics = A Liber Amicorum to Celebrate the Birthday of Nikita Morozov /
by:
(Language materials, printed)
Optical Polymer Waveguides = From the Design to the Final 3D-Opto Mechatronic Integrated Device /
by:
(Language materials, printed)
Modeling, Simulation and Optimization = Proceedings of CoMSO 2021 /
by:
(Language materials, printed)
Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science = ICMMCS 2021 /
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)
The nth-Order Comprehensive Adjoint Sensitivity Analysis Methodology, Volume I = Overcoming the Curse of Dimensionality: Linear Systems /
by:
(Language materials, printed)
Luminescent Materials = A Quantum Chemical Approach for Computer-Aided Discovery and Design /
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)
Objektivierung des subjektiven Insassenempfindens bei längsdynamischen Beschleunigungsmanövern
by:
(Language materials, printed)
Python for MATLAB Development = Extend MATLAB with 300,000+ Modules from the Python Package Index /
by:
(Language materials, printed)
Sophisticated Electromagnetic Forward Scattering Solver via Deep Learning
by:
(Language materials, printed)
On Spatio-Temporal Data Modelling and Uncertainty Quantification Using Machine Learning and Information Theory
by:
(Language materials, printed)
Simulation of Additive Manufacturing using Meshfree Methods = With Focus on Requirements for an Accurate Solution /
by:
(Language materials, printed)
3D Mesh Processing and Character Animation = With Examples Using OpenGL, OpenMesh and Assimp /
by:
(Language materials, printed)
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. IV)
by:
(Language materials, printed)
Quality of Work-Life During Pandemic = Data Analysis and Mathematical Modeling /
by:
(Language materials, printed)
Concise Guide to Optimization Models and Methods = A Problem-Based Test Prep for Students /
by:
(Language materials, printed)
Proceedings of the 2021 Conference of The Computational Social Science Society of the Americas
by:
(Language materials, printed)
Advances in Social Simulation = Proceedings of the 16th Social Simulation Conference, 20–24 September 2021 /
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)
Simulation Tools and Techniques = 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings /
by:
(Language materials, printed)
Computational Engineering 2 = Theorie und Anwendungen im Bereich der Elektrodynamik /
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)
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy = Proceedings of the Second International Conference, MMCITRE 2021 /
by:
(Language materials, printed)
Finite Volume Methods for the Incompressible Navier–Stokes Equations
by:
(Language materials, printed)
Motion Analysis of Soccer Ball = Dynamics Modeling, Optimization Design and Virtual Simulation /
by:
(Language materials, printed)
Cohesive Zone Modelling for Fatigue Life Analysis of Adhesive Joints
by:
(Language materials, printed)
Dust-Gas Instabilities in Protoplanetary Disks = Toward Understanding Planetesimal Formation /
by:
(Language materials, printed)
Fahrermodell zur realitätsnahen Erprobung von Handschaltgetrieben an Antriebsstrangprüfständen
by:
(Language materials, printed)
Systemverfahrenstechnik in der Ingenieurspraxis = Beherrschung von Prozessen, Gefährdungen und Reinheitskriterien /
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)
Models for research and understanding = exploring dynamic systems, unconventional approaches, and applications /
by:
(Language materials, printed)
SystemVerilog for design : = a guide to using SystemVerilog for hardware design and modeling /
by:
(Language materials, printed)
Millimetre-Wave Components Based on Groove Gap Waveguide Technology: Design and Development.
by:
(Language materials, printed)
SystemVerilog for design : = a guide to using SystemVerilog for hardware design and modeling /
by:
(Language materials, printed)
How to make real money in second life = boost your business, market your services, and sell your products in the world's hottest virtual community /
by:
(Language materials, printed)
Extracting Capacity Metrics for General Aviation Airports from ADS-B Data.
by:
(Language materials, manuscript)
Applying AI-based IoT systems to simulation-based information retrieval
by:
(Language materials, printed)
Discrete-event modeling and simulation = a practitioner's approach /
by:
(Language materials, printed)
Human activity recognition and anomaly detection = 4th international workshop, DL-HAR 2024, and first international workshop, ADFM 2024, held in conjunction with IJCAI 2024 Jeju, South Korea, August 3-9, 2024, revised selected papers /
by:
(Language materials, printed)
Modeling, simulation and computer technology = first international conference, ICMSCT 2024, Skikda, Algeria, November 5-6, 2024, proceedings /
by:
(Language materials, printed)
Advanced aircraft understanding via the virtual aircraft model = results of the german research initiative vitam /
by:
(Language materials, printed)
Show more
Fewer
Subjects