Simulation and Modeling.

Inference in Hidden Markov Models by: (書目-語言資料,印刷品)

Missing Data and Small-Area Estimation = Modern Analytical Equipment for the Survey Statistician / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III by: (書目-語言資料,印刷品)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II / by: (書目-語言資料,印刷品)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III by: (書目-語言資料,印刷品)

Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (書目-語言資料,印刷品)

Enabling a simulation capability in the organisation by: (書目-語言資料,印刷品)

Cognition, Communication and Interaction = Transdisciplinary Perspectives on Interactive Technology / by: (書目-語言資料,印刷品)

Proceedings of the 16th International Meshing Roundtable by: (書目-語言資料,印刷品)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (書目-語言資料,印刷品)

Intelligent Virtual Agents = 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (書目-語言資料,印刷品)

Field Models in Electricity and Magnetism by: (書目-語言資料,印刷品)

Battery Management Systems = Accurate State-of-Charge Indication for Battery-Powered Applications / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / by: (書目-語言資料,印刷品)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (書目-語言資料,印刷品)

Proceedings of the 17th international meshing roundtable by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Geo-informatics in resource management and sustainable ecosystem = second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014 : proceedings / by: (書目-語言資料,印刷品)

Energy efficient data centers = third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Solving software challenges for exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

MATLAB recipes for earth sciences by: (書目-語言資料,印刷品)

The finite element method and applications in engineering using ANSYS by: (書目-語言資料,印刷品)

Heat transfer modeling = an inductive approach / by: (書目-語言資料,印刷品)

Software Process Modeling by: (書目-語言資料,印刷品)

Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 / by: (書目-語言資料,印刷品)

Modelling and Control of Mini-Flying Machines by: (書目-語言資料,印刷品)

Hebbian Learning and Negative Feedback Networks by: (書目-語言資料,印刷品)

Multi-Agent and Multi-Agent-Based Simulation = Joint Workshop MABS 2004 / by: (書目-語言資料,印刷品)

Cellular Automaton Modeling of Biological Pattern Formation = Characterization, Applications, and Analysis / by: (書目-語言資料,印刷品)

Digitally Archiving Cultural Objects by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

An introduction to machine learning by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems / by: (書目-語言資料,印刷品)

Swarm intelligence = introduction and applications / by: (書目-語言資料,印刷品)

Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (書目-語言資料,印刷品)

Parallel computing technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings / by: (書目-語言資料,印刷品)

Behavior modeling = foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XVIII by: (書目-語言資料,印刷品)

Atmospheric and space sciences = neutral atmospheres.. Volume 1 / by: (書目-語言資料,印刷品)

Offshore service industry and logistics modeling in the Gulf of Mexico by: (書目-語言資料,印刷品)

Mathematical modeling of disperse two-phase flows by: (書目-語言資料,印刷品)

A guide to numerical modelling in systems biology by: (書目-語言資料,印刷品)

Quantitative evaluation of systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings / by: (書目-語言資料,印刷品)

Modelling and simulation for autonomous systems = second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Latent variable analysis and signal separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

Curves and surfaces = 8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 / by: (書目-語言資料,印刷品)

Augmented and virtual reality = second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015 : proceedings / by: (書目-語言資料,印刷品)

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Rigid Body Dynamics Algorithms by: (書目-語言資料,印刷品)

Progress in Artificial Intelligence = 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

High Resolution Numerical Modelling of the Atmosphere and Ocean by: (書目-語言資料,印刷品)

Modeling of metal forming and machining processes = by finite element and soft computing methods / by: (書目-語言資料,印刷品)

Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / by: (書目-語言資料,印刷品)

Temporal points of view = subjective and objective aspects / by: (書目-語言資料,印刷品)

Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on computational systems biology X by: (書目-語言資料,印刷品)

Modeling marvels = computational anticipation of novel molecules / by: (書目-語言資料,印刷品)

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014 by: (書目-語言資料,印刷品)

Handbook of mobile ad hoc networks for mobility models by: (書目-語言資料,印刷品)

Nonsmooth modeling and simulation for switched circuits by: (書目-語言資料,印刷品)

It's a nonlinear world by: (書目-語言資料,印刷品)

Agent-Based Modeling Meets Gaming Simulation by: (書目-語言資料,印刷品)

Manufacturing systems modeling and analysis by: (書目-語言資料,印刷品)

Image-based computational modeling of the human Circulatory and Pulmonary Systems = methods and applications / by: (書目-語言資料,印刷品)

Identification of dynamic systems = an introduction with applications / by: (書目-語言資料,印刷品)

Systems Modeling and Simulation: Theory and Applications = Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Spatial Cognition IV. = Reasoning, Action, InteractionInternational Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004 : Revised Selected Papers / by: (書目-語言資料,印刷品)

Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings / by: (書目-語言資料,印刷品)

Engineering Societies in the Agents World V = 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings by: (書目-語言資料,印刷品)

Multi-point Interaction with Real and Virtual Objects by: (書目-語言資料,印刷品)

Quality and reliability of large-eddy simulations II by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Advanced modeling and optimization of manufacturing processes = International Research and Development / by: (書目-語言資料,印刷品)

Social understanding = on hermeneutics, geometrical models and artificial intelligence / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Autonomy Oriented Computing = From Problem Solving to Complex Systems Modeling / by: (書目-語言資料,印刷品)

Identification of Continuous-time Models from Sampled Data by: (書目-語言資料,印刷品)

3D-Groundwater Modeling with PMWIN = A Simulation System for Modeling Groundwater Flow and Transport Processes / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings / by: (書目-語言資料,印刷品)

Advances in geometric modeling and processing = 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 ; proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Heterogeneous objects modelling and applications = collection of papers on foundations and practice / by: (書目-語言資料,印刷品)

Agents for games and simulations II = trends in techniques, concepts and design / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Multibody Mechanics and Visualization by: (書目-語言資料,印刷品)

Biomimicry for Optimization, Control, and Automation by: (書目-語言資料,印刷品)

From Animals to Animats 10 = 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / by: (書目-語言資料,印刷品)

Introduction to discrete event simulation and agent-based modeling = voting systems, health care, military, and manufacturing / by: (書目-語言資料,印刷品)

Simulation and verification of electronic and biological systems by: (書目-語言資料,印刷品)

Condition monitoring and assessment of power transformers using computational intelligence by: (書目-語言資料,印刷品)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (書目-語言資料,印刷品)

Biomedical Simulation = 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / by: (書目-語言資料,印刷品)

Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cellular Automata = 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / by: (書目-語言資料,印刷品)

Hybrid Learning and Education = First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (書目-語言資料,印刷品)

The Common Component Modeling Example = Comparing Software Component Models / by: (書目-語言資料,印刷品)

Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

Spatial cognition. = International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings /. VI,. Learning, Reasoning, and Talking about Space by: (書目-語言資料,印刷品)

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (書目-語言資料,印刷品)

Advances in Applied Self-organizing Systems by: (書目-語言資料,印刷品)

An Introduction to Sequential Dynamical Systems by: (書目-語言資料,印刷品)

Triadic game design = balancing reality, meaning and play / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems / by: (書目-語言資料,印刷品)

Spatio-temporal modeling of nonlinear distributed parameter systems = a time/space separation based approach / by: (書目-語言資料,印刷品)

Fuzzy Database Modeling with XML by: (書目-語言資料,印刷品)

New methods of concurrent checking by: (書目-語言資料,印刷品)

Modelling and Identification with Rational Orthogonal Basis Functions by: (書目-語言資料,印刷品)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (書目-語言資料,印刷品)

Computing with instinct = rediscovering artificial intelligence / by: (書目-語言資料,印刷品)

Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings / by: (書目-語言資料,印刷品)

Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings / by: (書目-語言資料,印刷品)

Production Rendering = Design and Implementation / by: (書目-語言資料,印刷品)

Multi-Agent-Based Simulation VIII = International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers / by: (書目-語言資料,印刷品)

Social media modeling and computing by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by: (書目-語言資料,印刷品)

Biomedical engineering systems and technologies = third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

A Software Process Model Handbook for Incorporating People's Capabilities by: (書目-語言資料,印刷品)

Smart Driver Training Simulation = Save Money. Prevent / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Human modelling in assisted transportation = models, tools and risk methods / by: (書目-語言資料,印刷品)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I / by: (書目-語言資料,印刷品)

Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (書目-語言資料,印刷品)

Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Interactive LISREL in practice = getting started with a SIMPLIS approach / by: (書目-語言資料,印刷品)

Studying Human Populations = An Advanced Course in Statistics / by: (書目-語言資料,印刷品)

Model-based Process Supervision = A Bond Graph Approach / by: (書目-語言資料,印刷品)

Modelling, simulation and software concepts for scientific-technological problems by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Membrane Computing = 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II by: (書目-語言資料,印刷品)

Functional Imaging and Modeling of the Heart = Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings / by: (書目-語言資料,印刷品)

ARIS design platform = advanced process modelling and administration / by: (書目-語言資料,印刷品)

Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings / by: (書目-語言資料,印刷品)

Engineering interactive systems = EIS 2007 joint working conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers / by: (書目-語言資料,印刷品)

Transactions on computational systems biology IX by: (書目-語言資料,印刷品)

A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots / by: (書目-語言資料,印刷品)

Artificial immune systems = 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings / by: (書目-語言資料,印刷品)

Hybrid learning = 4th international conference, ICHL 2011, Hong Kong, China, August 10-12, 2011 : proceedings / by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development VIII by: (書目-語言資料,印刷品)

Smart graphics = 11th international symposium, SG 2011, Bremen, Germany, July 18-20, 2011 : proceedings / by: (書目-語言資料,印刷品)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Managing the dynamics of new product development processes = a new product lifecycle management paradigm / by: (書目-語言資料,印刷品)

Supply chain simulation = a system dynamics approach for improving performance / by: (書目-語言資料,印刷品)

Computational techniques for structural health monitoring by: (書目-語言資料,印刷品)

An introduction to modern mathematical computing = with Maple / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Digital human modeling = third international conference, ICDHM 2011, held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Product-focused software process improvement = 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings / by: (書目-語言資料,印刷品)

Articulated Motion and Deformable Objects = 5th International Conference, AMDO 2008, Port d'Andratx, Mallorca, Spain, July 9-11, 2008. Proceedings / by: (書目-語言資料,印刷品)

Research and education in robotics - EUROBOT 2011 = international conference, Prague, Czech Republic, June 15-17, 2011 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Fundamentals of scientific computing by: (書目-語言資料,印刷品)

Computational ocean acoustics by: (書目-語言資料,印刷品)

Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Transactions on computational systems biology XIII by: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers / by: (書目-語言資料,印刷品)

Functional imaging and modeling of the heart = 6th international conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011 : proceedings / by: (書目-語言資料,印刷品)

Model-based software performance analysis by: (書目-語言資料,印刷品)

The synthesis of three dimensional haptic textures = geometry, control, and psychophysics / by: (書目-語言資料,印刷品)

The limits to growth revisited by: (書目-語言資料,印刷品)

Solid modelling and CAD systems = how to survive a CAD system / by: (書目-語言資料,印刷品)

Probability for statistics and machine learning = fundamentals and advanced topics / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Artificial Life Models in Software by: (書目-語言資料,印刷品)

Computational Intelligence in Time Series Forecasting = Theory and Engineering Applications / by: (書目-語言資料,印刷品)

Modeling Chemical Systems Using Cellular Automata = A textbook and laboratory manual / by: (書目-語言資料,印刷品)

Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings by: (書目-語言資料,印刷品)

Stochastic Discrete Event Systems = Modeling, Evaluation, Applications / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Atmospheric Icing of Power Networks by: (書目-語言資料,印刷品)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project / by: (書目-語言資料,印刷品)

Fundamental Numerical Methods for Electrical Engineering by: (書目-語言資料,印刷品)

Advances in computation and intelligence = third international symposium, ISICA 2008 Wuhan, China, December 19-21, 2008, proceedings / by: (書目-語言資料,印刷品)

Principles of practice in multi-agent systems = 12th international conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Intelligent robotics and applications = second international conference, ICIRA 2009, Singapore, December 16-18, 2009 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

The Practice of Enterprise Modeling = Second IFIP WG 8.1 Working Conference, PoEM 2009, Stockholm, Sweden, November 18-19, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency III by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings / by: (書目-語言資料,印刷品)

MICAI 2009 = Advances in Artificial Intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings / by: (書目-語言資料,印刷品)

Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Motion in games = second international workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009 : proceedings / by: (書目-語言資料,印刷品)

Artificial life = borrowing from biology : 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Self-organizing systems = 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings / by: (書目-語言資料,印刷品)

Agents for games and simulations = trends in techniques, concepts and design / by: (書目-語言資料,印刷品)

Recent advances in the 3D physiological human by: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings / by: (書目-語言資料,印刷品)

Autonomous and autonomic systems = with applications to NASA intelligent spacecraft operations and exploration systems / by: (書目-語言資料,印刷品)

