Simulation and Modeling.
Overview
Works: | 1820 works in 803 publications in 803 languages |
---|
Titles
Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima /
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)
Mathematical Modelling of Decision Problems = Using the SIMUS Method for Complex Scenarios /
by:
(Language materials, printed)
Modelling, Simulation and Applications of Complex Systems = CoSMoS 2019, Penang, Malaysia, April 8-11, 2019 /
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)
Numerical Mathematics and Advanced Applications ENUMATH 2019 = European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4 /
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)
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)
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)
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)
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)
Modeling, Simulation and Optimization = Proceedings of CoMSO 2020 /
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)
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)
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)
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)
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)
Dynamical Characteristics of Inertia-Gravity Waves in the Antarctic Mesosphere = Analyses Combining High-Resolution Observations and Modeling /
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)
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)
Mikrosimulationen = Methodische Grundlagen und ausgewählte Anwendungsfelder /
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)
Fuzzy Collaborative Forecasting and Clustering = Methodology, System Architecture, and Applications /
by:
(Language materials, printed)
Simulation Approaches in Transportation Analysis = Recent Advances and Challenges /
by:
(Language materials, printed)
User Modeling 2005 = 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /
by:
(Language materials, printed)
Architecture Description Languages = IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
by:
(Language materials, printed)
Process Modelling for Control = A Unified Framework Using Standard Black-box Techniques /
by:
(Language materials, printed)
Auralization = Fundamentals of Acoustics, Modelling, Simulation, Algorithms and Acoustic Virtual Reality /
by:
(Language materials, printed)
Missing Data and Small-Area Estimation = Modern Analytical Equipment for the Survey Statistician /
by:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III
by:
(Language materials, printed)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II /
by:
(Language materials, printed)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III
by:
(Language materials, printed)
Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
by:
(Language materials, printed)
Cognition, Communication and Interaction = Transdisciplinary Perspectives on Interactive Technology /
by:
(Language materials, printed)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III /
by:
(Language materials, printed)
Intelligent Virtual Agents = 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I /
by:
(Language materials, printed)
Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers /
by:
(Language materials, printed)
Battery Management Systems = Accurate State-of-Charge Indication for Battery-Powered Applications /
by:
(Language materials, printed)
OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings /
by:
(Language materials, printed)
Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
by:
(Language materials, printed)
Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I /
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)
Geo-informatics in resource management and sustainable ecosystem = second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014 : proceedings /
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)
Job scheduling strategies for parallel processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : 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)
The finite element method and applications in engineering using ANSYS
by:
(Language materials, printed)
Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 /
by:
(Language materials, printed)
Multi-Agent and Multi-Agent-Based Simulation = Joint Workshop MABS 2004 /
by:
(Language materials, printed)
Cellular Automaton Modeling of Biological Pattern Formation = Characterization, Applications, and Analysis /
by:
(Language materials, printed)
Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. II
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)
The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems /
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)
Parallel computing technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings /
by:
(Language materials, printed)
Behavior modeling = foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers /
by:
(Language materials, printed)
Offshore service industry and logistics modeling in the Gulf of Mexico
by:
(Language materials, printed)
Quantitative evaluation of systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
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)
Latent variable analysis and signal separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings /
by:
(Language materials, printed)
Curves and surfaces = 8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers /
by:
(Language materials, printed)
Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 /
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)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV /
by:
(Language materials, printed)
Computer Aided Systems Theory - EUROCAST 2005 : = 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
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)
Modeling of metal forming and machining processes = by finite element and soft computing methods /
by:
(Language materials, printed)
Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings /
by:
(Language materials, printed)
Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
by:
(Language materials, printed)
Bio-inspired computing and communication = first workshop on bio-inspired design of networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 revised selected papers /
by:
(Language materials, printed)
Modeling marvels = computational anticipation of novel molecules /
by:
(Language materials, printed)
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
by:
(Language materials, printed)
Image-based computational modeling of the human Circulatory and Pulmonary Systems = methods and applications /
by:
(Language materials, printed)
Identification of dynamic systems = an introduction with applications /
by:
(Language materials, printed)
Systems Modeling and Simulation: Theory and Applications = Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Spatial Cognition IV. = Reasoning, Action, InteractionInternational Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004 : Revised Selected Papers /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings /
by:
(Language materials, printed)
Engineering Societies in the Agents World V = 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
by:
(Language materials, printed)
Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers /
by:
(Language materials, printed)
Advanced modeling and optimization of manufacturing processes = International Research and Development /
by:
(Language materials, printed)
Social understanding = on hermeneutics, geometrical models and artificial intelligence /
by:
(Language materials, printed)
Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. I
by:
(Language materials, printed)
Autonomy Oriented Computing = From Problem Solving to Complex Systems Modeling /
by:
(Language materials, printed)
3D-Groundwater Modeling with PMWIN = A Simulation System for Modeling Groundwater Flow and Transport Processes /
by:
(Language materials, printed)
Modeling communication with robots and virtual humans = second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006 ; revised selected papers /
by:
(Language materials, printed)
Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings /
by:
(Language materials, printed)
Advances in geometric modeling and processing = 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 ; proceedings /
by:
(Language materials, printed)
Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers /
by:
(Language materials, printed)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(Language materials, printed)
Quantification of Uncertainty: Improving Efficiency and Technology = QUIET selected contributions /
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)
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)
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)
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)
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)
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)
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)
Heterogeneous objects modelling and applications = collection of papers on foundations and practice /
by:
(Language materials, printed)
Agents for games and simulations II = trends in techniques, concepts and design /
by:
(Language materials, printed)
Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part I /
by:
(Language materials, printed)
From Animals to Animats 10 = 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings /
by:
(Language materials, printed)
Introduction to discrete event simulation and agent-based modeling = voting systems, health care, military, and manufacturing /
by:
(Language materials, printed)
Condition monitoring and assessment of power transformers using computational intelligence
by:
(Language materials, printed)
A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
by:
(Language materials, printed)
Biomedical Simulation = 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings /
by:
(Language materials, printed)
Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
by:
(Language materials, printed)
Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
by:
(Language materials, printed)
Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Cellular Automata = 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings /
by:
(Language materials, printed)
Hybrid Learning and Education = First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I /
by:
(Language materials, printed)
The Common Component Modeling Example = Comparing Software Component Models /
by:
(Language materials, printed)
Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers /
by:
(Language materials, printed)
Spatial cognition. = International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings /. VI,. Learning, Reasoning, and Talking about Space
by:
(Language materials, printed)
Cognitive Engineering = A Distributed Approach to Machine Intelligence /
by:
(Language materials, printed)
Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part II /
by:
(Language materials, printed)
Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part IV /
by:
(Language materials, printed)
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
by:
(Language materials, printed)
Spatio-temporal modeling of nonlinear distributed parameter systems = a time/space separation based approach /
by:
(Language materials, printed)
Modelling and Identification with Rational Orthogonal Basis Functions
by:
(Language materials, printed)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings /
by:
(Language materials, printed)
Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings /
by:
(Language materials, printed)
Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Multi-Agent-Based Simulation VIII = International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers /
by:
(Language materials, printed)
Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /
by:
(Language materials, printed)
Biomedical engineering systems and technologies = third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010 : revised selected papers /
by:
(Language materials, printed)
A Software Process Model Handbook for Incorporating People's Capabilities
by:
(Language materials, printed)
Switching and Learning in Feedback Systems = European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers /
by:
(Language materials, printed)
UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications = Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 /
by:
(Language materials, printed)
Human modelling in assisted transportation = models, tools and risk methods /
by:
(Language materials, printed)
Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I /
by:
(Language materials, printed)
Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers /
by:
(Language materials, printed)
Interactive LISREL in practice = getting started with a SIMPLIS approach /
by:
(Language materials, printed)
Modelling, simulation and software concepts for scientific-technological problems
by:
(Language materials, printed)
Artificial Intelligence and Simulation = 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Membrane Computing = 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II
by:
(Language materials, printed)
Functional Imaging and Modeling of the Heart = Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /
by:
(Language materials, printed)
ARIS design platform = advanced process modelling and administration /
by:
(Language materials, printed)
Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings /
by:
(Language materials, printed)
Engineering interactive systems = EIS 2007 joint working conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers /
by:
(Language materials, printed)
A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots /
by:
(Language materials, printed)
Artificial immune systems = 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings /
by:
(Language materials, printed)
Hybrid learning = 4th international conference, ICHL 2011, Hong Kong, China, August 10-12, 2011 : proceedings /
by:
(Language materials, printed)
Smart graphics = 11th international symposium, SG 2011, Bremen, Germany, July 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Managing the dynamics of new product development processes = a new product lifecycle management paradigm /
by:
(Language materials, printed)
Supply chain simulation = a system dynamics approach for improving performance /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings /
by:
(Language materials, printed)
Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings /
by:
(Language materials, printed)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part III /
by:
(Language materials, printed)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part V /
by:
(Language materials, printed)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV /
by:
(Language materials, printed)
Digital human modeling = third international conference, ICDHM 2011, held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011 : proceedings /
by:
(Language materials, printed)
Engineering psychology and cognitive ergonomics = 9th international conference, EPCE 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings /
by:
(Language materials, printed)
Product-focused software process improvement = 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings /
by:
(Language materials, printed)
Articulated Motion and Deformable Objects = 5th International Conference, AMDO 2008, Port d'Andratx, Mallorca, Spain, July 9-11, 2008. Proceedings /
by:
(Language materials, printed)
Research and education in robotics - EUROBOT 2011 = international conference, Prague, Czech Republic, June 15-17, 2011 : proceedings /
by:
(Language materials, printed)
Building innovation pipelines through computer-aided innovation = 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings /
by:
(Language materials, printed)
Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers /
by:
(Language materials, printed)
Functional imaging and modeling of the heart = 6th international conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011 : proceedings /
by:
(Language materials, printed)
The synthesis of three dimensional haptic textures = geometry, control, and psychophysics /
by:
(Language materials, printed)
Probability for statistics and machine learning = fundamentals and advanced topics /
by:
(Language materials, printed)
High Performance Computational Science and Engineering = IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France /
by:
(Language materials, printed)
Computational Intelligence in Time Series Forecasting = Theory and Engineering Applications /
by:
(Language materials, printed)
Modeling Chemical Systems Using Cellular Automata = A textbook and laboratory manual /
by:
(Language materials, printed)
Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
by:
(Language materials, printed)
Stochastic Discrete Event Systems = Modeling, Evaluation, Applications /
by:
(Language materials, printed)
High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers /
by:
(Language materials, printed)
Advanced intelligent vomputing theories and applications. with aspects of contemporary intelligent computing techniques = 4th international conference on intelligent computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings /
by:
(Language materials, printed)
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project /
by:
(Language materials, printed)
Advances in computation and intelligence = third international symposium, ISICA 2008 Wuhan, China, December 19-21, 2008, proceedings /
by:
(Language materials, printed)
Principles of practice in multi-agent systems = 12th international conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009 : proceedings /
by:
(Language materials, printed)
Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part I /
by:
(Language materials, printed)
Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part II /
by:
(Language materials, printed)
Intelligent robotics and applications = second international conference, ICIRA 2009, Singapore, December 16-18, 2009 : proceedings /
by:
(Language materials, printed)
Control and automation = international conference, CA 2009. Held as part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings /
by:
(Language materials, printed)
The Practice of Enterprise Modeling = Second IFIP WG 8.1 Working Conference, PoEM 2009, Stockholm, Sweden, November 18-19, 2009 : Proceedings /
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings /
by:
(Language materials, printed)
Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings /
by:
(Language materials, printed)
MICAI 2009 = Advances in Artificial Intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings /
by:
(Language materials, printed)
Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009 : proceedings /
by:
(Language materials, printed)
HCI and usability for e-inclusion = 5th symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 : proceedings /
by:
(Language materials, printed)
Motion in games = second international workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009 : proceedings /
by:
(Language materials, printed)
Artificial life = borrowing from biology : 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009 : proceedings /
by:
(Language materials, printed)
Self-organizing systems = 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings /
by:
(Language materials, printed)
Agents for games and simulations = trends in techniques, concepts and design /
by:
(Language materials, printed)
Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings /
by:
(Language materials, printed)
Autonomous and autonomic systems = with applications to NASA intelligent spacecraft operations and exploration systems /
by:
(Language materials, printed)
Progress in artificial intelligence = 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009 : proceedings /
by:
(Language materials, printed)
Algorithmic game theory = second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings /
by:
(Language materials, printed)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(Language materials, printed)
Medical image computing and computer-assisted intervention - MICCAI 2009 = 12th International Conference, London, UK, September 20-24, 2009 : proceedings.. Part I /
by:
(Language materials, printed)
Medical image computing and computer-assisted intervention - MICCAI 2009 = 12th international conference, London, UK, September 20-24, 2009 : proceedings.. Part II /
by:
(Language materials, printed)
Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part II /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2009 = 12th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers /
by:
(Language materials, printed)
Active media technology = 5th international conference, AMT 2009, Beijing, China, October 22-24, 2009 : proceedings /
by:
(Language materials, printed)
Robust and online large-scale optimization = models and techniques for transportation systems /
by:
(Language materials, printed)
Computer vision and computer graphics = theory and applications : international conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008 : revised selected papers /
by:
(Language materials, printed)
Transforming clothing production into a demand-driven, knowledge-based, high-tech industry = the leapfrog paradigm /
by:
(Language materials, printed)
Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /
by:
(Language materials, printed)
Haptic and audio interaction design = 4th international conference, HAID 2009 Dresden, Germany, September 10-11, 2009 : proceedings /
by:
(Language materials, printed)
Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings /
by:
(Language materials, printed)
Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part I /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2009 = 10th international conference, Bourgos, Spain, September 23-26, 2009 : proceedings /
by:
(Language materials, printed)
Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings /
by:
(Language materials, printed)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I /
by:
(Language materials, printed)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings /
by:
(Language materials, printed)
Engineering applications of neural networks = 11th international conference, EANN 2009, London, UK, August 27-29, 2009 : proceedings /
by:
(Language materials, printed)
Grid economics and business models = 6th international workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings /
by:
(Language materials, printed)
Product research = the art and science behind successful product launches /
by:
(Language materials, printed)
Modelling the physiological human = 3D Physiological Human Workshop, 3DPH 2009, Zermatt, Switzerland, November 29 - December 2, 2009 : proceedings /
by:
(Language materials, printed)
Agents in principle, agents in practice = 14th international conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011 : proceedings /
by:
(Language materials, printed)
Motion in games = 4th international conference, MIG 2011, Edinburgh, UK, November 13-15, 2011 : proceedings /
by:
(Language materials, printed)
Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part III /
by:
(Language materials, printed)
Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Fast numerical methods for mixed-integer nonlinear model-predictive control
by:
(Language materials, printed)
Research and education in robotics - EUROBOT 2010 = international conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, revised selected papers /
by:
(Language materials, printed)
Advances in ubiquitous user modelling : = revised selected papers /
by:
(Language materials, printed)
Agents for games and simulations : = trends in techniques, concepts and design /
by:
(Language materials, printed)
Algorithmic game theory = 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings /
by:
(Language materials, printed)
Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings /
by:
(Language materials, printed)
Progress in artificial intelligence = 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011 : proceedings /
by:
(Language materials, printed)
Engineering applications of neural networks = 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Prostate cancer imaging = image analysis and image-guided interventions : international workshop, held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011 : proceedings /
by:
(Language materials, printed)
Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings /
by:
(Language materials, printed)
Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings /
by:
(Language materials, printed)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Language materials, printed)
KI 2011 = advances in artificial intelligence : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011 : proceedings /
by:
(Language materials, printed)
Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings /
by:
(Language materials, printed)
Intelligent virtual agents = 10th international conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011 : proceedings /
by:
(Language materials, printed)
Markov decision processes and the belief-desire-intention model = bridging the gap for autonomous agents /
by:
(Language materials, printed)
Enterprise and organizational modeling and simulation = 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011, selected papers /
by:
(Language materials, printed)
Multi-objective evolutionary optimisation for product design and manufacturing
by:
(Language materials, printed)
Haptic interaction with deformable objects = modelling VR systems for textiles /
by:
(Language materials, printed)
Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers /
by:
(Language materials, printed)
Viability and resilience of complex systems = concepts, methods and case studies from ecology and society /
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)
Model-driven engineering and software development = second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers /
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)
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)
Multiagent system technologies = 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 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)
Agents and artificial intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
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)
Algorithmic game theory = 8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 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)
Computational logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 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)
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)
Full-3D seismic waveform inversion = theory, software and practice /
by:
(Language materials, printed)
Hierarchical sliding mode control for under-actuated cranes = design, analysis and simulation /
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)
Mathematical modeling of technological processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings /
by:
(Language materials, printed)
Model and data engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015 : proceedings /
by:
(Language materials, printed)
Pattern recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 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)
Recent trends in computational engineering - CE2014 = optimization, uncertainty, parallel algorithms, coupled and complex problems /
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)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
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)
Testing and validation of computer simulation models = principles, methods and applications /
by:
(Language materials, printed)
Tools of transport telematics = 15th International Conference on Transport Systems Telematics, TST 2015, Wroclaw, Poland, April 15-17, 2015 : selected papers /
by:
(Language materials, printed)
Big-data analytics and cloud computing = theory, algorithms and applications /
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)
Hybrid systems biology = fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
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)
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)
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 Sebastian, Spain, July 20, 2015 : revised selected papers /
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)
Decision-based design = integrating consumer preferences into engineering design /
by:
(Language materials, printed)
Advanced concepts in fuzzy logic and systems with membership uncertainty
by:
(Language materials, printed)
Towards advanced data analysis by combining soft computing and statistics
by:
(Language materials, printed)
Imaging heat and mass transfer processes = visualization and analysis /
by:
(Language materials, printed)
Nondestructive testing of materials and structures = proceedings of NDTMS-2011, Istanbul, Turkey /
by:
(Language materials, printed)
Guide to modeling and simulation of systems of systems of Systems = user's reference /
by:
(Language materials, printed)
Quality management in reverse logistics = a broad look on quality issues and their interaction with closed-loop supply chains /
by:
(Language materials, printed)
Multi-agent based beam search for real-time production scheduling and control = method, software and industrial application /
by:
(Language materials, printed)
Sustained simulation performance 2012 = proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012 /
by:
(Language materials, printed)
Advances in spatial data handling = geospatial dynamics, geosimulation and exploratory visualization /
by:
(Language materials, printed)
Proceedings of the FISITA 2012 World Automotive Congress.. Volume 2,. Advanced internal combustion engines (II)
by:
(Language materials, printed)
Web proxy cache replacement strategies = simulation, implementation, and performance evaluation /
by:
(Language materials, printed)
CLEAN = CO2 large-scale enhanced gas recovery in the Altmark Natural Gas Field - GEOTECHNOLOGIEN science report no. 19 /
by:
(Language materials, printed)
Intelligent mechatronic systems = modeling, control and diagnosis /
by:
(Language materials, printed)
Proceedings of the FISITA 2012 World Automotive Congress.. Volume 8,. Vehicle design and testing (II)
by:
(Language materials, printed)
Time-domain finite element methods for Maxwell's equations in metamaterials
by:
(Language materials, printed)
Foundations and methods of stochastic simulation = A First Course /
by:
(Language materials, printed)
Biomedical engineering systems and technologies = 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011 : revised selected papers /
by:
(Language materials, printed)
Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers /
by:
(Language materials, printed)
Semantics in data and knowledge bases = 5th International Workshop, SDKB 2011, Zurich, Switzerland, July 3, 2011 : revised selected papers /
by:
(Language materials, printed)
Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Integrated circuit and system design = power and timing modeling, optimization and simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012 : revised selected papers /
by:
(Language materials, printed)
Equilibrium models in an applied framework = industrial structure and transformation /
by:
(Language materials, printed)
System modeling and optimization = 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Computer performance engineering = 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012 : revised selected papers /
by:
(Language materials, printed)
Variation-aware adaptive voltage scaling for digital CMOS circuits
by:
(Language materials, printed)
Pro-active dynamic vehicle routing = real-time control and request-forecasting approaches to improve customer service /
by:
(Language materials, printed)
Modeling and simulating command and control = for organizations under extreme situations /
by:
(Language materials, printed)
Earth system modelling.. Volume 1,. Recent developments and projects
by:
(Language materials, printed)
Epistemic complexity and knowledge construction = morphogenesis, symbolic dynamics and beyond /
by:
(Language materials, printed)
Natural computing and beyond = Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012 : proceedings /
by:
(Language materials, printed)
Model-based methodologies for pervasive and embedded software = 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers /
by:
(Language materials, printed)
Advances on practical applications of agents and multi-agent systems = 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013 : proceedings /
by:
(Language materials, printed)
Clinical image-based procedures = from planning to intervention : International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012 : revised selected papers /
by:
(Language materials, printed)
Process simulation and parametric modeling for strategic project management
by:
(Language materials, printed)
Communication technologies for vehicles = 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings /
by:
(Language materials, printed)
Multi-agent-based simulation XIII = International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012 : revised selected papers /
by:
(Language materials, printed)
Repetitive motion planning and control of redundant robot manipulators
by:
(Language materials, printed)
Annual dynamics of daylight variability and contrast = a simulation-based approach to quantifying visual effects in architecture /
by:
(Language materials, printed)
Modeling and simulation in engineering, economics,and management = International Conference, MS 2013, Castellon De La Plana, Spain, June 6-7, 2013 : proceedings /
by:
(Language materials, printed)
Unconventional computation and natural computation = 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
Information processing in computer-assisted interventions = 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013 : proceedings /
by:
(Language materials, printed)
Functional imaging and modeling of the heart = 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013 : proceedings /
by:
(Language materials, printed)
Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings /
by:
(Language materials, printed)
Foundations of health information engineering and systems = second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Product-focused software process improvement = 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings.. Part V /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part III /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part IV /
by:
(Language materials, printed)
Semantic modeling and interoperability in product and process engineering = a technology for engineering informatics /
by:
(Language materials, printed)
Predicting the future = completing models of observed complex systems /
by:
(Language materials, printed)
A journey from robot to digital human = mathematical principles and applications with MATLAB programming /
by:
(Language materials, printed)
Digital human modeling and applications in health, safety, ergonomics, and risk management = healthcare and safety of the environment and transport : 4th International Conference, DHM 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
by:
(Language materials, printed)
Preventive methods for coastal protection = towards the use of ocean dynamics for pollution control /
by:
(Language materials, printed)
Systems biology = integrative biology and simulation tools.. Volume 1 /
by:
(Language materials, printed)
Domain engineering = product lines, languages, and conceptual models /
by:
(Language materials, printed)
Intelligent virtual agents = 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013 : proceedings /
by:
(Language materials, printed)
Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
by:
(Language materials, printed)
Multiagent system technologies = 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013 : proceedings /
by:
(Language materials, printed)
KI 2013: advances in artificial intelligence = 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 : proceedings /
by:
(Language materials, printed)
Assessment and simulation tools for sustainable energy systems = theory and applications /
by:
(Language materials, printed)
Decision support systems II - Recent developments applied to DSS network environments = Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012 : Revised Selected and Extended Papers /
by:
(Language materials, printed)
Human aspects in ambient intelligence = contemporary challenges and solutions /
by:
(Language materials, printed)
Parallel computing technologies = 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013 : proceedings /
by:
(Language materials, printed)
Pattern recognition = 35th German Conference, GCPR 2013, Saarbrucken, Germany, September 3-6, 2013 : proceedings /
by:
(Language materials, printed)
Progress in artificial intelligence = 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroismo, Azores, Portugal, September 9-12, 2013 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings /
by:
(Language materials, printed)
Augmented reality environments for medical imaging and computer-assisted interventions = 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013 : proceedings /
by:
(Language materials, printed)
Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings /
by:
(Language materials, printed)
Computational logistics = 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013 : proceedings /
by:
(Language materials, printed)
On the move to meaningful internet systems: OTM 2013 Workshops = Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013 : proceedings /
by:
(Language materials, printed)
Model and data engineering = third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 : proceedings /
by:
(Language materials, printed)
Model-driven engineering languages and systems = 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013 : proceedings /
by:
(Language materials, printed)
Critical infrastructure protection VI = 6th IFIP WG 11.10 international conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers /
by:
(Language materials, printed)
Information quality and management accounting = a simulation analysis of biases in costing systems /
by:
(Language materials, printed)
On the move to meaningful internet systems: OTM 2012 workshops = confederated international workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012 : proceedings /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part IV /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part III /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part V /
by:
(Language materials, printed)
Advances in artificial intelligence - IBERAMIA 2008 = 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings /
by:
(Language materials, printed)
Engineering interactive systems 2008 = second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings /
by:
(Language materials, printed)
HCI and usability for education and work = 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008 : proceedings /
by:
(Language materials, printed)
Modeling decisions for artificial intelligence = 5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
by:
(Language materials, printed)
Intelligent robotics and applications = first international conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 : Proceedings.. Part I /
by:
(Language materials, printed)
Intelligent robotics and applications = first international conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 : Proceedings.. Part II /
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)
Agriculture and Air Quality = Investigating, Assessing and Managing /
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)
Modelling the Evolution of Natural Fracture Networks = Methods for Simulating the Nucleation, Propagation and Interaction of Layer-Bound Fractures /
by:
(Language materials, printed)
Motion in games = first international workshop, MIG 2008, Utrecht, the Netherlands, June 14-17, 2008 : revised papers /
by:
(Language materials, printed)
Simulation, modeling, and programming for autonomous robots = first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings /
by:
(Language materials, printed)
Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
by:
(Language materials, printed)
Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Agent based simulation for a sustainable society and multi-agent smart computing = international workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 : revised selected papers /
by:
(Language materials, printed)
Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(Language materials, printed)
Climate change modeling methodology = selected entries from the Encyclopedia of sustainability science and technology /
by:
(Language materials, printed)
Computer applications for modeling, simulation, and automobile = international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence - IBERAMIA 2012 = 13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings /
by:
(Language materials, printed)
Motion in games = 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012 : proceedings /
by:
(Language materials, printed)
Transactions on large-scale data- and knowledge centered systems VII
by:
(Language materials, printed)
Transactions on computational systems biology XIV = special issue on computational models for cell processes /
by:
(Language materials, printed)
Computational science and high performance computing = Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 /
by:
(Language materials, printed)
Intelligent information processing and web mining = proceedings of the international IIS: IIPWM' 05 Conference held in Gdansk, Poland, June 13-16, 2005 /
by:
(Language materials, printed)
Telematics in the transport environment = 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustron, Poland, October 10-13, 2012 : selected papers /
by:
(Language materials, printed)
Intelligent virtual agents = 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings /
by:
(Language materials, printed)
KI 2012: Advances in artificial intelligence = 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012 : proceedings /
by:
(Language materials, printed)
Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings /
by:
(Language materials, printed)
Sustained Simulation Performance 2013 = proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013 /
by:
(Language materials, printed)
Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings /
by:
(Language materials, printed)
Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Energy efficient data centers = first International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 : revised selected papers /
by:
(Language materials, printed)
Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings /
by:
(Language materials, printed)
Transactions on large-scale data- and knowledge-centered systems VI = special issue on database- and expert-systems applications /
by:
(Language materials, printed)
Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers /
by:
(Language materials, printed)
Spatial cognition VIII = International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31-September 3, 2012 : proceedings /
by:
(Language materials, printed)
Artificial intelligence: Methodology, systems, and applications = 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012 : proceedings /
by:
(Language materials, printed)
Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings /
by:
(Language materials, printed)
Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings /
by:
(Language materials, printed)
An introduction to modern mathematical computing = with Mathematica /
by:
(Language materials, printed)
Eco-friendly computing and communication systems = International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012 : proceedings /
by:
(Language materials, printed)
Decision support systems - Collaborative models and approaches in real environments = Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011 : revised selected and extended papers /
by:
(Language materials, printed)
Breast imaging = 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012 : proceedings /
by:
(Language materials, printed)
Agents for educational games and simulations = International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011 : revised papers /
by:
(Language materials, printed)
Methods of optimization and systems analysis for problems of transcomputational complexity
by:
(Language materials, printed)
Computational topology in image context = 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Agent and multi-agent systems. Technologies and applications = 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III /
by:
(Language materials, printed)
Pervasive computing = 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings /
by:
(Language materials, printed)
Modeling and simulation in engineering, economics and management = international conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012 : proceedings /
by:
(Language materials, printed)
Model-based development and evolution of information systems = a quality approach /
by:
(Language materials, printed)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Wireless mobile communication and healthcare = second international ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011 : revised selected papers /
by:
(Language materials, printed)
Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(Language materials, printed)
NETWORKING 2012 workshops = International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings /
by:
(Language materials, printed)
Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Enterprise and organizational modeling and simulation = 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013 : selected papers /
by:
(Language materials, printed)
Activities of transport telematics = 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustron, Poland, October 23-26, 2013 : selected papers /
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)
AsiaSim 2013 = 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013 : proceedings /
by:
(Language materials, printed)
Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings /
by:
(Language materials, printed)
Algorithmic game theory = 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013 : proceedings /
by:
(Language materials, printed)
Modeling, simulation and visual analysis of crowds = a multidisciplinary perspective /
by:
(Language materials, printed)
Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers /
by:
(Language materials, printed)
Conceptual modeling = 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013 : proceedings /
by:
(Language materials, printed)
Solving the mind-body problem by the CODAM neural model of consciousness?
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2013 = 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013 : revised selected papers.. Part I /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2013 = 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013 : revised selected papers.. Part II /
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 II /
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)
Earth system modelling.. Volume 2,. Algorithms, code infrastructure and optimisation
by:
(Language materials, printed)
PEM fuel cells with bio-ethanol processor systems = a multidisciplinary study of modelling, simulation, fault diagnosis and advanced control /
by:
(Language materials, printed)
System identification, environmental modelling, and control system design
by:
(Language materials, printed)
Macromolecular crystallography = deciphering the structure, function and dynamics of biological molecules /
by:
(Language materials, printed)
Inverse analyses with model reduction = proper orthogonal decomposition in structural mechanics /
by:
(Language materials, printed)
Principles and practice of multi-agent systems = 13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers /
by:
(Language materials, printed)
Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers /
by:
(Language materials, printed)
Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(Language materials, printed)
Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part III /
by:
(Language materials, printed)
Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Earth system modelling. = tools for configuring, building and running models /. Volume 5
by:
(Language materials, printed)
An assessment of uncertainties and limitations in simulating tropical cyclone climatology and future
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part I /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part II /
by:
(Language materials, printed)
Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings /
by:
(Language materials, printed)
Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
by:
(Language materials, printed)
Adaptive and learning agents = international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers /
by:
(Language materials, printed)
Advances in user modeling = UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011 : revised selected papers /
by:
(Language materials, printed)
Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings /
by:
(Language materials, printed)
Competence in high performance computing 2010 = proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany /
by:
(Language materials, printed)
Precision assembly technologies and systems = 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012 : proceedings /
by:
(Language materials, printed)
Vector control of induction machines = desensitisation and optimisation through fuzzy logic /
by:
(Language materials, printed)
Maintenance management in network utilities = framework and practical implementation /
by:
(Language materials, printed)
Wind resistant design of bridges in Japan = developments and practices /
by:
(Language materials, printed)
Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
by:
(Language materials, printed)
Improving soil fertility recommendations in Africa using the decision support system for agrotechnology transfer (DSSAT)
by:
(Language materials, printed)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(Language materials, printed)
Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers /
by:
(Language materials, printed)
Ad hoc networks = third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers /
by:
(Language materials, printed)
Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers /
by:
(Language materials, printed)
Answer set programming for continuous domains = a fuzzy logic approach /
by:
(Language materials, printed)
A practical guide to ecological modelling = using R as a simulation platform /
by:
(Language materials, printed)
Multiobjective programming and goal programming = btheoretical results and practical applications /
by:
(Language materials, printed)
IUTAM Symposium on Modelling Nanomaterials and Nanosystems = proceedings of the IUTAM symposium held in Aalborg, Denmark, 19-22 May 2008 /
by:
(Language materials, printed)
Advances in computational vision and medical image processing = methods and applications /
by:
(Language materials, printed)
Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers /
by:
(Language materials, printed)
Simulation-based case studies in logistics = education and applied research /
by:
(Language materials, printed)
Dynamic general equilibrium modeling = computational methods and applications /
by:
(Language materials, printed)
Argumentation in multi-agent systems = fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers /
by:
(Language materials, printed)
Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers /
by:
(Language materials, printed)
Electronic healthcare = First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised selected papers /
by:
(Language materials, printed)
Influence of climate change on the changing Arctic and sub-Arctic conditions
by:
(Language materials, printed)
Topology control in wireless sensor networks = with a companion simulation tool for teaching and research /
by:
(Language materials, printed)
Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems
by:
(Language materials, printed)
Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers /
by:
(Language materials, printed)
Creating brain-like intelligence = from basic principles to complex intelligent systems /
by:
(Language materials, printed)
Smart graphics = 10th international symposium, SG 2009, Salamanca, Spain, May 28-30, 2009 ; proceedings /
by:
(Language materials, printed)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
(Language materials, printed)
Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers /
by:
(Language materials, printed)
Multi-agent-based simulation IX = international workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008 ; revised selected papers /
by:
(Language materials, printed)
Foundations of systems biology = using Cell Illustrator and pathway databases /
by:
(Language materials, printed)
Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers /
by:
(Language materials, printed)
Permutation tests for stochastic ordering and ANOVA = theory and applications with R /
by:
(Language materials, printed)
100 volumes of "Notes on Numerical Fluid Mechanics" = 40 years of numerical fluid mechanics and aerodynamics in retrospect /
by:
(Language materials, printed)
From molecules to medicines = structure of biological marcomolecules and its relevance in combating new diseases and bioterrorism /
by:
(Language materials, printed)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(Language materials, printed)
Functional imaging and modeling of the heart = 5th International Conference, FIMH 2009 Nice, France, June 3-5, 2009 ; proceedings /
by:
(Language materials, printed)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I /
by:
(Language materials, printed)
Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II /
by:
(Language materials, printed)
Object oriented simulation = a modeling and programming perspective /
by:
(Language materials, printed)
Implicit curves and surfaces = mathematics, data structures and algorithms /
by:
(Language materials, printed)
Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 /
by:
(Language materials, printed)
Simulation and inference for stochastic differential equations = with r examples /
by:
(Language materials, printed)
Benchmarking transaction and analytical processing systems = the creation of a mixed workload benchmark and its application /
by:
(Language materials, printed)
Quasi-dimensional simulation of spark ignition engines = from thermodynamic optimization to cyclic variability /
by:
(Language materials, printed)
Model-based reasoning in science and technology = theoretical and cognitive issues /
by:
(Language materials, printed)
Empirical agent-based modelling - challenges and solutions.. Volume 1,. The characterisation and parameterisation of empirical agent-based models
by:
(Language materials, printed)
Modelling rock fracturing processes = a fracture mechanics approach using FRACOD /
by:
(Language materials, printed)
Development of innovative drugs via modeling with MATLAB = a practical guide /
by:
(Language materials, printed)
Against the hypothesis of the end of privacy = an agent-based modelling approach to social media /
by:
(Language materials, printed)
Intelligent control = a hybrid approach based on fuzzy logic, neural networks and genetic algorithms /
by:
(Language materials, printed)
Artificial organic networks = artificial intelligence based on carbon networks /
by:
(Language materials, printed)
Geometrically constructed Markov chain Monte Carlo study of quantum spin-phonon complex systems
by:
(Language materials, printed)
Introduction to computational social science = principles and applications /
by:
(Language materials, printed)
Approaches in integrative bioinformatics = towards the virtual cell /
by:
(Language materials, printed)
Cultural diversity for virtual characters = investigating behavioral aspects across cultures /
by:
(Language materials, printed)
Foundations of health information engineering and systems = third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers /
by:
(Language materials, printed)
Storminess and environmental change = climate forcing and responses in the Mediterranean region /
by:
(Language materials, printed)
Information technology and open source: applications for education, innovation, and sustainability = SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical methods for curves and surfaces = 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012 : revised selected papers /
by:
(Language materials, printed)
Introduction to computational mass transfer = with applications to chemical engineering /
by:
(Language materials, printed)
Parallel Computational Fluid Dynamics = 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers /
by:
(Language materials, printed)
Multi-agent-based simulation XIV = International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013 : revised selected papers /
by:
(Language materials, printed)
Recent advances in natural computing = selected results from the IWNC 7 symposium /
by:
(Language materials, printed)
CAD, 3D modeling, engineering analysis, and prototype experimentation = industrial and research applications /
by:
(Language materials, printed)
Simulation-based optimization = parametric optimization techniques and reinforcement learning /
by:
(Language materials, printed)
Modeling and control for a blended wing body aircraft = a case study /
by:
(Language materials, printed)
Simulation and modeling methodologies, technologies and applications = International Conference, SIMULTECH 2013 Reykjavik, Iceland, July 29-31, 2013 : revised selected papers /
by:
(Language materials, printed)
Thermo-hydro-mechanical-chemical processes in fractured porous media = modelling and benchmarking : closed-form solutions /
by:
(Language materials, printed)
Semi-quantitative approaches for landslide assessment and prediction
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)
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)
Value chain marketing = a marketing strategy to overcome immediate customer innovation resistance /
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)
Multi-agent-based simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
(Language materials, printed)
The science of golf putting = a complete guide for researchers, players and coaches /
by:
(Language materials, printed)
Recent advances in natural computing = selected results from the IWNC 8 Symposium /
by:
(Language materials, printed)
Simulation training = fundamentals and applications : improving professional practice through simulation training /
by:
(Language materials, printed)
Multicomponent and multiscale systems = theory, methods, and applications in engineering /
by:
(Language materials, printed)
Verifying calculations - forty years on = an overview of classical verification techniques for FEM simulations /
by:
(Language materials, printed)
Construction program management - decision making and optimization techniques
by:
(Language materials, printed)
Complexity management with the K-Method = price structures, IT and controlling for procurement of packaging materials /
by:
(Language materials, printed)
Data assimilation = mathematical concepts and instructive examples /
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)
External thermal insulation composite systems (ETICS) = an evaluation of hygrothermal behaviour /
by:
(Language materials, printed)
High-performance computing for structural mechanics and earthquake/tsunami engineering
by:
(Language materials, printed)
Application of surrogate-based global optimization to aerodynamic design
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)
Applications of systems thinking and soft operations research in managing complexity = from problem framing to problem solving /
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)
Computational intelligence and intelligent systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015 : revised selected papers /
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)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 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)
Big data technology and applications = first National Conference, BDTA 2015, Harbin, China, December 25-26, 2015 : 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)
Intelligent systems for computer modelling = proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 /
by:
(Language materials, printed)
Isochronous wireless network for real-time communication in industrial automation
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)
Distributed computer and communication networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015 : revised selected papers /
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)
Measurement, modelling and evaluation of dependable computer and communication systems = 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings /
by:
(Language materials, printed)
Transactions on computational collective intelligence XXI = special issue on keyword search and big data /
by:
(Language materials, printed)
Toward robotic socially believable behaving systems.. Volume II,. Modeling social signals
by:
(Language materials, printed)
Toward robotic socially believable behaving systems.. Volume I,. Modeling emotions
by:
(Language materials, printed)
Wireless sensor networks = concepts, applications, experimentation and analysis /
by:
(Language materials, printed)
The Vienna LTE-advanced simulators = up and downlink, link and system level simulation /
by:
(Language materials, printed)
Modelling human behaviour in landscapes = basic concepts and modelling elements /
by:
(Language materials, printed)
Tangible interactive systems = grasping the real world with computers /
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)
Process-aware systems = second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015 : revised selected papers /
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)
Thermo-hydro-mechanical-chemical processes in fractured porous media = modelling and benchmarking : Benchmarking initiatives /
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)
Methodologies for service lfe prediction of buildings = with a focus on facade claddings /
by:
(Language materials, printed)
Computational diffusion MRI = MICCAI Workshop, Munich, Germany, October 9th, 2015 /
by:
(Language materials, printed)
The tyranny of uncertainty = a new framework to predict, remediate and monitor risk /
by:
(Language materials, printed)
Context-enhanced information fusion = boosting real-world performance with domain knowledge /
by:
(Language materials, printed)
Highlights of practical applications of scalable multi-agent systems = the PAAMS collection : International Workshops o proceedings /
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)
Communication technologies for vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016 : proceedings /
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)
Simulation and modeling methodologies, technologies and applications = International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 : revised selected papers /
by:
(Language materials, printed)
Variable-structure approaches = analysis, simulation, robust control and estimation of uncertain dynamic processes /
by:
(Language materials, printed)
Scientific computing in electrical engineering = SCEE 2014, Wuppertal, Germany, July 2014 /
by:
(Language materials, printed)
Computational modeling of neural activities for statistical inference
by:
(Language materials, printed)
Investment in electricity generation and transmission = decision making under uncertainty /
by:
(Language materials, printed)
Introducing the oscillations based paradigm = the simulation of agents and social systems /
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)
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)
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)
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)
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)
Breast Imaging = 13th International Workshop, IWDM 2016, Malmo, Sweden, June 19-22, 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)
Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part V /
by:
(Language materials, printed)
Seminal contributions to modelling and simulation = 30 years of the European Council of Modelling and Simulation /
by:
(Language materials, printed)
Statistical analysis of noise in MRI = modeling, filtering and estimation /
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)
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)
Model design and simulation analysis = 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015 : revised selected papers /
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)
Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part II /
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)
Haptics = perception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part I /
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)
Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(Language materials, printed)
Search and optimization by metaheuristics = techniques and algorithms inspired by nature /
by:
(Language materials, printed)
Form versus function = theory and models for neuronal substrates /
by:
(Language materials, printed)
Disruptive analytics = charting your strategy for next-generation business analytics /
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)
Innovating with concept mapping = 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 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)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
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)
Medical imaging and augmented reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016 : proceedings /
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)
Computational logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings /
by:
(Language materials, printed)
Pattern recognition = 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016 : proceedings /
by:
(Language materials, printed)
Algorithmic game theory = 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016 : proceedings /
by:
(Language materials, printed)
Topics in numerical partial differential equations and scientific computing
by:
(Language materials, printed)
Mathematical and computational approaches in advancing modern science and engineering
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)
Behavioural models = from modelling finite automata to analysing business processes /
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)
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)
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)
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)
Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 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)
Model and data engineering = 6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016 : proceedings /
by:
(Language materials, printed)
Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings /
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)
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)
Autonomous agents and multiagent systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers /
by:
(Language materials, printed)
Economics with heterogeneous interacting agents = a practical guide to agent-based modeling /
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)
Modelling and simulation for autonomous systems = third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers /
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)
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)
Advances in computational fluid-structure interaction and flow simulation = new methods and challenging computations /
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)
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)
Challenge of transport telematics = 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustron, Poland, March 16-19, 2016 : selected papers /
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)
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)
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
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)
Social dimensions of organised crime = modelling the dynamics of extortion rackets /
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)
Data mining and constraint programming = foundations of a cross-disciplinary approach /
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)
Software engineering and methodology for emerging domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings /
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)
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)
Distributed computer and communication networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016 : revised selected papers /
by:
(Language materials, printed)
Supercomputing = second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers /
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)
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)
Managing the complexity of critical infrastructures = a modelling and simulation approach /
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)
Engineering education 4.0 = excellent teaching and learning in engineering sciences /
by:
(Language materials, printed)
Guide to computational modelling for decision processes = theory, algorithms, techniques and applications /
by:
(Language materials, printed)
Communication Technologies for Vehicles = 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings /
by:
(Language materials, printed)
Fire safety of historical buildings = traditional versus innovative "behavioural design" solutions by using wayfinding systems /
by:
(Language materials, printed)
Real-time monitoring and operational control of drinking-water systems
by:
(Language materials, printed)
Computational diffusion MRI = MICCAI Workshop, Athens, Greece, October 2016 /
by:
(Language materials, printed)
Applied simulation and optimization.. 2,. new applications in logistics, industrial and aeronautical practice
by:
(Language materials, printed)
3rd International Winter School and Conference on Network Science = NetSci-X 2017 /
by:
(Language materials, printed)
Multiscale modeling of complex molecular structure and dynamics with MBN explorer
by:
(Language materials, printed)
Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings /
by:
(Language materials, printed)
Computer information systems and industrial management = 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017 : proceedings /
by:
(Language materials, printed)
Parallel computational technologies = 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017 : revised selected papers /
by:
(Language materials, printed)
Multi-agent based simulation XVII = International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016 : revised selected papers /
by:
(Language materials, printed)
Mathematical methods for curves and surfaces = 9th International Conference, MMCS 2016, Tonsberg, Norway, June 23-28, 2016 : revised selected papers /
by:
(Language materials, printed)
Computational logistics = 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017 : proceedings /
by:
(Language materials, printed)
Simulated evolution and learning = 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings /
by:
(Language materials, printed)
Learning and intelligent optimization = 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017 : revised selected papers /
by:
(Language materials, printed)
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
(Language materials, printed)
Sustained simulation performance 2017 = proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2017 /
by:
(Language materials, printed)
Introduction to computational social science = principles and applications /
by:
(Language materials, printed)
Human mental workload = models and applications : first International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017 : revised selected papers /
by:
(Language materials, printed)
Multi-agent systems and agreement technologies = 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016 : revised selected papers /
by:
(Language materials, printed)
Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings /
by:
(Language materials, printed)
Critical infrastructure protection XI = 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017 : revised selected papers /
by:
(Language materials, printed)
Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Bio-inspired computing = theories and applications : 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017 : proceedings /
by:
(Language materials, printed)
Computer vision = second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Computer vision = second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Spatial cognition X = 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016 : revised selected papers /
by:
(Language materials, printed)
Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
by:
(Language materials, printed)
Bankruptcy prediction through soft computing based deep learning technique
by:
(Language materials, printed)
Computer vision = second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017 : proceedings.. Part III /
by:
(Language materials, printed)
Analytical and computational methods in probability theory = first International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers /
by:
(Language materials, printed)
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(Language materials, printed)
Environmental software systems = computer science for environmental protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017 : proceedings /
by:
(Language materials, printed)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
(Language materials, printed)
Cellular automaton modeling of biological pattern formation = characterization, examples, and analysis /
by:
(Language materials, printed)
Guide to simulation-based disciplines = advancing our computational future /
by:
(Language materials, printed)
Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016 : revised selected papers /
by:
(Language materials, printed)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(Language materials, printed)
Software engineering in health care = 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014 : revised selected papers /
by:
(Language materials, printed)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
(Language materials, printed)
Research challenges in modeling and simulation for engineering complex systems
by:
(Language materials, printed)
Quality, reliability, security and robustness in heterogeneous networks = 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings /
by:
(Language materials, printed)
Advances in modeling and simulation = seminal research from 50 years of winter simulation conferences /
by:
(Language materials, printed)
Modeling, design and simulation of systems = 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Modeling, design and simulation of systems = 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Language materials, printed)
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Language materials, printed)
Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
by:
(Language materials, printed)
Algorithmic game theory = 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017 : proceedings /
by:
(Language materials, printed)
Algorithms and programs of dynamic mixture estimation = unified approach to different types of components /
by:
(Language materials, printed)
Smart solutions in today's transport = 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustron, Poland, April 5-8, 2017 : selected papers /
by:
(Language materials, printed)
Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers /
by:
(Language materials, printed)
Distributed computer and communication networks = 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017 : proceedings /
by:
(Language materials, printed)
Software process improvement and capability determination = 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings /
by:
(Language materials, printed)
Information technologies and mathematical modelling = queueing theory and applications : 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017 : proceedings /
by:
(Language materials, printed)
Enterprise and organizational modeling and simulation = 13th International Workshop, EOMAS 2017, held at CAiSE 2017, Essen, Germany, June 12-13, 2017 : selected papers /
by:
(Language materials, printed)
Simulation and synthesis in medical imaging = second International Workshop, SASHIMI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017 : proceedings /
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)
Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part I /
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)
Modelling and simulation for autonomous systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers /
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)
Numerical simulation of the aerodynamics of high-lift configurations
by:
(Language materials, printed)
Automatic control systems in biomedical engineering = an interactive educational approach /
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)
The new generation of computable general equilibrium models = modeling the economy /
by:
(Language materials, printed)
Simulations for design and manufacturing = select papers from AIMTDR 2016 /
by:
(Language materials, printed)
Innovative techniques and applications of modelling, identification and control = selected and expanded reports from ICMIC'17 /
by:
(Language materials, printed)
Scientific computing in electrical engineering = SCEE 2016, St. Wolfgang, Austria, October 2016 /
by:
(Language materials, printed)
Modelling identities = a case study from the iron age of south-east Europe /
by:
(Language materials, printed)
Wireless internet = 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017 : proceedings /
by:
(Language materials, printed)
Multi-agent based simulation XVIII = International Workshop, MABS 2017, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers /
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)
Statistics and simulation = IWS 8, Vienna, Austria, September 2015 /
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)
Latent variable analysis and signal separation = 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018 : proceedings /
by:
(Language materials, printed)
Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
by:
(Language materials, printed)
Complex spreading phenomena in social systems = influence and contagion in real-world social networks /
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)
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)
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)
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)
Security by design = innovative perspectives on complex problems /
by:
(Language materials, printed)
Monte Carlo and quasi-Monte Carlo methods = MCQMC 2016, Stanford, CA, August 14-19 /
by:
(Language materials, printed)
Simulation science = first International Workshop, SimScience 2017, Gottingen, Germany, April 27-28, 2017 : revised selected papers /
by:
(Language materials, printed)
Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
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)
Algorithmic game theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018 : proceedings /
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)
Recent advances in computational engineering = proceedings of the 4th International Conference on Computational Engineering (ICCE 2017) in Darmstadt /
by:
(Language materials, printed)
Food dependency in the Middle East and North Africa region = retrospective analysis and projections to 2050 /
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)
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 in science and engineering = concepts - practices - perspectives /
by:
(Language materials, printed)
Engineering simulations as scientific instruments = a pattern language /
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)
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)
Uncertainty quantification and predictive computational science = a foundation for physical scientists and engineers /
by:
(Language materials, printed)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(Language materials, printed)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(Language materials, printed)
Highlights of practical applications of cyber-physical multi-agent systems = international workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017 : proceedings /
by:
(Language materials, printed)
Advances in swarm intelligence = 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in swarm intelligence = 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Application and theory of petri nets and concurrency = 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017 : proceedings /
by:
(Language materials, printed)
Parallel computing technologies = 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings /
by:
(Language materials, printed)
Summer of simulation = 50 years of seminal computer simulation research /
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)
The art of high performance computing for computational science.. Volume 1,. Techniques of speedup and parallelization for general purposes
by:
(Language materials, printed)
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
(Language materials, printed)
Recent advances in network simulation = the OMNeT++ environment and its ecosystem /
by:
(Language materials, printed)
Green Energy and Networking = 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019 : proceedings /
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)
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)
High performance computing in science and engineering '18 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 /
by:
(Language materials, printed)
Neural modeling of speech processing and speech learning = an introduction /
by:
(Language materials, printed)
New developments on computational methods and imaging in biomechanics and biomedical 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)
Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part IV /
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)
Models for tropical climate dynamics = waves, clouds, and precipitation /
by:
(Language materials, printed)
Towards mathematics, computers and environment = a disasters perspective /
by:
(Language materials, printed)
Comprehensive healthcare simulation.. Operations, technology, and innovative practice
by:
(Language materials, printed)
Integrating qualitative and social science factors in archaeological modelling
by:
(Language materials, printed)
Modeling decisions for artificial intelligence = second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I /
by:
(Language materials, printed)
From Animals to Animats 10 = 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings /
by:
(Language materials, printed)
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(Language materials, printed)
Computational science and high performance computing. = The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007 /. III
by:
(Language materials, printed)
ANEMONA = A Mulit-agent Methodology for Holonic Manufacturing Systems /
by:
(Language materials, printed)
Computer and computing technologies in agriculture II.. Volume 2,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
by:
(Language materials, printed)
Probabilistic approaches for geotechnical site characterization and slope stability analysis
by:
(Language materials, printed)
Agent-based modelling in population studies = concepts, methods, and applications /
by:
(Language materials, printed)
Innovation networks for regional development = concepts, case studies, and agent-based models /
by:
(Language materials, printed)
Seismic wave propagation in non-homogeneous elastic media by boundary elements
by:
(Language materials, printed)
Electromagnetic linear machines with dual Halbach Array = design and analysis /
by:
(Language materials, printed)
Introduction to computational mass transfer = with applications to chemical engineering /
by:
(Language materials, printed)
Discontinuous-fibre reinforced composites = fundamentals of stress transfer and fracture mechanics /
by:
(Language materials, printed)
Design and development of metal-forming processes and products aided by finite element simulation
by:
(Language materials, printed)
Material parameter identification and inverse problems in soft tissue biomechanics
by:
(Language materials, printed)
Tunnel fire testing and modeling = the Morgex North Tunnel experiment /
by:
(Language materials, printed)
Ad hoc networks = 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016 : revised selected papers /
by:
(Language materials, printed)
Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
by:
(Language materials, printed)
Mental modeling approach = risk management application case studies /
by:
(Language materials, printed)
Data assimilation for atmospheric, oceanic and hydrologic applications.. (Vol. III)
by:
(Language materials, printed)
Philosophy of science in practice = Nancy Cartwright and the nature of scientific reasoning /
by:
(Language materials, printed)
Agent based modelling of urban systems = first International Workshop, ABMUS 2016, held in conjunction with AAMAS, Singapore, Singapore, May 10, 2016 : revised, selected, and invited papers /
by:
(Language materials, printed)
Statistical atlases and computational models of the heart = imaging and modelling challenges : 7th International Workshop, STACOM 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : revised selected papers /
by:
(Language materials, printed)
Earthquake disaster simulation of civil infrastructures = from tall buildings to urban areas /
by:
(Language materials, printed)
Machine learning and intelligent communications = first International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016 : revised selected papers /
by:
(Language materials, printed)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
(Language materials, printed)
Management of information, process and cooperation = third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016 : revised selected papers /
by:
(Language materials, printed)
Latent variable analysis and signal separation = 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017 : proceedings /
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Full-3D Seismic Waveform Inversion = Theory, Software and Practice /
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Hybrid Systems Biology = Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
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)
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)
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)
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)
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)
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)
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)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III /
by:
(Language materials, printed)
Strukturbildung und Simulation technischer Systeme Band 1 = Die statischen Grundlagen der Simulation /
by:
(Language materials, printed)
Applications of Soft Computing in Time Series Forecasting = Simulation and Modeling Techniques /
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)
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)
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)
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)
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)
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)
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)
Disruptive Analytics = Charting Your Strategy for Next-Generation Business Analytics /
by:
(Language materials, printed)
Application of Surrogate-based Global Optimization to Aerodynamic Design
by:
(Language materials, printed)
Process-Aware Systems = Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Game of Colors: Moderne Bewegtbildproduktion = Theorie und Praxis für Film, Video und Fernsehen /
by:
(Language materials, printed)
Construction Program Management – Decision Making and Optimization Techniques
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)
Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I /
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)
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)
Pattern Recognition = 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 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)
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)
Show more
Fewer
Subjects