Proceedings of the 18th International Meshing Roundtable by: (書目-語言資料,印刷品)

Quantum circuit simulation by: (書目-語言資料,印刷品)

Progress in artificial intelligence = 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (書目-語言資料,印刷品)

Transactions on computational systems biology XI by: (書目-語言資料,印刷品)

Medical image computing and computer-assisted intervention - MICCAI 2009 = 12th International Conference, London, UK, September 20-24, 2009 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Medical image computing and computer-assisted intervention - MICCAI 2009 = 12th international conference, London, UK, September 20-24, 2009 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computer aided systems theory - EUROCAST 2009 = 12th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Active media technology = 5th international conference, AMT 2009, Beijing, China, October 22-24, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in ubiquitous user modelling = revised selected papers / by: (書目-語言資料,印刷品)

Robust and online large-scale optimization = models and techniques for transportation systems / by: (書目-語言資料,印刷品)

Computer vision and computer graphics = theory and applications : international conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Flying Insects and Robots by: (書目-語言資料,印刷品)

Explorations in Monte Carlo methods by: (書目-語言資料,印刷品)

Transforming clothing production into a demand-driven, knowledge-based, high-tech industry = the leapfrog paradigm / by: (書目-語言資料,印刷品)

Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings / by: (書目-語言資料,印刷品)

Haptic and audio interaction design = 4th international conference, HAID 2009 Dresden, Germany, September 10-11, 2009 : proceedings / by: (書目-語言資料,印刷品)

Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / by: (書目-語言資料,印刷品)

Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Intelligent data engineering and automated learning - IDEAL 2009 = 10th international conference, Bourgos, Spain, September 23-26, 2009 : proceedings / by: (書目-語言資料,印刷品)

The algorithmic beauty of sea shells by: (書目-語言資料,印刷品)

Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Engineering applications of neural networks = 11th international conference, EANN 2009, London, UK, August 27-29, 2009 : proceedings / by: (書目-語言資料,印刷品)

Grid economics and business models = 6th international workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings / by: (書目-語言資料,印刷品)

Eclipsing binary stars = modeling and analysis / by: (書目-語言資料,印刷品)

Combat modeling by: (書目-語言資料,印刷品)

Product research = the art and science behind successful product launches / by: (書目-語言資料,印刷品)

Modelling the physiological human = 3D Physiological Human Workshop, 3DPH 2009, Zermatt, Switzerland, November 29 - December 2, 2009 : proceedings / by: (書目-語言資料,印刷品)

Scientific modeling and simulations by: (書目-語言資料,印刷品)

Computational statistics by: (書目-語言資料,印刷品)

Handbook of large-scale random networks by: (書目-語言資料,印刷品)

Mechatronic systems = fundamentals / by: (書目-語言資料,印刷品)

Agents in principle, agents in practice = 14th international conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011 : proceedings / by: (書目-語言資料,印刷品)

Motion in games = 4th international conference, MIG 2011, Edinburgh, UK, November 13-15, 2011 : proceedings / by: (書目-語言資料,印刷品)

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Fast numerical methods for mixed-integer nonlinear model-predictive control by: (書目-語言資料,印刷品)

Research and education in robotics - EUROBOT 2010 = international conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, revised selected papers / by: (書目-語言資料,印刷品)

Advances in ubiquitous user modelling : = revised selected papers / by: (書目-語言資料,印刷品)

Agents for games and simulations : = trends in techniques, concepts and design / by: (書目-語言資料,印刷品)

Algorithmic game theory = 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / by: (書目-語言資料,印刷品)

Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings / by: (書目-語言資料,印刷品)

Progress in artificial intelligence = 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011 : proceedings / by: (書目-語言資料,印刷品)

Direct and large-eddy simulation VIII by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Prostate cancer imaging = image analysis and image-guided interventions : international workshop, held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011 : proceedings / by: (書目-語言資料,印刷品)

Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings / by: (書目-語言資料,印刷品)

Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

KI 2011 = advances in artificial intelligence : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011 : proceedings / by: (書目-語言資料,印刷品)

Evolutionary game design by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Intelligent virtual agents = 10th international conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011 : proceedings / by: (書目-語言資料,印刷品)

Markov decision processes and the belief-desire-intention model = bridging the gap for autonomous agents / by: (書目-語言資料,印刷品)

Human-in-the-loop simulations = methods and practice / by: (書目-語言資料,印刷品)

Enterprise and organizational modeling and simulation = 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011, selected papers / by: (書目-語言資料,印刷品)

Safety and risk modeling and its applications by: (書目-語言資料,印刷品)

Multi-objective evolutionary optimisation for product design and manufacturing by: (書目-語言資料,印刷品)

Haptic interaction with deformable objects = modelling VR systems for textiles / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Finite element modeling for materials engineers using MATLAB by: (書目-語言資料,印刷品)

Land-use modelling in planning practice by: (書目-語言資料,印刷品)

Viability and resilience of complex systems = concepts, methods and case studies from ecology and society / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Model-driven engineering and software development = second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Bio-inspired computing - theories and applications = 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computer aided systems theory - EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Multiagent system technologies = 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Agents and artificial intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XIX by: (書目-語言資料,印刷品)

Advances in conceptual modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = 8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 28-30, 2015 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computational logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-語言資料,印刷品)

Enterprise and organizational modeling and simulation = 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015 : selected papers / by: (書目-語言資料,印刷品)

Full-3D seismic waveform inversion = theory, software and practice / by: (書目-語言資料,印刷品)

Guide to simulation and modeling for biosciences by: (書目-語言資料,印刷品)

Hierarchical sliding mode control for under-actuated cranes = design, analysis and simulation / by: (書目-語言資料,印刷品)

Information systems for crisis response and management in mediterranean countries = second International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015 : proceedings / by: (書目-語言資料,印刷品)

KI 2015 = advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings / by: (書目-語言資料,印刷品)

Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Mathematical modeling of technological processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings / by: (書目-語言資料,印刷品)

Model and data engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

Pattern recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015 : proceedings / by: (書目-語言資料,印刷品)

Pattern recognition applications and methods = third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Recent trends in computational engineering - CE2014 = optimization, uncertainty, parallel algorithms, coupled and complex problems / by: (書目-語言資料,印刷品)

Resilient routing in communication networks by: (書目-語言資料,印刷品)

Robust simulation for mega-risks = the path from single-solution to competitive, multi-solution methods for mega-risk management / by: (書目-語言資料,印刷品)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Sustained simulation performance 2015 = proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2015 / by: (書目-語言資料,印刷品)

Testing and validation of computer simulation models = principles, methods and applications / by: (書目-語言資料,印刷品)

Tools of transport telematics = 15th International Conference on Transport Systems Telematics, TST 2015, Wroclaw, Poland, April 15-17, 2015 : selected papers / by: (書目-語言資料,印刷品)

Big-data analytics and cloud computing = theory, algorithms and applications / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Hybrid systems biology = fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XX by: (書目-語言資料,印刷品)

Pattern recognition applications and methods = 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Simulation and modeling methodologies, technologies and applications = International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Guide to computing for expressive music performance by: (書目-語言資料,印刷品)

Modelling of GPCRs = a practical handbook / by: (書目-語言資料,印刷品)

Decision-based design = integrating consumer preferences into engineering design / by: (書目-語言資料,印刷品)

Advanced concepts in fuzzy logic and systems with membership uncertainty by: (書目-語言資料,印刷品)

Towards advanced data analysis by combining soft computing and statistics by: (書目-語言資料,印刷品)

Imaging heat and mass transfer processes = visualization and analysis / by: (書目-語言資料,印刷品)

Proceedings of the 21st International Meshing Roundtable by: (書目-語言資料,印刷品)

Proceedings of International Conference on Advances in Computing by: (書目-語言資料,印刷品)

Nondestructive testing of materials and structures = proceedings of NDTMS-2011, Istanbul, Turkey / by: (書目-語言資料,印刷品)

Extremal fuzzy dynamic systems = theory and applications / by: (書目-語言資料,印刷品)

Agent-based modelling of socio-technical systems by: (書目-語言資料,印刷品)

Guide to dynamic simulations of rigid bodies and particle systems by: (書目-語言資料,印刷品)

Crowd simulation by: (書目-語言資料,印刷品)

Guide to modeling and simulation of systems of systems of Systems = user's reference / by: (書目-語言資料,印刷品)

Photovoltaic sources = modeling and emulation / by: (書目-語言資料,印刷品)

Quality management in reverse logistics = a broad look on quality issues and their interaction with closed-loop supply chains / by: (書目-語言資料,印刷品)

Multi-agent based beam search for real-time production scheduling and control = method, software and industrial application / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Design and operation of automated container storage systems by: (書目-語言資料,印刷品)

Advances in spatial data handling = geospatial dynamics, geosimulation and exploratory visualization / by: (書目-語言資料,印刷品)

Exergy = production, cost and renewability / by: (書目-語言資料,印刷品)

Grasping in robotics by: (書目-語言資料,印刷品)

Proceedings of the FISITA 2012 World Automotive Congress.. Volume 2,. Advanced internal combustion engines (II) by: (書目-語言資料,印刷品)

Multidimensional data visualization = methods and applications / by: (書目-語言資料,印刷品)

Origins of mind by: (書目-語言資料,印刷品)

Guide to modeling and simulation of systems of systems by: (書目-語言資料,印刷品)

Web proxy cache replacement strategies = simulation, implementation, and performance evaluation / by: (書目-語言資料,印刷品)

Computational intelligence for traffic and mobility by: (書目-語言資料,印刷品)

CLEAN = CO2 large-scale enhanced gas recovery in the Altmark Natural Gas Field - GEOTECHNOLOGIEN science report no. 19 / by: (書目-語言資料,印刷品)

Computer simulation of thermal plant operations by: (書目-語言資料,印刷品)

Intelligent mechatronic systems = modeling, control and diagnosis / by: (書目-語言資料,印刷品)

Proceedings of the FISITA 2012 World Automotive Congress.. Volume 8,. Vehicle design and testing (II) by: (書目-語言資料,印刷品)

Bayesian argumentation = the practical side of probability / by: (書目-語言資料,印刷品)

Time-domain finite element methods for Maxwell's equations in metamaterials by: (書目-語言資料,印刷品)

Foundations and methods of stochastic simulation = A First Course / by: (書目-語言資料,印刷品)

Biomedical engineering systems and technologies = 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Decision aid models for disaster management and emergencies by: (書目-語言資料,印刷品)

Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Semantics in data and knowledge bases = 5th International Workshop, SDKB 2011, Zurich, Switzerland, July 3, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Understanding statistics using R by: (書目-語言資料,印刷品)

Consensus and synchronization in complex networks by: (書目-語言資料,印刷品)

Equilibrium models in an applied framework = industrial structure and transformation / by: (書目-語言資料,印刷品)

System modeling and optimization = 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on computational collective intelligence IX by: (書目-語言資料,印刷品)

Water quality modelling for rivers and streams by: (書目-語言資料,印刷品)

Variation-aware adaptive voltage scaling for digital CMOS circuits by: (書目-語言資料,印刷品)

Pro-active dynamic vehicle routing = real-time control and request-forecasting approaches to improve customer service / by: (書目-語言資料,印刷品)

Modeling and simulating command and control = for organizations under extreme situations / by: (書目-語言資料,印刷品)

Earth system modelling.. Volume 1,. Recent developments and projects by: (書目-語言資料,印刷品)

Intelligent energy demand forecasting by: (書目-語言資料,印刷品)

Simulation and learning = a model-centered approach / by: (書目-語言資料,印刷品)

Epistemic complexity and knowledge construction = morphogenesis, symbolic dynamics and beyond / by: (書目-語言資料,印刷品)

Modeling trust context in networks by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Model-based methodologies for pervasive and embedded software = 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers / by: (書目-語言資料,印刷品)

Advances on practical applications of agents and multi-agent systems = 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Control theory for engineers = a primer / by: (書目-語言資料,印刷品)

Advances in applied self-organizing systems by: (書目-語言資料,印刷品)

Multi-finger haptic interaction by: (書目-語言資料,印刷品)

Process simulation and parametric modeling for strategic project management by: (書目-語言資料,印刷品)

Communication technologies for vehicles = 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence X by: (書目-語言資料,印刷品)

Multi-agent-based simulation XIII = International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Repetitive motion planning and control of redundant robot manipulators by: (書目-語言資料,印刷品)

Annual dynamics of daylight variability and contrast = a simulation-based approach to quantifying visual effects in architecture / by: (書目-語言資料,印刷品)

Using Event-B for critical device software systems by: (書目-語言資料,印刷品)

Modeling and simulation in engineering, economics,and management = International Conference, MS 2013, Castellon De La Plana, Spain, June 6-7, 2013 : proceedings / by: (書目-語言資料,印刷品)

Unconventional computation and natural computation = 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings / by: (書目-語言資料,印刷品)

Information processing in computer-assisted interventions = 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013 : proceedings / by: (書目-語言資料,印刷品)

Functional imaging and modeling of the heart = 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Foundations of health information engineering and systems = second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings.. Part V / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Semantic modeling and interoperability in product and process engineering = a technology for engineering informatics / by: (書目-語言資料,印刷品)

Predicting the future = completing models of observed complex systems / by: (書目-語言資料,印刷品)

A journey from robot to digital human = mathematical principles and applications with MATLAB programming / by: (書目-語言資料,印刷品)

New geometric data structures for collision detection and haptics by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: (書目-語言資料,印刷品)

Probability models by: (書目-語言資料,印刷品)

Preventive methods for coastal protection = towards the use of ocean dynamics for pollution control / by: (書目-語言資料,印刷品)

Systems biology = integrative biology and simulation tools.. Volume 1 / by: (書目-語言資料,印刷品)

Domain engineering = product lines, languages, and conceptual models / by: (書目-語言資料,印刷品)

Intelligent virtual agents = 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013 : proceedings / by: (書目-語言資料,印刷品)

Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / by: (書目-語言資料,印刷品)

Multiagent system technologies = 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

KI 2013: advances in artificial intelligence = 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Assessment and simulation tools for sustainable energy systems = theory and applications / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Human aspects in ambient intelligence = contemporary challenges and solutions / by: (書目-語言資料,印刷品)

Parallel computing technologies = 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013 : proceedings / by: (書目-語言資料,印刷品)

Pattern recognition = 35th German Conference, GCPR 2013, Saarbrucken, Germany, September 3-6, 2013 : proceedings / by: (書目-語言資料,印刷品)

Progress in artificial intelligence = 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroismo, Azores, Portugal, September 9-12, 2013 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings / by: (書目-語言資料,印刷品)

Computational logistics = 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Model and data engineering = third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 : proceedings / by: (書目-語言資料,印刷品)

Model-driven engineering languages and systems = 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013 : proceedings / by: (書目-語言資料,印刷品)

Critical infrastructure protection VI = 6th IFIP WG 11.10 international conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Information quality and management accounting = a simulation analysis of biases in costing systems / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Advances in artificial intelligence - IBERAMIA 2008 = 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (書目-語言資料,印刷品)

Digital human modeling = trends in human algorithms / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Modeling decisions for artificial intelligence = 5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings / by: (書目-語言資料,印刷品)

Intelligent robotics and applications = first international conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 : Proceedings.. Part I / by: (書目-語言資料,印刷品)

Intelligent robotics and applications = first international conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 : Proceedings.. Part II / by: (書目-語言資料,印刷品)

Motion in games = first international workshop, MIG 2008, Utrecht, the Netherlands, June 14-17, 2008 : revised papers / by: (書目-語言資料,印刷品)

Simulation, modeling, and programming for autonomous robots = first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings / by: (書目-語言資料,印刷品)

Information criteria and statistical modeling by: (書目-語言資料,印刷品)

Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings / by: (書目-語言資料,印刷品)

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development IX by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Climate change modeling methodology = selected entries from the Encyclopedia of sustainability science and technology / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Advances in artificial intelligence - IBERAMIA 2012 = 13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings / by: (書目-語言資料,印刷品)

Motion in games = 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012 : proceedings / by: (書目-語言資料,印刷品)

Transactions on large-scale data- and knowledge centered systems VII by: (書目-語言資料,印刷品)

Transactions on computational systems biology XIV = special issue on computational models for cell processes / by: (書目-語言資料,印刷品)

Computational science and high performance computing = Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 / by: (書目-語言資料,印刷品)

Intelligent information processing and web mining = proceedings of the international IIS: IIPWM' 05 Conference held in Gdansk, Poland, June 13-16, 2005 / by: (書目-語言資料,印刷品)

Telematics in the transport environment = 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustron, Poland, October 10-13, 2012 : selected papers / by: (書目-語言資料,印刷品)

Intelligent virtual agents = 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings / by: (書目-語言資料,印刷品)

KI 2012: Advances in artificial intelligence = 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012 : proceedings / by: (書目-語言資料,印刷品)

Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings / by: (書目-語言資料,印刷品)

Sustained Simulation Performance 2013 = proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013 / by: (書目-語言資料,印刷品)

Advanced computing by: (書目-語言資料,印刷品)

Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / by: (書目-語言資料,印刷品)

Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Energy efficient data centers = first International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Transactions on large-scale data- and knowledge-centered systems VI = special issue on database- and expert-systems applications / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Theoretical foundations of artificial general intelligence by: (書目-語言資料,印刷品)

Spatial cognition VIII = International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31-September 3, 2012 : proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence: Methodology, systems, and applications = 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings / by: (書目-語言資料,印刷品)

Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings / by: (書目-語言資料,印刷品)

An introduction to modern mathematical computing = with Mathematica / by: (書目-語言資料,印刷品)

Eco-friendly computing and communication systems = International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Breast imaging = 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012 : proceedings / by: (書目-語言資料,印刷品)

Agents for educational games and simulations = International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011 : revised papers / by: (書目-語言資料,印刷品)

Methods of optimization and systems analysis for problems of transcomputational complexity by: (書目-語言資料,印刷品)

Computational topology in image context = 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012 : proceedings / by: (書目-語言資料,印刷品)

Agent and multi-agent systems. Technologies and applications = 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Pervasive computing = 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings / by: (書目-語言資料,印刷品)

Modeling and simulation in engineering, economics and management = international conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Multiple fuzzy classification systems by: (書目-語言資料,印刷品)

Solving differential equations in R by: (書目-語言資料,印刷品)

Model-based development and evolution of information systems = a quality approach / by: (書目-語言資料,印刷品)

Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Wireless mobile communication and healthcare = second international ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (書目-語言資料,印刷品)

NETWORKING 2012 workshops = International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Modelling and simulation = exploring dynamic system behaviour / by: (書目-語言資料,印刷品)

New trends in interaction, virtual reality and modeling by: (書目-語言資料,印刷品)

Computational medicine in data mining and modeling by: (書目-語言資料,印刷品)

Informatics in control, automation and robotics.. Volume 1 by: (書目-語言資料,印刷品)

Enterprise and organizational modeling and simulation = 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013 : selected papers / by: (書目-語言資料,印刷品)

Activities of transport telematics = 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustron, Poland, October 23-26, 2013 : selected papers / by: (書目-語言資料,印刷品)

Geo-Informatics in Resource Management and Sustainable Ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Geo-informatics in resource management and sustainable ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

AsiaSim 2013 = 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013 : proceedings / by: (書目-語言資料,印刷品)

Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013 : proceedings / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XI by: (書目-語言資料,印刷品)

Modeling, simulation and visual analysis of crowds = a multidisciplinary perspective / by: (書目-語言資料,印刷品)

Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Conceptual modeling = 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Solving the mind-body problem by the CODAM neural model of consciousness? by: (書目-語言資料,印刷品)

Modeling of land-use and ecological dynamics by: (書目-語言資料,印刷品)

User-level workflow design = a bioinformatics perspective / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Visual heritage in the digital age by: (書目-語言資料,印刷品)

Software and data technologies = 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Information computing and applications = 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Information computing and applications = 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Long-term durability of polymeric matrix composites by: (書目-語言資料,印刷品)

Earth system modelling.. Volume 2,. Algorithms, code infrastructure and optimisation by: (書目-語言資料,印刷品)

PEM fuel cells with bio-ethanol processor systems = a multidisciplinary study of modelling, simulation, fault diagnosis and advanced control / by: (書目-語言資料,印刷品)

System identification, environmental modelling, and control system design by: (書目-語言資料,印刷品)

Macromolecular crystallography = deciphering the structure, function and dynamics of biological molecules / by: (書目-語言資料,印刷品)

Mobile intention recognition by: (書目-語言資料,印刷品)

Computational complexity = theory, techniques, and applications / by: (書目-語言資料,印刷品)

Precipitation modeling and quantitative analysis by: (書目-語言資料,印刷品)

Inverse analyses with model reduction = proper orthogonal decomposition in structural mechanics / by: (書目-語言資料,印刷品)

Agent-based models of geographical systems by: (書目-語言資料,印刷品)

Principles and practice of multi-agent systems = 13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Earth system modelling. = tools for configuring, building and running models /. Volume 5 by: (書目-語言資料,印刷品)

An assessment of uncertainties and limitations in simulating tropical cyclone climatology and future by: (書目-語言資料,印刷品)

Fuzzy evidence in identification, forecasting and diagnosis by: (書目-語言資料,印刷品)

Mathematical modeling for complex fluids and flows by: (書目-語言資料,印刷品)

Guide to scientific computing in C++ by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (書目-語言資料,印刷品)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Adaptive and learning agents = international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Advances in user modeling = UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Competence in high performance computing 2010 = proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany / by: (書目-語言資料,印刷品)

Precision assembly technologies and systems = 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Vector control of induction machines = desensitisation and optimisation through fuzzy logic / by: (書目-語言資料,印刷品)

Maintenance management in network utilities = framework and practical implementation / by: (書目-語言資料,印刷品)

Wind resistant design of bridges in Japan = developments and practices / by: (書目-語言資料,印刷品)

Pyomo - Optimization modeling in Python by: (書目-語言資料,印刷品)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (書目-語言資料,印刷品)

Improving soil fertility recommendations in Africa using the decision support system for agrotechnology transfer (DSSAT) by: (書目-語言資料,印刷品)

Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency V by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Ad hoc networks = third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Games, actions and social software = multidisciplinary aspects / by: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-語言資料,印刷品)

Behavior computing = modeling, analysis, mining and decision / by: (書目-語言資料,印刷品)

Answer set programming for continuous domains = a fuzzy logic approach / by: (書目-語言資料,印刷品)

Energy efficiency in manufacturing systems by: (書目-語言資料,印刷品)

Use cases of discrete event simulation = appliance and research / by: (書目-語言資料,印刷品)

A practical guide to ecological modelling = using R as a simulation platform / by: (書目-語言資料,印刷品)

Robotics = modelling, planning and control / by: (書目-語言資料,印刷品)

Manufacturing systems modeling and analysis by: (書目-語言資料,印刷品)

Dynamic modeling of diseases and pests by: (書目-語言資料,印刷品)

Multiobjective programming and goal programming = btheoretical results and practical applications / by: (書目-語言資料,印刷品)

IUTAM Symposium on Modelling Nanomaterials and Nanosystems = proceedings of the IUTAM symposium held in Aalborg, Denmark, 19-22 May 2008 / by: (書目-語言資料,印刷品)

Advances in computational vision and medical image processing = methods and applications / by: (書目-語言資料,印刷品)

Bee-inspired protocol engineering = from nature to networks / by: (書目-語言資料,印刷品)

Design and use of serious games by: (書目-語言資料,印刷品)

Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers / by: (書目-語言資料,印刷品)

Simulation-based case studies in logistics = education and applied research / by: (書目-語言資料,印刷品)

Dynamic general equilibrium modeling = computational methods and applications / by: (書目-語言資料,印刷品)

Argumentation in multi-agent systems = fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers / by: (書目-語言資料,印刷品)

Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Electronic healthcare = First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised selected papers / by: (書目-語言資料,印刷品)

Influence of climate change on the changing Arctic and sub-Arctic conditions by: (書目-語言資料,印刷品)

Advances in geocomputing by: (書目-語言資料,印刷品)

Topology control in wireless sensor networks = with a companion simulation tool for teaching and research / by: (書目-語言資料,印刷品)

Advances in modeling agricultural systems by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (書目-語言資料,印刷品)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (書目-語言資料,印刷品)

Human machine interaction = research results of the MMI program / by: (書目-語言資料,印刷品)

Creating brain-like intelligence = from basic principles to complex intelligent systems / by: (書目-語言資料,印刷品)

Smart graphics = 10th international symposium, SG 2009, Salamanca, Spain, May 28-30, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers / by: (書目-語言資料,印刷品)

Multi-agent-based simulation IX = international workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008 ; revised selected papers / by: (書目-語言資料,印刷品)

Foundations of systems biology = using Cell Illustrator and pathway databases / by: (書目-語言資料,印刷品)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (書目-語言資料,印刷品)

Permutation tests for stochastic ordering and ANOVA = theory and applications with R / by: (書目-語言資料,印刷品)

Bayesian computation with R by: (書目-語言資料,印刷品)

100 volumes of "Notes on Numerical Fluid Mechanics" = 40 years of numerical fluid mechanics and aerodynamics in retrospect / by: (書目-語言資料,印刷品)

From molecules to medicines = structure of biological marcomolecules and its relevance in combating new diseases and bioterrorism / by: (書目-語言資料,印刷品)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-語言資料,印刷品)

Functional imaging and modeling of the heart = 5th International Conference, FIMH 2009 Nice, France, June 3-5, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II / by: (書目-語言資料,印刷品)

Object oriented simulation = a modeling and programming perspective / by: (書目-語言資料,印刷品)

Implicit curves and surfaces = mathematics, data structures and algorithms / by: (書目-語言資料,印刷品)

Artificial life models in hardware by: (書目-語言資料,印刷品)

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (書目-語言資料,印刷品)

Simulation and inference for stochastic differential equations = with r examples / by: (書目-語言資料,印刷品)

Benchmarking transaction and analytical processing systems = the creation of a mixed workload benchmark and its application / by: (書目-語言資料,印刷品)

Modelling norms by: (書目-語言資料,印刷品)

Dynamic thermal analysis of machines in running state by: (書目-語言資料,印刷品)

Quasi-dimensional simulation of spark ignition engines = from thermodynamic optimization to cyclic variability / by: (書目-語言資料,印刷品)

Model-based reasoning in science and technology = theoretical and cognitive issues / by: (書目-語言資料,印刷品)

Proceedings of the 22nd International Meshing Roundtable by: (書目-語言資料,印刷品)

Tactile score = a knowledge media for tactile sense / by: (書目-語言資料,印刷品)

Empirical agent-based modelling - challenges and solutions.. Volume 1,. The characterisation and parameterisation of empirical agent-based models by: (書目-語言資料,印刷品)

Deterministic Abelian sandpile models and patterns by: (書目-語言資料,印刷品)

Modelling rock fracturing processes = a fracture mechanics approach using FRACOD / by: (書目-語言資料,印刷品)

Digital fabrication in architecture, engineering and construction by: (書目-語言資料,印刷品)

Modeling and simulation = an application-oriented introduction / by: (書目-語言資料,印刷品)

Development of innovative drugs via modeling with MATLAB = a practical guide / by: (書目-語言資料,印刷品)

Against the hypothesis of the end of privacy = an agent-based modelling approach to social media / by: (書目-語言資料,印刷品)

Intelligent control = a hybrid approach based on fuzzy logic, neural networks and genetic algorithms / by: (書目-語言資料,印刷品)

Artificial organic networks = artificial intelligence based on carbon networks / by: (書目-語言資料,印刷品)

Distributed model predictive control made easy by: (書目-語言資料,印刷品)

Geometrically constructed Markov chain Monte Carlo study of quantum spin-phonon complex systems by: (書目-語言資料,印刷品)

Introduction to computational social science = principles and applications / by: (書目-語言資料,印刷品)

Integrating 3D modeling, photogrammetry and design by: (書目-語言資料,印刷品)

Approaches in integrative bioinformatics = towards the virtual cell / by: (書目-語言資料,印刷品)

Cultural diversity for virtual characters = investigating behavioral aspects across cultures / by: (書目-語言資料,印刷品)

Foundations of health information engineering and systems = third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Storminess and environmental change = climate forcing and responses in the Mediterranean region / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Mathematical methods for curves and surfaces = 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Introduction to computational mass transfer = with applications to chemical engineering / by: (書目-語言資料,印刷品)

Antenna design by simulation-driven optimization by: (書目-語言資料,印刷品)

Variational regularization of 3D data = experiments with MATLAB / by: (書目-語言資料,印刷品)

Parallel Computational Fluid Dynamics = 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / by: (書目-語言資料,印刷品)

Multi-agent-based simulation XIV = International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Computational methods in power system analysis by: (書目-語言資料,印刷品)

Pedestrian and evacuation dynamics 2012 by: (書目-語言資料,印刷品)

Field free line magnetic particle imaging by: (書目-語言資料,印刷品)

Recent advances in natural computing = selected results from the IWNC 7 symposium / by: (書目-語言資料,印刷品)

CAD, 3D modeling, engineering analysis, and prototype experimentation = industrial and research applications / by: (書目-語言資料,印刷品)

Simulation-based optimization = parametric optimization techniques and reinforcement learning / by: (書目-語言資料,印刷品)

Modeling and control for a blended wing body aircraft = a case study / by: (書目-語言資料,印刷品)

Simulation and modeling methodologies, technologies and applications = International Conference, SIMULTECH 2013 Reykjavik, Iceland, July 29-31, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Handbook of simulation optimization by: (書目-語言資料,印刷品)

Military logistics = research advances and future trends / by: (書目-語言資料,印刷品)

Thermo-hydro-mechanical-chemical processes in fractured porous media = modelling and benchmarking : closed-form solutions / by: (書目-語言資料,印刷品)

Semi-quantitative approaches for landslide assessment and prediction by: (書目-語言資料,印刷品)

Analysis and simulation of electrical and computer systems by: (書目-語言資料,印刷品)

Bond graph model-based fault diagnosis of hybrid systems by: (書目-語言資料,印刷品)

Noise and vibration mitigation for rail transportation systems = proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013 / by: (書目-語言資料,印刷品)

Sustained simulation performance 2014 = proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2014 / by: (書目-語言資料,印刷品)

Value chain marketing = a marketing strategy to overcome immediate customer innovation resistance / by: (書目-語言資料,印刷品)

Computational creativity research = towards creative machines / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Traffic and granular flow '13 by: (書目-語言資料,印刷品)

Advances in architectural geometry 2014 by: (書目-語言資料,印刷品)

Multi-agent-based simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Decision models in engineering and management by: (書目-語言資料,印刷品)

The science of golf putting = a complete guide for researchers, players and coaches / by: (書目-語言資料,印刷品)

INS/CNS/GNSS integrated navigation technology by: (書目-語言資料,印刷品)

Innovative simulation systems by: (書目-語言資料,印刷品)

Recent advances in natural computing = selected results from the IWNC 8 Symposium / by: (書目-語言資料,印刷品)

Simulation training = fundamentals and applications : improving professional practice through simulation training / by: (書目-語言資料,印刷品)

Multicomponent and multiscale systems = theory, methods, and applications in engineering / by: (書目-語言資料,印刷品)

Verifying calculations - forty years on = an overview of classical verification techniques for FEM simulations / by: (書目-語言資料,印刷品)

Construction program management - decision making and optimization techniques by: (書目-語言資料,印刷品)

Complexity management with the K-Method = price structures, IT and controlling for procurement of packaging materials / by: (書目-語言資料,印刷品)

Data assimilation = mathematical concepts and instructive examples / by: (書目-語言資料,印刷品)

Scholarpedia of touch by: (書目-語言資料,印刷品)

Geochemical modelling of igneous processes - principles and recipes in R language = bringing the power of R to a geochemical community / by: (書目-語言資料,印刷品)

External thermal insulation composite systems (ETICS) = an evaluation of hygrothermal behaviour / by: (書目-語言資料,印刷品)

Fundamentals of neuromechanics by: (書目-語言資料,印刷品)

Evacuation modeling trends by: (書目-語言資料,印刷品)

High-performance computing for structural mechanics and earthquake/tsunami engineering by: (書目-語言資料,印刷品)

Application of surrogate-based global optimization to aerodynamic design by: (書目-語言資料,印刷品)

Applications of soft computing in time series forecasting = simulation and modeling techniques / by: (書目-語言資料,印刷品)

Bionic optimization in structural design = stochastically based methods to improve the performance of parts and assemblies / by: (書目-語言資料,印刷品)

Applications of systems thinking and soft operations research in managing complexity = from problem framing to problem solving / by: (書目-語言資料,印刷品)

Structure-based mechanics of tissues and organs by: (書目-語言資料,印刷品)

Distributed simulation = a model driven engineering approach / by: (書目-語言資料,印刷品)

Geo-informatics in resource management and sustainable ecosystem = third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Computational intelligence and intelligent systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Unsteady turbulent flow modelling and applications by: (書目-語言資料,印刷品)

Opportunistic mobile networks = advances and applications / by: (書目-語言資料,印刷品)

Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Big data technology and applications = first National Conference, BDTA 2015, Harbin, China, December 25-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (書目-語言資料,印刷品)

Intelligent systems for computer modelling = proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 / by: (書目-語言資料,印刷品)

Isochronous wireless network for real-time communication in industrial automation by: (書目-語言資料,印刷品)

Serious games, interaction, and simulation = 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Anti-fragile ICT systems by: (書目-語言資料,印刷品)

Distributed computer and communication networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Multi-agent based simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XXI = special issue on keyword search and big data / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XXII by: (書目-語言資料,印刷品)

Lasso-MPC - predictive control with L1-regularised least squares by: (書目-語言資料,印刷品)

Toward robotic socially believable behaving systems.. Volume II,. Modeling social signals by: (書目-語言資料,印刷品)

Toward robotic socially believable behaving systems.. Volume I,. Modeling emotions by: (書目-語言資料,印刷品)

Wireless sensor networks = concepts, applications, experimentation and analysis / by: (書目-語言資料,印刷品)

The Vienna LTE-advanced simulators = up and downlink, link and system level simulation / by: (書目-語言資料,印刷品)

Domain decomposition methods in science and engineering XXII by: (書目-語言資料,印刷品)

Modelling human behaviour in landscapes = basic concepts and modelling elements / by: (書目-語言資料,印刷品)

Digital make-believe by: (書目-語言資料,印刷品)

Tangible interactive systems = grasping the real world with computers / by: (書目-語言資料,印刷品)

High performance computer applications = 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Process-aware systems = second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Thermo-hydro-mechanical-chemical processes in fractured porous media = modelling and benchmarking : Benchmarking initiatives / by: (書目-語言資料,印刷品)

Study on the optimal allocation of water resources systems and the comprehensive utilization of water resources in arid-semiarid multiple mining areas by: (書目-語言資料,印刷品)

Methodologies for service lfe prediction of buildings = with a focus on facade claddings / by: (書目-語言資料,印刷品)

Computational diffusion MRI = MICCAI Workshop, Munich, Germany, October 9th, 2015 / by: (書目-語言資料,印刷品)

The tyranny of uncertainty = a new framework to predict, remediate and monitor risk / by: (書目-語言資料,印刷品)

Autonomic road transport support systems by: (書目-語言資料,印刷品)

Context-enhanced information fusion = boosting real-world performance with domain knowledge / by: (書目-語言資料,印刷品)

Highlights of practical applications of scalable multi-agent systems = the PAAMS collection : International Workshops o proceedings / by: (書目-語言資料,印刷品)

Software reuse = bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings / by: (書目-語言資料,印刷品)

Communication technologies for vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Natural disasters, when will they reach me? by: (書目-語言資料,印刷品)

Simulation and modeling methodologies, technologies and applications = International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Variable-structure approaches = analysis, simulation, robust control and estimation of uncertain dynamic processes / by: (書目-語言資料,印刷品)

Machine learning for evolution strategies by: (書目-語言資料,印刷品)

Scientific computing in electrical engineering = SCEE 2014, Wuppertal, Germany, July 2014 / by: (書目-語言資料,印刷品)

Computational modeling of neural activities for statistical inference by: (書目-語言資料,印刷品)

Orbital dynamics in the gravitational field of small bodies by: (書目-語言資料,印刷品)

Investment in electricity generation and transmission = decision making under uncertainty / by: (書目-語言資料,印刷品)

Introducing the oscillations based paradigm = the simulation of agents and social systems / by: (書目-語言資料,印刷品)

Modeling and simulation in engineering, economics and management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016 : proceedings / by: (書目-語言資料,印刷品)

Applied computer science by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Computational topology in image context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Augmented reality, virtual reality, and computer graphics = third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Augmented reality, virtual reality, and computer graphics = third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (書目-語言資料,印刷品)

Breast Imaging = 13th International Workshop, IWDM 2016, Malmo, Sweden, June 19-22, 2016 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XXIII by: (書目-語言資料,印刷品)

Real time modeling, simulation and control of dynamical systems by: (書目-語言資料,印刷品)

Scaling of differential equations by: (書目-語言資料,印刷品)

Seminal contributions to modelling and simulation = 30 years of the European Council of Modelling and Simulation / by: (書目-語言資料,印刷品)

Statistical analysis of noise in MRI = modeling, filtering and estimation / by: (書目-語言資料,印刷品)

Social computing = second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Social computing = second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Model design and simulation analysis = 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Haptics = perception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Haptics = perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (書目-語言資料,印刷品)

Mathematical modelling by: (書目-語言資料,印刷品)

Search and optimization by metaheuristics = techniques and algorithms inspired by nature / by: (書目-語言資料,印刷品)

Form versus function = theory and models for neuronal substrates / by: (書目-語言資料,印刷品)

Disruptive analytics = charting your strategy for next-generation business analytics / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Innovating with concept mapping = 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016 : proceedings / by: (書目-語言資料,印刷品)

PRICAI 2016 = trends in artificial intelligence : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016 : proceedings / by: (書目-語言資料,印刷品)

Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (書目-語言資料,印刷品)

Quantitative evaluation of systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings / by: (書目-語言資料,印刷品)

Medical imaging and augmented reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016 : proceedings / by: (書目-語言資料,印刷品)

Cellular automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016 : proceedings / by: (書目-語言資料,印刷品)

Computational logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / by: (書目-語言資料,印刷品)

Pattern recognition = 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016 : proceedings / by: (書目-語言資料,印刷品)

Urban resilience = a transformative approach / by: (書目-語言資料,印刷品)

Social coordination frameworks for social technical systems by: (書目-語言資料,印刷品)

Topics in numerical partial differential equations and scientific computing by: (書目-語言資料,印刷品)

Mathematical and computational approaches in advancing modern science and engineering by: (書目-語言資料,印刷品)

Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Behavioural models = from modelling finite automata to analysing business processes / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Computer information systems and industrial management = 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016 : proceedings / by: (書目-語言資料,印刷品)

Model and data engineering = 6th International Conference, MEDI 2016, Almeria, Spain, September 21-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / by: (書目-語言資料,印刷品)

KI 2016 = advances in artificial intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016 : proceedings / by: (書目-語言資料,印刷品)

Computer performance engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (書目-語言資料,印刷品)

Transactions on foundations for mastering change I by: (書目-語言資料,印刷品)

Foundational and practical aspects of resource analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Autonomous agents and multiagent systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on modularity and composition I by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XXIV by: (書目-語言資料,印刷品)

Economics with heterogeneous interacting agents = a practical guide to agent-based modeling / by: (書目-語言資料,印刷品)

Software for exascale computing - SPPEXA 2013-2015 by: (書目-語言資料,印刷品)

Information systems for crisis response and management in mediterranean countries = third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings / by: (書目-語言資料,印刷品)

Simulating prehistoric and ancient worlds by: (書目-語言資料,印刷品)

Resource management for big data platforms = algorithms, modelling, and high-performance computing techniques / by: (書目-語言資料,印刷品)

Modelling and simulation for autonomous systems = third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: (書目-語言資料,印刷品)

Advances in conceptual modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Spatial modeling principles in earth sciences by: (書目-語言資料,印刷品)

Advances in computational fluid-structure interaction and flow simulation = new methods and challenging computations / by: (書目-語言資料,印刷品)

Interactive modeling and simulation in business system design by: (書目-語言資料,印刷品)

Critical infrastructure protection X = 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Enterprise and organizational modeling and simulation = 12th International Workshop, EOMAS 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13, 2016 : selected papers / by: (書目-語言資料,印刷品)

Challenge of transport telematics = 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustron, Poland, March 16-19, 2016 : selected papers / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (書目-語言資料,印刷品)

Learning and intelligent optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Mathematical problems in meteorological modelling by: (書目-語言資料,印刷品)

Social dimensions of organised crime = modelling the dynamics of extortion rackets / by: (書目-語言資料,印刷品)

Graphical simulation of deformable models by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Data mining and constraint programming = foundations of a cross-disciplinary approach / by: (書目-語言資料,印刷品)

Sustained simulation performance 2016 = proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / by: (書目-語言資料,印刷品)

Software engineering and methodology for emerging domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Distributed computer and communication networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Supercomputing = second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Managing the complexity of critical infrastructures = a modelling and simulation approach / by: (書目-語言資料,印刷品)

High performance computing in science and engineering '16 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 / by: (書目-語言資料,印刷品)

Engineering education 4.0 = excellent teaching and learning in engineering sciences / by: (書目-語言資料,印刷品)

Guide to computational modelling for decision processes = theory, algorithms, techniques and applications / by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings / by: (書目-語言資料,印刷品)

Fire safety of historical buildings = traditional versus innovative "behavioural design" solutions by using wayfinding systems / by: (書目-語言資料,印刷品)

Meshfree methods for partial differential equations VIII by: (書目-語言資料,印刷品)

Innovative healthcare systems for the 21st century by: (書目-語言資料,印刷品)

Planning support science for smarter urban futures by: (書目-語言資料,印刷品)

Real-time monitoring and operational control of drinking-water systems by: (書目-語言資料,印刷品)

Transparent data mining for big and small data by: (書目-語言資料,印刷品)

Computational diffusion MRI = MICCAI Workshop, Athens, Greece, October 2016 / by: (書目-語言資料,印刷品)

Applied simulation and optimization.. 2,. new applications in logistics, industrial and aeronautical practice by: (書目-語言資料,印刷品)

Pyomo - optimization modeling in Python by: (書目-語言資料,印刷品)

3rd International Winter School and Conference on Network Science = NetSci-X 2017 / by: (書目-語言資料,印刷品)

Multiscale modeling of complex molecular structure and dynamics with MBN explorer by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computer information systems and industrial management = 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Parallel computational technologies = 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Subdivision surface modeling technology by: (書目-語言資料,印刷品)

Combinatorial testing in cloud computing by: (書目-語言資料,印刷品)

Multi-agent based simulation XVII = International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Mathematical methods for curves and surfaces = 9th International Conference, MMCS 2016, Tonsberg, Norway, June 23-28, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Computational logistics = 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Simulated evolution and learning = 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings / by: (書目-語言資料,印刷品)

Learning and intelligent optimization = 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / by: (書目-語言資料,印刷品)

Sustained simulation performance 2017 = proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2017 / by: (書目-語言資料,印刷品)

Introduction to computational social science = principles and applications / by: (書目-語言資料,印刷品)

Human mental workload = models and applications : first International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings / by: (書目-語言資料,印刷品)

Simulating social complexity = a handbook / by: (書目-語言資料,印刷品)

Critical infrastructure protection XI = 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Bio-inspired computing = theories and applications : 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computer vision = second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computer vision = second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XXVII by: (書目-語言資料,印刷品)

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (書目-語言資料,印刷品)

Simulating crowds in egress scenarios by: (書目-語言資料,印刷品)

Bankruptcy prediction through soft computing based deep learning technique by: (書目-語言資料,印刷品)

Computer vision = second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Analytical and computational methods in probability theory = first International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Analyzing emotion in spontaneous speech by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude / by: (書目-語言資料,印刷品)

Guide to scientific computing in C++ by: (書目-語言資料,印刷品)

Cellular automaton modeling of biological pattern formation = characterization, examples, and analysis / by: (書目-語言資料,印刷品)

Guide to simulation-based disciplines = advancing our computational future / by: (書目-語言資料,印刷品)

Guide to distributed simulation with HLA by: (書目-語言資料,印刷品)

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / by: (書目-語言資料,印刷品)

Research challenges in modeling and simulation for engineering complex systems by: (書目-語言資料,印刷品)

Quality, reliability, security and robustness in heterogeneous networks = 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings / by: (書目-語言資料,印刷品)

Advances in modeling and simulation = seminal research from 50 years of winter simulation conferences / by: (書目-語言資料,印刷品)

Advanced computational methods in energy, power, electric vehicles, and their integration = International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Advanced computational methods in life system modeling and simulation = International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Intelligent computing, networked control, and their engineering applications = International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Modeling, design and simulation of systems = 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Modeling, design and simulation of systems = 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (書目-語言資料,印刷品)

Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and programs of dynamic mixture estimation = unified approach to different types of components / by: (書目-語言資料,印刷品)

Guide to modeling and simulation of systems of systems by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Distributed computer and communication networks = 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software process improvement and capability determination = 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Enterprise and organizational modeling and simulation = 13th International Workshop, EOMAS 2017, held at CAiSE 2017, Essen, Germany, June 12-13, 2017 : selected papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Space charge physics for particle accelerators by: (書目-語言資料,印刷品)

Chaos, complexity and leadership 2016 by: (書目-語言資料,印刷品)

Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (書目-語言資料,印刷品)

Modelling and simulation for autonomous systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Modeling, design, construction, and operation of power generators with solid oxide fuel cells = from single cell to complete power system / by: (書目-語言資料,印刷品)

Systems analysis approach for complex global challenges by: (書目-語言資料,印刷品)

Numerical simulation of the aerodynamics of high-lift configurations by: (書目-語言資料,印刷品)

Automatic control systems in biomedical engineering = an interactive educational approach / by: (書目-語言資料,印刷品)

Fuzzy graph theory with applications to human trafficking by: (書目-語言資料,印刷品)

Artificial life and intelligent agents = second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

The new generation of computable general equilibrium models = modeling the economy / by: (書目-語言資料,印刷品)

Simulations for design and manufacturing = select papers from AIMTDR 2016 / by: (書目-語言資料,印刷品)

The test and launch control technology for launch vehicles by: (書目-語言資料,印刷品)

Innovative techniques and applications of modelling, identification and control = selected and expanded reports from ICMIC'17 / by: (書目-語言資料,印刷品)

Scientific computing in electrical engineering = SCEE 2016, St. Wolfgang, Austria, October 2016 / by: (書目-語言資料,印刷品)

The Uncertainty analysis of model results = a practical guide / by: (書目-語言資料,印刷品)

Modelling identities = a case study from the iron age of south-east Europe / by: (書目-語言資料,印刷品)

Honeypot frameworks and their applications = a new framework / by: (書目-語言資料,印刷品)

Wireless internet = 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

Multi-agent based simulation XVIII = International Workshop, MABS 2017, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Coastal ocean observing = platforms, sensors and systems / by: (書目-語言資料,印刷品)

New advances in mechanism and machine science = proceedings of the 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017) / by: (書目-語言資料,印刷品)

Statistics and simulation = IWS 8, Vienna, Austria, September 2015 / by: (書目-語言資料,印刷品)

Comprehensive healthcare simulation = neurosurgery / by: (書目-語言資料,印刷品)

Computer simulations of space societies by: (書目-語言資料,印刷品)

Encyclopedia of social network analysis and mining by: (書目-語言資料,印刷品)

Computational models of rhythm and meter by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Latent variable analysis and signal separation = 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018 : proceedings / by: (書目-語言資料,印刷品)

Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: (書目-語言資料,印刷品)

Sparse grids and applications = Miami 2016 / by: (書目-語言資料,印刷品)

Complex spreading phenomena in social systems = influence and contagion in real-world social networks / by: (書目-語言資料,印刷品)

Multiphysics in porous materials by: (書目-語言資料,印刷品)

Applied scientific computing = with Python / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

From animals to animats 15 = 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018 : proceedings / by: (書目-語言資料,印刷品)

Security by design = innovative perspectives on complex problems / by: (書目-語言資料,印刷品)

Monte Carlo and quasi-Monte Carlo methods = MCQMC 2016, Stanford, CA, August 14-19 / by: (書目-語言資料,印刷品)

Simulation science = first International Workshop, SimScience 2017, Gottingen, Germany, April 27-28, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (書目-語言資料,印刷品)

Quantitative evaluation of systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (書目-語言資料,印刷品)

Recent advances in computational engineering = proceedings of the 4th International Conference on Computational Engineering (ICCE 2017) in Darmstadt / by: (書目-語言資料,印刷品)

Introduction to queueing networks = theory ∩ practice / by: (書目-語言資料,印刷品)

Food dependency in the Middle East and North Africa region = retrospective analysis and projections to 2050 / by: (書目-語言資料,印刷品)

Enterprise and organizational modeling and simulation = 14th International Workshop, EOMAS 2018, held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018 : selected papers / by: (書目-語言資料,印刷品)

Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings / by: (書目-語言資料,印刷品)

Computer simulations in science and engineering = concepts - practices - perspectives / by: (書目-語言資料,印刷品)

Bioinformatics = sequences, structures, phylogeny / by: (書目-語言資料,印刷品)

Engineering simulations as scientific instruments = a pattern language / by: (書目-語言資料,印刷品)

New trends in model and data engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings / by: (書目-語言資料,印刷品)

Methods and applications for modeling and simulation of complex systems = 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27-29, 2018 : proceedings / by: (書目-語言資料,印刷品)

Reliability aspect of cloud computing environment by: (書目-語言資料,印刷品)

Handbook of dynamic data driven applications systems by: (書目-語言資料,印刷品)

Uncertainty quantification and predictive computational science = a foundation for physical scientists and engineers / by: (書目-語言資料,印刷品)

3D kinematics by: (書目-語言資料,印刷品)

Domain decomposition methods in science and engineering XXIV by: (書目-語言資料,印刷品)

Modeling and application of flexible electronics packaging by: (書目-語言資料,印刷品)

Practice of optimization theory in geotechnical engineering by: (書目-語言資料,印刷品)

Complex dynamics of traffic management by: (書目-語言資料,印刷品)

Monte Carlo simulation in statistical physics = an introduction / by: (書目-語言資料,印刷品)

ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (書目-語言資料,印刷品)

Highlights of practical applications of cyber-physical multi-agent systems = international workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017 : proceedings / by: (書目-語言資料,印刷品)

Advances in swarm intelligence = 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Advances in swarm intelligence = 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Application and theory of petri nets and concurrency = 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computational methods in systems biology = 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Parallel computing technologies = 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Summer of simulation = 50 years of seminal computer simulation research / by: (書目-語言資料,印刷品)

Wireless and satellite systems = 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12-13, 2019 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Wireless and satellite systems = 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12-13, 2019 : proceedings.. Part II / by: (書目-語言資料,印刷品)

The art of high performance computing for computational science.. Volume 1,. Techniques of speedup and parallelization for general purposes by: (書目-語言資料,印刷品)

NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (書目-語言資料,印刷品)

Reliability of power systems by: (書目-語言資料,印刷品)

Recent advances in network simulation = the OMNeT++ environment and its ecosystem / by: (書目-語言資料,印刷品)

Simulation for industry 4.0 = past, present, and future / by: (書目-語言資料,印刷品)

Intelligent and interactive computing = proceedings of IIC 2018 / by: (書目-語言資料,印刷品)

11th Chaotic Modeling and Simulation International Conference by: (書目-語言資料,印刷品)

Green Energy and Networking = 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019 : proceedings / by: (書目-語言資料,印刷品)

Wireless algorithms, systems, and applications = 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24-26, 2019 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Backward fuzzy rule interpolation by: (書目-語言資料,印刷品)

High performance computing in science and engineering '18 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 / by: (書目-語言資料,印刷品)

27th International Meshing Roundtable by: (書目-語言資料,印刷品)

Neural modeling of speech processing and speech learning = an introduction / by: (書目-語言資料,印刷品)

New developments on computational methods and imaging in biomechanics and biomedical engineering by: (書目-語言資料,印刷品)

Artificial intelligence for communications and networks = first EAI International Conference, AICON 2019, Harbin, China, May 25-26, 2019 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Models for tropical climate dynamics = waves, clouds, and precipitation / by: (書目-語言資料,印刷品)

Towards mathematics, computers and environment = a disasters perspective / by: (書目-語言資料,印刷品)

Comprehensive healthcare simulation.. Operations, technology, and innovative practice by: (書目-語言資料,印刷品)

Integrating qualitative and social science factors in archaeological modelling by: (書目-語言資料,印刷品)

Modeling decisions for artificial intelligence = second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (書目-語言資料,印刷品)

From Animals to Animats 10 = 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / by: (書目-語言資料,印刷品)

Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational science and high performance computing. = The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007 /. III by: (書目-語言資料,印刷品)

ANEMONA = A Mulit-agent Methodology for Holonic Manufacturing Systems / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Probabilistic approaches for geotechnical site characterization and slope stability analysis by: (書目-語言資料,印刷品)

Agent-based modelling in population studies = concepts, methods, and applications / by: (書目-語言資料,印刷品)

Modeling with digital ocean and digital coast by: (書目-語言資料,印刷品)

Innovation networks for regional development = concepts, case studies, and agent-based models / by: (書目-語言資料,印刷品)

Seismic wave propagation in non-homogeneous elastic media by boundary elements by: (書目-語言資料,印刷品)

Electromagnetic linear machines with dual Halbach Array = design and analysis / by: (書目-語言資料,印刷品)

Introduction to computational mass transfer = with applications to chemical engineering / by: (書目-語言資料,印刷品)

Discontinuous-fibre reinforced composites = fundamentals of stress transfer and fracture mechanics / by: (書目-語言資料,印刷品)

Design and development of metal-forming processes and products aided by finite element simulation by: (書目-語言資料,印刷品)

Forecast error correction using dynamic data assimilation by: (書目-語言資料,印刷品)

System dynamics = modelling and simulation / by: (書目-語言資料,印刷品)

Material parameter identification and inverse problems in soft tissue biomechanics by: (書目-語言資料,印刷品)

Air quality integrated assessment = a European perspective / by: (書目-語言資料,印刷品)

Tunnel fire testing and modeling = the Morgex North Tunnel experiment / by: (書目-語言資料,印刷品)

Ad hoc networks = 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings / by: (書目-語言資料,印刷品)

Mental modeling approach = risk management application case studies / by: (書目-語言資料,印刷品)

Data assimilation for atmospheric, oceanic and hydrologic applications.. (Vol. III) by: (書目-語言資料,印刷品)

Mathematical advances towards sustainable environmental systems by: (書目-語言資料,印刷品)

Variational methods in molecular modeling by: (書目-語言資料,印刷品)

Philosophy of science in practice = Nancy Cartwright and the nature of scientific reasoning / by: (書目-語言資料,印刷品)

Enterprise risk management models by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Urban dynamics and simulation models by: (書目-語言資料,印刷品)

Earthquake disaster simulation of civil infrastructures = from tall buildings to urban areas / by: (書目-語言資料,印刷品)

Machine learning and intelligent communications = first International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Management of information, process and cooperation = third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Latent variable analysis and signal separation = 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computational neurology and psychiatry by: (書目-語言資料,印刷品)

Unconventional conflict = a modeling perspective / by: (書目-語言資料,印刷品)

Robust Simulation for Mega-Risks = The Path from Single-Solution to Competitive, Multi-Solution Methods for Mega-Risk Management / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

An Information Technology Framework for Predictive, Preventive and Personalised Medicine = A Use-Case with Hepatocellular Carcinoma / by: (書目-語言資料,印刷品)

Progress in Artificial Intelligence = 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / by: (書目-語言資料,印刷品)

Untersuchung der Potentiale der numerischen Strömungsberechnung zur Prognose der Partikelemissionen in Ottomotoren mit Direkteinspritzung by: (書目-語言資料,印刷品)

The Finite Element Method and Applications in Engineering Using ANSYS® by: (書目-語言資料,印刷品)

Modeling and Simulation in the Systems Engineering Life Cycle = Core Concepts and Accompanying Lectures / by: (書目-語言資料,印刷品)

Guide to Simulation and Modeling for Biosciences by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Noise and Vibration Mitigation for Rail Transportation Systems = Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9–13 September 2013 / by: (書目-語言資料,印刷品)

Traffic and Granular Flow '13 by: (書目-語言資料,印刷品)

Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Closed-Form Solutions / by: (書目-語言資料,印刷品)

Concepts and Methodologies for Modeling and Simulation = A Tribute to Tuncer Ören / by: (書目-語言資料,印刷品)

Energy Efficient Data Centers = Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Information Systems for Crisis Response and Management in Mediterranean Countries = Second International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings / by: (書目-語言資料,印刷品)

Simulation and Modeling Methodologies, Technologies and Applications = International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V / by: (書目-語言資料,印刷品)

Sustained Simulation Performance 2015 = Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2015 / by: (書目-語言資料,印刷品)

Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

The Visual Language of Technique = Volume 3 - Heritage and Expectations in Education / by: (書目-語言資料,印刷品)

Recent Trends in Computational Engineering - CE2014 = Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XX by: (書目-語言資料,印刷品)

Software, Animation and the Moving Image = What's in the Box? / by: (書目-語言資料,印刷品)

Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics / by: (書目-語言資料,印刷品)

Virtual Worlds as Philosophical Tools = How to Philosophize with a Digital Hammer / by: (書目-語言資料,印刷品)

Functional Imaging and Modeling of the Heart = 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computer Aided Systems Theory – EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Offshore Service Industry and Logistics Modeling in the Gulf of Mexico by: (書目-語言資料,印刷品)

Decision Models in Engineering and Management by: (書目-語言資料,印刷品)

Advances in Conceptual Modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings / by: (書目-語言資料,印刷品)

Betriebssysteme und Echtzeit = Echtzeit 2015 / by: (書目-語言資料,印刷品)

Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple™ und MapleSim™ = Anwendung in Elektrotechnik, Mechanik und Antriebstechnik / by: (書目-語言資料,印刷品)

Prozessmodellierung mit ARIS® = Eine beispielorientierte Einführung für Studium und Praxis in ARIS 9 / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Artificial Life and Intelligent Agents = First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Quantitative Evaluation of Systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / by: (書目-語言資料,印刷品)

Big-Data Analytics and Cloud Computing = Theory, Algorithms and Applications / by: (書目-語言資料,印刷品)

Steuerung ereignisdiskreter Prozesse = Neuartige Methoden zur Prozessbeschreibung und zum Entwurf von Steueralgorithmen / by: (書目-語言資料,印刷品)

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014 by: (書目-語言資料,印刷品)

Analysis and Simulation of Electrical and Computer Systems by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

INS/CNS/GNSS Integrated Navigation Technology by: (書目-語言資料,印刷品)

Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

An Introduction to R for Quantitative Economics = Graphing, Simulating and Computing / by: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Modeling Mobility with Open Data = 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014 / by: (書目-語言資料,印刷品)

Temporal Points of View = Subjective and Objective Aspects / by: (書目-語言資料,印刷品)

Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

KI 2015: Advances in Artificial Intelligence = 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

Video Game Narrative and Criticism = Playing the Story / by: (書目-語言資料,印刷品)

Simulation-Based Optimization = Parametric Optimization Techniques and Reinforcement Learning / by: (書目-語言資料,印刷品)

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation = Industrial and Research Applications / by: (書目-語言資料,印刷品)

Resilient Routing in Communication Networks by: (書目-語言資料,印刷品)

Atmospheric and Space Sciences: Neutral Atmospheres = Volume 1 / by: (書目-語言資料,印刷品)

Full-3D Seismic Waveform Inversion = Theory, Software and Practice / by: (書目-語言資料,印刷品)

Turbulence by: (書目-語言資料,印刷品)

Semi-quantitative Approaches for Landslide Assessment and Prediction by: (書目-語言資料,印刷品)

The Science of Golf Putting = A Complete Guide for Researchers, Players and Coaches / by: (書目-語言資料,印刷品)

Tools of Transport Telematics = 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015. Selected Papers / by: (書目-語言資料,印刷品)

Advances in Spatial Data Handling and Analysis = Select Papers from the 16th IGU Spatial Data Handling Symposium / by: (書目-語言資料,印刷品)

Handbook of Simulation Optimization by: (書目-語言資料,印刷品)

Testing and Validation of Computer Simulation Models = Principles, Methods and Applications / by: (書目-語言資料,印刷品)

Simulation and Modeling Methodologies, Technologies and Applications = International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers / by: (書目-語言資料,印刷品)

New Challenges in Grid Generation and Adaptivity for Scientific Computing by: (書目-語言資料,印刷品)

Smart Learning Objects for Smart Education in Computer Science = Theory, Methodology and Robot-Based Implementation / by: (書目-語言資料,印刷品)

Hierarchical Sliding Mode Control for Under-actuated Cranes = Design, Analysis and Simulation / by: (書目-語言資料,印刷品)

Drehstrommaschinen im Inselbetrieb = Modellbildung - Parametrierung - Simulation / by: (書目-語言資料,印刷品)

Modeling and Control for a Blended Wing Body Aircraft = A Case Study / by: (書目-語言資料,印刷品)

Enterprise and Organizational Modeling and Simulation = 11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Selected Papers / by: (書目-語言資料,印刷品)

Heat Transfer Modeling = An Inductive Approach / by: (書目-語言資料,印刷品)

Komplexitätsmanagement mit der K-Methode = Preisdefinition, IT und Controlling im Einkauf von Packmitteln / by: (書目-語言資料,印刷品)

Sustained Simulation Performance 2014 = Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2014 / by: (書目-語言資料,印刷品)

Railway Infrastructure Security by: (書目-語言資料,印刷品)

Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings / by: (書目-語言資料,印刷品)

OpenGeoSys-Tutorial = Computational Hydrology I: Groundwater Flow Modeling / by: (書目-語言資料,印刷品)

Mathematical Modeling of Disperse Two-Phase Flows by: (書目-語言資料,印刷品)

The Visual Language of Technique = Volume 1 - History and Epistemology / by: (書目-語言資料,印刷品)

Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods / by: (書目-語言資料,印刷品)

Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der Frühen Phase der Produktentstehung by: (書目-語言資料,印刷品)

Thermal Sensors = Principles and Applications for Semiconductor Industries / by: (書目-語言資料,印刷品)

Bond Graph Model-based Fault Diagnosis of Hybrid Systems by: (書目-語言資料,印刷品)

Fractional Order Differentiation and Robust Control Design = CRONE, H-infinity and Motion Control / by: (書目-語言資料,印刷品)

Applied Simulation and Optimization = In Logistics, Industrial and Aeronautical Practice / by: (書目-語言資料,印刷品)

Computational Creativity Research: Towards Creative Machines by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / by: (書目-語言資料,印刷品)

Multi-Agent-Based Simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Multiagent System Technologies = 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XVIII by: (書目-語言資料,印刷品)

Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Pattern Recognition: Applications and Methods = 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Agents and Artificial Intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Solving Software Challenges for Exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Model and Data Engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XIX by: (書目-語言資料,印刷品)

Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / by: (書目-語言資料,印刷品)

Augmented and Virtual Reality = Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition Applications and Methods = Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Architectural Geometry 2014 by: (書目-語言資料,印刷品)

Bio-Inspired Computing -- Theories and Applications = 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Value Chain Marketing = A Marketing Strategy to Overcome Immediate Customer Innovation Resistance / by: (書目-語言資料,印刷品)

A Guide to Numerical Modelling in Systems Biology by: (書目-語言資料,印刷品)

Hybrid Systems Biology = Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Military Logistics = Research Advances and Future Trends / by: (書目-語言資料,印刷品)

Recent Advances in Natural Computing = Selected Results from the IWNC 7 Symposium / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

MATLAB® Recipes for Earth Sciences by: (書目-語言資料,印刷品)

An Introduction to Machine Learning by: (書目-語言資料,印刷品)

Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / by: (書目-語言資料,印刷品)

Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language = Bringing the Power of R to a Geochemical Community / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXIII by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Mathematical and Computational Approaches in Advancing Modern Science and Engineering by: (書目-語言資料,印刷品)

High Performance Computer Applications = 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer Information Systems and Industrial Management = 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / by: (書目-語言資料,印刷品)

High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering by: (書目-語言資料,印刷品)

Methodologies for Service Life Prediction of Buildings = With a Focus on Façade Claddings / by: (書目-語言資料,印刷品)

Mathematical Modeling and Computational Intelligence in Engineering Applications by: (書目-語言資料,印刷品)

Distributed Simulation = A Model Driven Engineering Approach / by: (書目-語言資料,印刷品)

Interactive Modeling and Simulation in Business System Design by: (書目-語言資料,印刷品)

Simulation Training: Fundamentals and Applications = Improving Professional Practice Through Simulation Training / by: (書目-語言資料,印刷品)

Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Anti-fragile ICT Systems by: (書目-語言資料,印刷品)

Tangible Interactive Systems = Grasping the Real World with Computers / by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Resource Management for Big Data Platforms = Algorithms, Modelling, and High-Performance Computing Techniques / by: (書目-語言資料,印刷品)

Conceptual Modeling = 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Sustained Simulation Performance 2016 = Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / by: (書目-語言資料,印刷品)

High Performance Computing in Science and Engineering ´16 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXII by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / by: (書目-語言資料,印刷品)

Serious Games, Interaction, and Simulation = 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software for Exascale Computing - SPPEXA 2013-2015 by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

KI 2016: Advances in Artificial Intelligence = 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / by: (書目-語言資料,印刷品)

Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Benchmarking Initiatives / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational 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: (書目-語言資料,印刷品)

Enterprise and Organizational Modeling and Simulation = 12th International Workshop, EOMAS 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13, 2016, Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Information Systems for Crisis Response and Management in Mediterranean Countries = Third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / by: (書目-語言資料,印刷品)

Intelligent Systems for Computer Modelling = Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 / by: (書目-語言資料,印刷品)

External Thermal Insulation Composite Systems (ETICS) = An Evaluation of Hygrothermal Behaviour / by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

Model and Data Engineering = 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Political Cyberformance = The Etheatre Project / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / by: (書目-語言資料,印刷品)

Applied Computer Science by: (書目-語言資料,印刷品)

Strukturbildung und Simulation technischer Systeme Band 1 = Die statischen Grundlagen der Simulation / by: (書目-語言資料,印刷品)

Internet der Dinge = Echtzeit 2016 / by: (書目-語言資料,印刷品)

Applications of Soft Computing in Time Series Forecasting = Simulation and Modeling Techniques / by: (書目-語言資料,印刷品)

Ein universelles Fahrbahnmodell für die Fahrdynamiksimulation by: (書目-語言資料,印刷品)

Spatial Modeling Principles in Earth Sciences by: (書目-語言資料,印刷品)

Seminal Contributions to Modelling and Simulation = 30 Years of the European Council of Modelling and Simulation / by: (書目-語言資料,印刷品)

Ein Beitrag zur Erhöhung der Reichweite eines batterieelektrischen Fahrzeugs durch prädiktives Thermomanagement by: (書目-語言資料,印刷品)

Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Building a SharePoint 2016 Home Lab = A How-To Reference on Simulating a Realistic SharePoint Testing Environment / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II / by: (書目-語言資料,印刷品)

Multicomponent and Multiscale Systems = Theory, Methods, and Applications in Engineering / by: (書目-語言資料,印刷品)

Advances in Conceptual Modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Isochronous Wireless Network for Real-time Communication in Industrial Automation by: (書目-語言資料,印刷品)

Graphical Simulation of Deformable Models by: (書目-語言資料,印刷品)

Toward Robotic Socially Believable Behaving Systems - Volume II = Modeling Social Signals / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Social Coordination Frameworks for Social Technical Systems by: (書目-語言資料,印刷品)

Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Statistical Analysis of Noise in MRI = Modeling, Filtering and Estimation / by: (書目-語言資料,印刷品)

Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas by: (書目-語言資料,印刷品)

Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach / by: (書目-語言資料,印刷品)

Challenge of Transport Telematics = 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16–19, 2016, Selected Papers / by: (書目-語言資料,印刷品)

Simulation and Modeling Methodologies, Technologies and Applications = International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers / by: (書目-語言資料,印刷品)

Simulating Prehistoric and Ancient Worlds by: (書目-語言資料,印刷品)

Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Simulation stochastischer Systeme = Eine anwendungsorientierte Einführung / by: (書目-語言資料,印刷品)

Social Computing = Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings / by: (書目-語言資料,印刷品)

Distributed Computer and Communication Networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Social Dimensions of Organised Crime = Modelling the Dynamics of Extortion Rackets / by: (書目-語言資料,印刷品)

Machine Learning for Evolution Strategies by: (書目-語言資料,印刷品)

Netzberechnung mit Erzeugungsprofilen = Grundlagen, Berechnung, Anwendung / by: (書目-語言資料,印刷品)

Variable-Structure Approaches = Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes / by: (書目-語言資料,印刷品)

Computational Modeling of Neural Activities for Statistical Inference by: (書目-語言資料,印刷品)

Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Diffusion MRI = MICCAI Workshop, Munich, Germany, October 9th, 2015 / by: (書目-語言資料,印刷品)

Innovating with Concept Mapping = 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

Complexity Management with the K-Method = Price Structures, IT and Controlling for Procurement of Packaging Materials / by: (書目-語言資料,印刷品)

Investment in Electricity Generation and Transmission = Decision Making under Uncertainty / by: (書目-語言資料,印刷品)

Modelling Human Behaviour in Landscapes = Basic Concepts and Modelling Elements / by: (書目-語言資料,印刷品)

Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung / by: (書目-語言資料,印刷品)

Advances in Computational Fluid-Structure Interaction and Flow Simulation = New Methods and Challenging Computations / by: (書目-語言資料,印刷品)

Geo-Informatics in Resource Management and Sustainable Ecosystem = Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Urban Resilience = A Transformative Approach / by: (書目-語言資料,印刷品)

Managing the Complexity of Critical Infrastructures = A Modelling and Simulation Approach / by: (書目-語言資料,印刷品)

Model Design and Simulation Analysis = 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Stationäres und instationäres Betriebsverhalten von Abgasturboladern by: (書目-語言資料,印刷品)

Behavioural Models = From Modelling Finite Automata to Analysing Business Processes / by: (書目-語言資料,印刷品)

Verifying Calculations - Forty Years On = An Overview of Classical Verification Techniques for FEM Simulations / by: (書目-語言資料,印刷品)

The Tyranny of Uncertainty = A New Framework to Predict, Remediate and Monitor Risk / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Methodik zur Fabriksystemmodellierung im Kontext von Energie- und Ressourceneffizienz by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Evacuation Modeling Trends by: (書目-語言資料,印刷品)

Introducing the Oscillations Based Paradigm = The Simulation of Agents and Social Systems / by: (書目-語言資料,印刷品)

Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Structure-Based Mechanics of Tissues and Organs by: (書目-語言資料,印刷品)

Disruptive Analytics = Charting Your Strategy for Next-Generation Business Analytics / by: (書目-語言資料,印刷品)

Innovative Simulation Systems by: (書目-語言資料,印刷品)

Scholarpedia of Touch by: (書目-語言資料,印刷品)

Application of Surrogate-based Global Optimization to Aerodynamic Design by: (書目-語言資料,印刷品)

Opportunistic Mobile Networks = Advances and Applications / by: (書目-語言資料,印刷品)

Process-Aware Systems = Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Digital Make-Believe by: (書目-語言資料,印刷品)

Game of Colors: Moderne Bewegtbildproduktion = Theorie und Praxis für Film, Video und Fernsehen / by: (書目-語言資料,印刷品)

Lasso-MPC – Predictive Control with ℓ1-Regularised Least Squares by: (書目-語言資料,印刷品)

Construction Program Management – Decision Making and Optimization Techniques by: (書目-語言資料,印刷品)

Domain Decomposition Methods in Science and Engineering XXII by: (書目-語言資料,印刷品)

Autonomic Road Transport Support Systems by: (書目-語言資料,印刷品)

Unsteady Turbulent Flow Modelling and Applications by: (書目-語言資料,印刷品)

Untersuchungen zur impulsgetrennten Aufladung an einem Vierzylinder-Ottomotor by: (書目-語言資料,印刷品)

Homo Sapiens Digitalis - Virtuelle Ergonomie und digitale Menschmodelle by: (書目-語言資料,印刷品)

Data Assimilation: Mathematical Concepts and Instructive Examples by: (書目-語言資料,印刷品)

Form Versus Function: Theory and Models for Neuronal Substrates by: (書目-語言資料,印刷品)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXIV by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cellular Automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

PRICAI 2016: Trends in Artificial Intelligence = 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition = 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Scientific Computing in Electrical Engineering = SCEE 2014, Wuppertal, Germany, July 2014 / by: (書目-語言資料,印刷品)

Quantitative Evaluation of Systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

Simulation and Synthesis in Medical Imaging = First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by: (書目-語言資料,印刷品)

Multi-Agent Based Simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer Performance Engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Problems in Meteorological Modelling by: (書目-語言資料,印刷品)

Foundational and Practical Aspects of Resource Analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Hybrid Systems Biology = 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Foundations for Mastering Change I by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Modularity and Composition I by: (書目-語言資料,印刷品)

Wireless Sensor Networks = Concepts, Applications, Experimentation and Analysis / by: (書目-語言資料,印刷品)

Real Time Modeling, Simulation and Control of Dynamical Systems by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Engineering Education 4.0 = Excellent Teaching and Learning in Engineering Sciences / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Toward Robotic Socially Believable Behaving Systems - Volume I = Modeling Emotions / by: (書目-語言資料,印刷品)

Breast Imaging = 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Critical Infrastructure Protection X = 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

Big Data Technology and Applications = First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings / by: (書目-語言資料,印刷品)

Orbital Dynamics in the Gravitational Field of Small Bodies by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Context-Enhanced Information Fusion = Boosting Real-World Performance with Domain Knowledge / by: (書目-語言資料,印刷品)

Social Computing = Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Applications of Systems Thinking and Soft Operations Research in Managing Complexity = From Problem Framing to Problem Solving / by: (書目-語言資料,印刷品)

Fundamentals of Neuromechanics by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXI = Special Issue on Keyword Search and Big Data / by: (書目-語言資料,印刷品)

Mathematical Modelling by: (書目-語言資料,印刷品)

Recent Advances in Natural Computing = Selected Results from the IWNC 8 Symposium / by: (書目-語言資料,印刷品)

The Vienna LTE-Advanced Simulators = Up and Downlink, Link and System Level Simulation / by: (書目-語言資料,印刷品)

Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by: (書目-語言資料,印刷品)

Natural Disasters, When Will They Reach Me? by: (書目-語言資料,印刷品)

Topics in Numerical Partial Differential Equations and Scientific Computing by: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I / by: (書目-語言資料,印刷品)

Economics with Heterogeneous Interacting Agents = A Practical Guide to Agent-Based Modeling / by: (書目-語言資料,印刷品)

Bionic Optimization in Structural Design = Stochastically Based Methods to Improve the Performance of Parts and Assemblies / by: (書目-語言資料,印刷品)

Scaling of Differential Equations by: (書目-語言資料,印刷品)

Geogames and Geoplay = Game-based Approaches to the Analysis of Geo-Information / by: (書目-語言資料,印刷品)

Kostenoptimale Auslegung von thermischen Eigenschaften in Elektrofahrzeugen by: (書目-語言資料,印刷品)

Modeling, Design, Construction, and Operation of Power Generators with Solid Oxide Fuel Cells = From Single Cell to Complete Power System / by: (書目-語言資料,印刷品)

Strukturbildung und Simulation technischer Systeme = Band 2, Teil 2: Elektrische und mechanische Dynamik / by: (書目-語言資料,印刷品)

GeoComputational Analysis and Modeling of Regional Systems by: (書目-語言資料,印刷品)

New Perspectives on Applied Industrial Tools and Techniques by: (書目-語言資料,印刷品)

Methods and Applications for Modeling and Simulation of Complex Systems = 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Reliability Aspect of Cloud Computing Environment by: (書目-語言資料,印刷品)

Bioinformatics: Sequences, Structures, Phylogeny by: (書目-語言資料,印刷品)

A Step by Step Approach to the Modeling of Chemical Engineering Processes = Using Excel for simulation / by: (書目-語言資料,印刷品)

Hybride Testumgebungen für Kritische Infrastrukturen = Effiziente Implementierung für IT-Sicherheitsanalysen von KRITIS-Betreibern / by: (書目-語言資料,印刷品)

Honeypot Frameworks and Their Applications: A New Framework by: (書目-語言資料,印刷品)

From Animals to Animats 15 = 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Challenges in Modelling and Simulation of Shale Gas Reservoirs by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Simulations of Space Societies by: (書目-語言資料,印刷品)

Information Modelling for Archaeology and Anthropology = Software Engineering Principles for Cultural Heritage / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

VipIMAGE 2017 = Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 / by: (書目-語言資料,印刷品)

Numerical Simulation of the Aerodynamics of High-Lift Configurations by: (書目-語言資料,印刷品)

NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Comprehensive Healthcare Simulation: Neurosurgery by: (書目-語言資料,印刷品)

Domain Decomposition Methods in Science and Engineering XXIV by: (書目-語言資料,印刷品)

Ethernet-basierte Fahrzeugnetzwerkarchitekturen für zukünftige Echtzeitsysteme im Automobil by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Atmospheric and Space Sciences: Ionospheres and Plasma Environments = Volume 2 / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by: (書目-語言資料,印刷品)

Energiemanagement von Haushaltsgroßgeräten = Intelligente Lastverschiebung mit Lastspitzenvermeidung / by: (書目-語言資料,印刷品)

Wireless Internet = 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings / by: (書目-語言資料,印刷品)

Uncertainty Quantification and Predictive Computational Science = A Foundation for Physical Scientists and Engineers / by: (書目-語言資料,印刷品)

Artificial Life and Intelligent Agents = Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Modeling Discrete-Event Systems with GPenSIM = An Introduction / by: (書目-語言資料,印刷品)

Introduction to Queueing Networks = Theory ∩ Practice / by: (書目-語言資料,印刷品)

Systems Analysis Approach for Complex Global Challenges by: (書目-語言資料,印刷品)

Echtzeit und Sicherheit = Echtzeit 2018 / by: (書目-語言資料,印刷品)

Food Dependency in the Middle East and North Africa Region = Retrospective Analysis and Projections to 2050 / by: (書目-語言資料,印刷品)

Applied Scientific Computing = With Python / by: (書目-語言資料,印刷品)

Statistics and Simulation = IWS 8, Vienna, Austria, September 2015 / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Tagungsband des 3. Kongresses Montage Handhabung Industrieroboter by: (書目-語言資料,印刷品)

Emergence of Communication in Socio-Biological Networks by: (書目-語言資料,印刷品)

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

3D Kinematics by: (Language materials, printed)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Dynamics in GIscience by: (Language materials, printed)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Compatible Finite Element Methods for Geophysical Flows = Automation and Implementation Using Firedrake / by: (Language materials, printed)

Towards Mathematics, Computers and Environment: A Disasters Perspective by: (Language materials, printed)

Ray Tracing: A Tool for All by: (Language materials, printed)

Effective Model-Based Systems Engineering by: (Language materials, printed)

Recent Advances in Network Simulation = The OMNeT++ Environment and its Ecosystem / by: (Language materials, printed)

Integrating Qualitative and Social Science Factors in Archaeological Modelling by: (Language materials, printed)

VR, Simulations and Serious Games for Education by: (Language materials, printed)

Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives / by: (Language materials, printed)

Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen by: (Language materials, printed)

Monte Carlo Simulation in Statistical Physics = An Introduction / by: (Language materials, printed)

Reliability of Power Systems by: (Language materials, printed)

Intelligent and Interactive Computing = Proceedings of IIC 2018 / by: (Language materials, printed)

Modeling Survival Data Using Frailty Models = Second Edition / by: (Language materials, printed)

Soft Commutation Isolated DC-DC Converters by: (Language materials, printed)

Bayesian Statistics and New Generations = BAYSM 2018, Warwick, UK, July 2-3 Selected Contributions / by: (Language materials, printed)

Engineering Digital Transformation = Proceedings of the 11th International Conference on Industrial Engineering and Industrial Management / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV / by: (Language materials, printed)

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

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions = Fire Safety Engineering / by: (Language materials, printed)

Models for Tropical Climate Dynamics = Waves, Clouds, and Precipitation / by: (Language materials, printed)

Uncertainty Management with Fuzzy and Rough Sets = Recent Advances and Applications / by: (Language materials, printed)

Wireless and Satellite Systems = 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I / by: (Language materials, printed)

Wireless and Satellite Systems = 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II / by: (Language materials, printed)

Crowd Behavior Simulation of Pedestrians During Evacuation Process = DEM-Based Approach / by: (Language materials, printed)

Advanced CAD Modeling = Explicit, Parametric, Free-Form CAD and Re-engineering / by: (Language materials, printed)

Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / by: (Language materials, printed)

Industrial Networks and Intelligent Systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI / by: (Language materials, printed)

Emotion, Personality and Cultural Aspects in Crowds = Towards a Geometrical Mind / by: (Language materials, printed)

Machine Learning and Intelligent Communications = 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings / by: (Language materials, printed)

Scientific Discovery in the Social Sciences by: (Language materials, printed)

Space Information Networks = Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers / by: (Language materials, printed)

Wireless Algorithms, Systems, and Applications = 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings / by: (Language materials, printed)

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: (Language materials, printed)

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

Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by: (Language materials, printed)

Computational and Information Technologies in Science, Engineering and Education = 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by: (Language materials, printed)

Methodischer Ansatz zur Optimierung von Energieladestrategien für elektrisch angetriebene Fahrzeuge by: (Language materials, printed)

Backward Fuzzy Rule Interpolation by: (Language materials, printed)

Intelligent Integrated Energy Systems = The PowerWeb Program at TU Delft / by: (Language materials, printed)

Wind Power Based Isolated Energy Systems by: (Language materials, printed)

Landscape Lab = Drawing, Perception and Design for the Next Landscape Models / by: (Language materials, printed)

Simulation for Industry 4.0 = Past, Present, and Future / by: (Language materials, printed)

Ad Hoc Networks = 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / by: (Language materials, printed)

FlexSim in Academe: Teaching and Research by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by: (Language materials, printed)

Finding the Limits of the Limes = Modelling Demography, Economy and Transport on the Edge of the Roman Empire / by: (Language materials, printed)

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

IoT as a Service = 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings / by: (Language materials, printed)

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

The Art of High Performance Computing for Computational Science, Vol. 2 = Advanced Techniques and Examples for Materials Science / by: (Language materials, printed)

Green Energy and Networking = 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings / by: (Language materials, printed)

Modelling and Simulation = Exploring Dynamic System Behaviour / by: (Language materials, printed)

Verlässlichkeitssteigerung elektrischer Antriebe am Beispiel der elektromechanischen Servolenkung by: (Language materials, printed)

Advanced Hybrid Information Processing = Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II / by: (Language materials, printed)

Recent Trends in Signal and Image Processing = ISSIP 2017 / by: (Language materials, printed)

Pervasive Computing: A Networking Perspective and Future Directions by: (Language materials, printed)

Modeling and Application of Flexible Electronics Packaging by: (Language materials, printed)

Summer of Simulation = 50 Years of Seminal Computer Simulation Research / by: (Language materials, printed)

Topology-Based Modeling of Textile Structures and Their Joint Assemblies = Principles, Algorithms and Limitations / by: (Language materials, printed)

Hydrology in a Changing World = Challenges in Modeling / by: (Language materials, printed)

Fuzzy and Multi-Level Decision Making: Soft Computing Approaches by: (Language materials, printed)

Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by: (Language materials, printed)

Optimization of Process Flowsheets through Metaheuristic Techniques by: (Language materials, printed)

NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by: (Language materials, printed)

Virtuelle Prototypen für Lamellenventile in Pkw-Kältemittelverdichtern by: (Language materials, printed)

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

Simulieren und Entscheiden = Entscheidungsmodellierung, Modellierungsentscheidungen, Entscheidungsunterstützung / by: (Language materials, printed)

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

Handbook of Model Predictive Control by: (Language materials, printed)

Complex Dynamics of Traffic Management by: (Language materials, printed)

Container Handling in Automated Yard Blocks = An Integrative Approach Based on Time Information / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / by: (Language materials, printed)

Algorithmic Game Theory = 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings / by: (Language materials, printed)

Shallow Water Hydraulics by: (Language materials, printed)

Echtzeit 2019 = Autonome Systeme – 50 Jahre PEARL / by: (Language materials, printed)

VR Technologies in Cultural Heritage = First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Spectral Mixture for Remote Sensing = Linear Model and Applications / by: (Language materials, printed)

Modelling and Simulation in Science, Technology and Engineering Mathematics = Proceedings of the International Conference on Modelling and Simulation (MS-17) / by: (Language materials, printed)

The Art of High Performance Computing for Computational Science, Vol. 1 = Techniques of Speedup and Parallelization for General Purposes / by: (Language materials, printed)

Computational Diffusion MRI = International MICCAI Workshop, Granada, Spain, September 2018 / by: (Language materials, printed)

Recent Trends in Signal and Image Processing = Proceedings of ISSIP 2018 / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Bioinformatics and Phylogenetics = Seminal Contributions of Bernard Moret / by: (Language materials, printed)

Production at the leading edge of technology = Proceedings of the 9th Congress of the German Academic Association for Production Technology (WGP), September 30th - October 2nd, Hamburg 2019 / by: (Language materials, printed)

Computer Modelling for Nutritionists by: (Language materials, printed)

Neural Modeling of Speech Processing and Speech Learning = An Introduction / by: (Language materials, printed)

Project Management and BIM for Sustainable Modern Cities = Proceedings of the 2nd GeoMEast International Congress and Exhibition on Sustainable Civil Infrastructures, Egypt 2018 – The Official International Congress of the Soil-Structure Interaction Group in Egypt (SSIGE) / by: (Language materials, printed)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers / by: (Language materials, printed)

Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Global Change = Vol.1 : The Foundations of a New Paradigm / by: (Language materials, printed)

Human Mental Workload: Models and Applications = Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers / by: (Language materials, printed)

BERRU Predictive Modeling = Best Estimate Results with Reduced Uncertainties / by: (Language materials, printed)

A Phenomenological Knock Model for the Development of Future Engine Concepts by: (Language materials, printed)

OPNET IoT Simulation by: (Language materials, printed)

Methods and Applications for Modeling and Simulation of Complex Systems = 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings / by: (Language materials, printed)

Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Simulation Tools and Techniques = 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings / by: (Language materials, printed)

Intersections in Simulation and Gaming: Disruption and Balance = Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings / by: (Language materials, printed)

Numerical Mathematics and Advanced Applications ENUMATH 2017 by: (Language materials, printed)

New Global Perspectives on Industrial Engineering and Management = International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM / by: (Language materials, printed)

Stochastische Verkehrsflusssimulation auf Basis von Fahrerverhaltensmodellen zur Absicherung automatisierter Fahrfunktionen by: (Language materials, printed)

27th International Meshing Roundtable by: (Language materials, printed)

Mathematical Insights into Advanced Computer Graphics Techniques by: (Language materials, printed)

Advances in Manufacturing, Production Management and Process Control = Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA / by: (Language materials, printed)

Simulation and Modeling Methodologies, Technologies and Applications = 7th International Conference, SIMULTECH 2017 Madrid, Spain, July 26–28, 2017 Revised Selected Papers / by: (Language materials, printed)

Communications and Networking = 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings / by: (Language materials, printed)

Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by: (Language materials, printed)

Analysis of Injection Processes in an Innovative 3D-CFD Tool for the Simulation of Internal Combustion Engines by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V / by: (Language materials, printed)

Social Simulation for a Digital Society = Applications and Innovations in Computational Social Science / by: (Language materials, printed)

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice by: (Language materials, printed)

Machine Learning in Sports = Identifying Potential Archers / by: (Language materials, printed)

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering by: (Language materials, printed)

Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data = Multi-season characteristics from Lanzhou City, China / by: (Language materials, printed)

Transient Effects in Simulations of Hybrid Electric Drivetrains by: (Language materials, printed)

Subsidence Analysis and Visualization = For Sedimentary Basin Analysis and Modelling / by: (Language materials, printed)

Advances in Human Factors in Simulation and Modeling = Proceedings of the AHFE 2018 International Conferences on Human Factors and Simulation and Digital Human Modeling and Applied Optimization, Held on July 21–25, 2018, in Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA / by: (Language materials, printed)

Evolutionary Algorithms and Neural Networks = Theory and Applications / by: (Language materials, printed)

Enhancements in Applied Geomechanics, Mining, and Excavation Simulation and Analysis = Proceedings of the 5th GeoChina International Conference 2018 – Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China / by: (Language materials, printed)

Simulating Urban Traffic Scenarios = 3rd SUMO Conference 2015 Berlin, Germany / by: (Language materials, printed)

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

Discrete-Time and Discrete-Space Dynamical Systems 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Decision Support Systems for Weed Management 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Geospatial Technologies for Urban Health 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Financial Models in Production 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Quasi-Dimensional SI Burn Rate Model for Carbon-Neutral Fuels 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)

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

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

Sustaining Forest Ecosystems by: (Language materials, printed)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Advances in social simulation 2015 by: (Language materials, printed)