Simulation and Modeling.
概要
| 作品: | 1820 作品在 803 項出版品 803 種語言 | |
|---|---|---|
書目資訊
Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima /
by:
(書目-語言資料,印刷品)
Wärmeübertragung mit EXCEL und VBA = Wärmetechnische Berechnungen und Simulationen effektiv durchführen und professionell dokumentieren /
by:
(書目-語言資料,印刷品)
Integration von Sensitivitätsanalysemethoden in den Entwicklungsprozess für Fahrwerkregelsysteme
by:
(書目-語言資料,印刷品)
Mathematical Modelling of Decision Problems = Using the SIMUS Method for Complex Scenarios /
by:
(書目-語言資料,印刷品)
Modelling, Simulation and Applications of Complex Systems = CoSMoS 2019, Penang, Malaysia, April 8-11, 2019 /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering '19 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 /
by:
(書目-語言資料,印刷品)
Practical Guide to Digital Manufacturing = First-Time-Right for Design of Products, Machines, Processes and System Integration /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Numerical Mathematics and Advanced Applications ENUMATH 2019 = European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4 /
by:
(書目-語言資料,印刷品)
Proceedings of the 2020 DigitalFUTURES = The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) /
by:
(書目-語言資料,印刷品)
Guide to Industrial Analytics = Solving Data Science Problems for Manufacturing and the Internet of Things /
by:
(書目-語言資料,印刷品)
Optimal Operation and Control of Power Systems Using an Algebraic Modelling Language
by:
(書目-語言資料,印刷品)
Methoden zur durchgängigen virtuellen Eigenschaftsentwicklung von Fahrzeugen mit Bremsregelsystem
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence for Customer Relationship Management = Solving Customer Problems /
by:
(書目-語言資料,印刷品)
Computer Vision for X-Ray Testing = Imaging, Systems, Image Databases, and Algorithms /
by:
(書目-語言資料,印刷品)
Untersuchung von transienten Interferenzeffekten in einem Freistrahlwindkanal für Automobile
by:
(書目-語言資料,印刷品)
Advances in Simulation and Process Modelling = Proceedings of the Second International Symposium on Simulation and Process Modelling (ISSPM 2020) /
by:
(書目-語言資料,印刷品)
Clinical and Biomedical Engineering in the Human Nose = A Computational Fluid Dynamics Approach /
by:
(書目-語言資料,印刷品)
Modeling of Real Fuels and Knock Occurrence for an Effective 3D-CFD Virtual Engine Development
by:
(書目-語言資料,印刷品)
Introduction to Python in Earth Science Data Analysis = From Descriptive Statistics to Machine Learning /
by:
(書目-語言資料,印刷品)
Reliability Assessment of Safety and Production Systems = Analysis, Modelling, Calculations and Case Studies /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Core Computer Science-Based Technologies = Papers in Honor of Professor Nikolaos Alexandris /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Aerodynamic Study on the Vehicle Shape Parameters with Respect to Ground Simulation
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods for Nanoscale Applications = Particles, Plasmons and Waves /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
An Integrated Framework for Energy-Economy-Emissions Modeling = A Case Study of India /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple™ und MapleSim™ = Anwendung in Elektrotechnik, Mechanik und Antriebstechnik /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Architectural Intelligence = Selected Papers from the 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019) /
by:
(書目-語言資料,印刷品)
Fail-operational Safety Architecture for ADAS/AD Systems and a Model-driven Approach for Dependent Failure Analysis
by:
(書目-語言資料,印刷品)
Dynamical Characteristics of Inertia-Gravity Waves in the Antarctic Mesosphere = Analyses Combining High-Resolution Observations and Modeling /
by:
(書目-語言資料,印刷品)
Advances on Robotic Item Picking = Applications in Warehousing & E-Commerce Fulfillment /
by:
(書目-語言資料,印刷品)
Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2018, Rennes, France, July 1–6 /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications /
by:
(書目-語言資料,印刷品)
Comprehensive Healthcare Simulation: InterProfessional Team Training and Simulation
by:
(書目-語言資料,印刷品)
Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Einführung in die Verkehrssimulation = Ein kompakter Überblick zu mikroskopischen Verkehrsmodellen mit zellulären Automaten /
by:
(書目-語言資料,印刷品)
Model Validation and Uncertainty Quantification, Volume 3 = Proceedings of the 38th IMAC, A Conference and Exposition on Structural Dynamics 2020 /
by:
(書目-語言資料,印刷品)
Fuzzy Collaborative Forecasting and Clustering = Methodology, System Architecture, and Applications /
by:
(書目-語言資料,印刷品)
Simulation Approaches in Transportation Analysis = Recent Advances and Challenges /
by:
(書目-語言資料,印刷品)
User Modeling 2005 = 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Process Modelling for Control = A Unified Framework Using Standard Black-box Techniques /
by:
(書目-語言資料,印刷品)
Auralization = Fundamentals of Acoustics, Modelling, Simulation, Algorithms and Acoustic Virtual Reality /
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:
(書目-語言資料,印刷品)
Cognition, Communication and Interaction = Transdisciplinary Perspectives on Interactive Technology /
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:
(書目-語言資料,印刷品)
Battery Management Systems = Accurate State-of-Charge Indication for Battery-Powered Applications /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 /
by:
(書目-語言資料,印刷品)
Cellular Automaton Modeling of Biological Pattern Formation = Characterization, Applications, and Analysis /
by:
(書目-語言資料,印刷品)
The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015 : proceedings /
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:
(書目-語言資料,印刷品)
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
by:
(書目-語言資料,印刷品)
Image-based computational modeling of the human Circulatory and Pulmonary Systems = methods and applications /
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:
(書目-語言資料,印刷品)
Advanced modeling and optimization of manufacturing processes = International Research and Development /
by:
(書目-語言資料,印刷品)
Social understanding = on hermeneutics, geometrical models and artificial intelligence /
by:
(書目-語言資料,印刷品)
3D-Groundwater Modeling with PMWIN = A Simulation System for Modeling Groundwater Flow and Transport Processes /
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:
(書目-語言資料,印刷品)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Quantification of Uncertainty: Improving Efficiency and Technology = QUIET selected contributions /
by:
(書目-語言資料,印刷品)
Advances in Hydroinformatics = SimHydro 2019 - Models for Extreme Situations and Crisis Management /
by:
(書目-語言資料,印刷品)
Nonlinear System Identification = From Classical Approaches to Neural Networks, Fuzzy Models, and Gaussian Processes /
by:
(書目-語言資料,印刷品)
Robotics and Mechatronics = Proceedings of the 6th IFToMM International Symposium on Robotics and Mechatronics (ISRM 2019) /
by:
(書目-語言資料,印刷品)
Turbocharger Integration into Multidimensional Engine Simulations to Enable Transient Load Cases
by:
(書目-語言資料,印刷品)
Disaster Risk Communication = A Challenge from a Social Psychological Perspective /
by:
(書目-語言資料,印刷品)
Physik begreifen – besser konstruieren = 8 Rezepte für besseres Konstruieren dank Physics Driven Design /
by:
(書目-語言資料,印刷品)
Modeling and Application of Electromagnetic and Thermal Field in Electrical Engineering
by:
(書目-語言資料,印刷品)
Computation and Big Data for Transport = Digital Innovations in Surface and Air Transport Systems /
by:
(書目-語言資料,印刷品)
Mathematical Analysis of Continuum Mechanics and Industrial Applications III = Proceedings of the International Conference CoMFoS18 /
by:
(書目-語言資料,印刷品)
Machine Learning in Team Sports = Performance Analysis and Talent Identification in Beach Soccer & Sepak-takraw /
by:
(書目-語言資料,印刷品)
Strukturbildung und Simulation technischer Systeme = Band 3: Magnetismus und Transformatoren /
by:
(書目-語言資料,印刷品)
Advances in Simulation, Product Design and Development = Proceedings of AIMTDR 2018 /
by:
(書目-語言資料,印刷品)
Technological Paradigms and Digital Eras = Data-driven Visions for Building Design /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Proceedings of the 2019 DigitalFUTURES = The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019) /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 6th International Conference, MESAS 2019, Palermo, Italy, October 29–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Heterogeneous objects modelling and applications = collection of papers on foundations and practice /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings /
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:
(書目-語言資料,印刷品)
Multi-Agent-Based Simulation VIII = International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
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:
(書目-語言資料,印刷品)
The synthesis of three dimensional haptic textures = geometry, control, and psychophysics /
by:
(書目-語言資料,印刷品)
Probability for statistics and machine learning = fundamentals and advanced topics /
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:
(書目-語言資料,印刷品)
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Robust and online large-scale optimization = models and techniques for transportation systems /
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:
(書目-語言資料,印刷品)
Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings /
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:
(書目-語言資料,印刷品)
Modelling the physiological human = 3D Physiological Human Workshop, 3DPH 2009, Zermatt, Switzerland, November 29 - December 2, 2009 : proceedings /
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:
(書目-語言資料,印刷品)
Research and education in robotics - EUROBOT 2010 = international conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, revised selected papers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Viability and resilience of complex systems = concepts, methods and case studies from ecology and society /
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:
(書目-語言資料,印刷品)
Agents and artificial intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in conceptual modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic game theory = 8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 28-30, 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:
(書目-語言資料,印刷品)
Hierarchical sliding mode control for under-actuated cranes = design, analysis and simulation /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Hybrid systems biology = fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Pattern recognition applications and methods = 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Decision-based design = integrating consumer preferences into engineering design /
by:
(書目-語言資料,印刷品)
Nondestructive testing of materials and structures = proceedings of NDTMS-2011, Istanbul, Turkey /
by:
(書目-語言資料,印刷品)
Guide to modeling and simulation of systems of systems of Systems = user's reference /
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:
(書目-語言資料,印刷品)
Advances in spatial data handling = geospatial dynamics, geosimulation and exploratory visualization /
by:
(書目-語言資料,印刷品)
Proceedings of the FISITA 2012 World Automotive Congress.. Volume 2,. Advanced internal combustion engines (II)
by:
(書目-語言資料,印刷品)
Web proxy cache replacement strategies = simulation, implementation, and performance evaluation /
by:
(書目-語言資料,印刷品)
CLEAN = CO2 large-scale enhanced gas recovery in the Altmark Natural Gas Field - GEOTECHNOLOGIEN science report no. 19 /
by:
(書目-語言資料,印刷品)
Proceedings of the FISITA 2012 World Automotive Congress.. Volume 8,. Vehicle design and testing (II)
by:
(書目-語言資料,印刷品)
Biomedical engineering systems and technologies = 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011 : revised selected papers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Epistemic complexity and knowledge construction = morphogenesis, symbolic dynamics and beyond /
by:
(書目-語言資料,印刷品)
Model-based methodologies for pervasive and embedded software = 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012 : revised papers /
by:
(書目-語言資料,印刷品)
Communication technologies for vehicles = 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Multi-agent-based simulation XIII = International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Annual dynamics of daylight variability and contrast = a simulation-based approach to quantifying visual effects in architecture /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
A journey from robot to digital human = mathematical principles and applications with MATLAB programming /
by:
(書目-語言資料,印刷品)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
by:
(書目-語言資料,印刷品)
Preventive methods for coastal protection = towards the use of ocean dynamics for pollution control /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence for Customer Relationship Management = Keeping Customers Informed /
by:
(書目-語言資料,印刷品)
Modelling the Evolution of Natural Fracture Networks = Methods for Simulating the Nucleation, Propagation and Interaction of Layer-Bound Fractures /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Spatial cognition VIII = International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31-September 3, 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:
(書目-語言資料,印刷品)
Eco-friendly computing and communication systems = International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012 : proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Macromolecular crystallography = deciphering the structure, function and dynamics of biological molecules /
by:
(書目-語言資料,印刷品)
Inverse analyses with model reduction = proper orthogonal decomposition in structural mechanics /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Vector control of induction machines = desensitisation and optimisation through fuzzy logic /
by:
(書目-語言資料,印刷品)
Maintenance management in network utilities = framework and practical implementation /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers /
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:
(書目-語言資料,印刷品)
Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers /
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:
(書目-語言資料,印刷品)
Topology control in wireless sensor networks = with a companion simulation tool for teaching and research /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Empirical agent-based modelling - challenges and solutions.. Volume 1,. The characterisation and parameterisation of empirical agent-based models
by:
(書目-語言資料,印刷品)
Modelling rock fracturing processes = a fracture mechanics approach using FRACOD /
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:
(書目-語言資料,印刷品)
Geometrically constructed Markov chain Monte Carlo study of quantum spin-phonon complex systems
by:
(書目-語言資料,印刷品)
Cultural diversity for virtual characters = investigating behavioral aspects across cultures /
by:
(書目-語言資料,印刷品)
Storminess and environmental change = climate forcing and responses in the Mediterranean region /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Thermo-hydro-mechanical-chemical processes in fractured porous media = modelling and benchmarking : closed-form solutions /
by:
(書目-語言資料,印刷品)
Value chain marketing = a marketing strategy to overcome immediate customer innovation resistance /
by:
(書目-語言資料,印刷品)
Multi-agent-based simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
The science of golf putting = a complete guide for researchers, players and coaches /
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:
(書目-語言資料,印刷品)
Complexity management with the K-Method = price structures, IT and controlling for procurement of packaging materials /
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:
(書目-語言資料,印刷品)
High-performance computing for structural mechanics and earthquake/tsunami engineering
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:
(書目-語言資料,印刷品)
Computational intelligence and intelligent systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015 : revised selected papers /
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:
(書目-語言資料,印刷品)
Serious games, interaction, and simulation = 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015 : revised selected papers /
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:
(書目-語言資料,印刷品)
Transactions on computational collective intelligence XXI = special issue on keyword search and big data /
by:
(書目-語言資料,印刷品)
Toward robotic socially believable behaving systems.. Volume II,. Modeling social signals
by:
(書目-語言資料,印刷品)
Toward robotic socially believable behaving systems.. Volume I,. Modeling emotions
by:
(書目-語言資料,印刷品)
The Vienna LTE-advanced simulators = up and downlink, link and system level simulation /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Variable-structure approaches = analysis, simulation, robust control and estimation of uncertain dynamic processes /
by:
(書目-語言資料,印刷品)
Scientific computing in electrical engineering = SCEE 2014, Wuppertal, Germany, July 2014 /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Seminal contributions to modelling and simulation = 30 years of the European Council of Modelling and Simulation /
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:
(書目-語言資料,印刷品)
Search and optimization by metaheuristics = techniques and algorithms inspired by nature /
by:
(書目-語言資料,印刷品)
Disruptive analytics = charting your strategy for next-generation business analytics /
by:
(書目-語言資料,印刷品)
Innovating with concept mapping = 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Economics with heterogeneous interacting agents = a practical guide to agent-based modeling /
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:
(書目-語言資料,印刷品)
Advances in conceptual modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in computational fluid-structure interaction and flow simulation = new methods and challenging computations /
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:
(書目-語言資料,印刷品)
Product-focused software process improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings /
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:
(書目-語言資料,印刷品)
Social dimensions of organised crime = modelling the dynamics of extortion rackets /
by:
(書目-語言資料,印刷品)
Data mining and constraint programming = foundations of a cross-disciplinary approach /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Applied simulation and optimization.. 2,. new applications in logistics, industrial and aeronautical practice
by:
(書目-語言資料,印刷品)
3rd International Winter School and Conference on Network Science = NetSci-X 2017 /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Human mental workload = models and applications : first International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings /
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:
(書目-語言資料,印刷品)
Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
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:
(書目-語言資料,印刷品)
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
(書目-語言資料,印刷品)
Cellular automaton modeling of biological pattern formation = characterization, examples, and analysis /
by:
(書目-語言資料,印刷品)
Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Automatic control systems in biomedical engineering = an interactive educational approach /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
New advances in mechanism and machine science = proceedings of the 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017) /
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:
(書目-語言資料,印刷品)
Complex spreading phenomena in social systems = influence and contagion in real-world social networks /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Food dependency in the Middle East and North Africa region = retrospective analysis and projections to 2050 /
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:
(書目-語言資料,印刷品)
Uncertainty quantification and predictive computational science = a foundation for physical scientists and engineers /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Recent advances in network simulation = the OMNeT++ environment and its ecosystem /
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:
(書目-語言資料,印刷品)
High performance computing in science and engineering '18 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 /
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:
(書目-語言資料,印刷品)
Comprehensive healthcare simulation.. Operations, technology, and innovative practice
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:
(書目-語言資料,印刷品)
Probabilistic approaches for geotechnical site characterization and slope stability analysis
by:
(書目-語言資料,印刷品)
Agent-based modelling in population studies = concepts, methods, and applications /
by:
(書目-語言資料,印刷品)
Innovation networks for regional development = concepts, case studies, and agent-based models /
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:
(書目-語言資料,印刷品)
Material parameter identification and inverse problems in soft tissue biomechanics
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:
(書目-語言資料,印刷品)
Data assimilation for atmospheric, oceanic and hydrologic applications.. (Vol. III)
by:
(書目-語言資料,印刷品)
Philosophy of science in practice = Nancy Cartwright and the nature of scientific reasoning /
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:
(書目-語言資料,印刷品)
Robust Simulation for Mega-Risks = The Path from Single-Solution to Competitive, Multi-Solution Methods for Mega-Risk Management /
by:
(書目-語言資料,印刷品)
An Information Technology Framework for Predictive, Preventive and Personalised Medicine = A Use-Case with Hepatocellular Carcinoma /
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence = 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Untersuchung der Potentiale der numerischen Strömungsberechnung zur Prognose der Partikelemissionen in Ottomotoren mit Direkteinspritzung
by:
(書目-語言資料,印刷品)
Modeling and Simulation in the Systems Engineering Life Cycle = Core Concepts and Accompanying Lectures /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Closed-Form Solutions /
by:
(書目-語言資料,印刷品)
Concepts and Methodologies for Modeling and Simulation = A Tribute to Tuncer Ören /
by:
(書目-語言資料,印刷品)
Energy Efficient Data Centers = Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
The Visual Language of Technique = Volume 3 - Heritage and Expectations in Education /
by:
(書目-語言資料,印刷品)
Recent Trends in Computational Engineering - CE2014 = Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems /
by:
(書目-語言資料,印刷品)
Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics /
by:
(書目-語言資料,印刷品)
Virtual Worlds as Philosophical Tools = How to Philosophize with a Digital Hammer /
by:
(書目-語言資料,印刷品)
Functional Imaging and Modeling of the Heart = 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Systems Theory – EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple™ und MapleSim™ = Anwendung in Elektrotechnik, Mechanik und Antriebstechnik /
by:
(書目-語言資料,印刷品)
Prozessmodellierung mit ARIS® = Eine beispielorientierte Einführung für Studium und Praxis in ARIS 9 /
by:
(書目-語言資料,印刷品)
Artificial Life and Intelligent Agents = First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Steuerung ereignisdiskreter Prozesse = Neuartige Methoden zur Prozessbeschreibung und zum Entwurf von Steueralgorithmen /
by:
(書目-語言資料,印刷品)
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014
by:
(書目-語言資料,印刷品)
Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
An Introduction to R for Quantitative Economics = Graphing, Simulating and Computing /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modeling Mobility with Open Data = 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014 /
by:
(書目-語言資料,印刷品)
Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
KI 2015: Advances in Artificial Intelligence = 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Simulation-Based Optimization = Parametric Optimization Techniques and Reinforcement Learning /
by:
(書目-語言資料,印刷品)
CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation = Industrial and Research Applications /
by:
(書目-語言資料,印刷品)
The Science of Golf Putting = A Complete Guide for Researchers, Players and Coaches /
by:
(書目-語言資料,印刷品)
Tools of Transport Telematics = 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015. Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Spatial Data Handling and Analysis = Select Papers from the 16th IGU Spatial Data Handling Symposium /
by:
(書目-語言資料,印刷品)
Testing and Validation of Computer Simulation Models = Principles, Methods and Applications /
by:
(書目-語言資料,印刷品)
Smart Learning Objects for Smart Education in Computer Science = Theory, Methodology and Robot-Based Implementation /
by:
(書目-語言資料,印刷品)
Hierarchical Sliding Mode Control for Under-actuated Cranes = Design, Analysis and Simulation /
by:
(書目-語言資料,印刷品)
Drehstrommaschinen im Inselbetrieb = Modellbildung - Parametrierung - Simulation /
by:
(書目-語言資料,印刷品)
Komplexitätsmanagement mit der K-Methode = Preisdefinition, IT und Controlling im Einkauf von Packmitteln /
by:
(書目-語言資料,印刷品)
Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods /
by:
(書目-語言資料,印刷品)
Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der Frühen Phase der Produktentstehung
by:
(書目-語言資料,印刷品)
Fractional Order Differentiation and Robust Control Design = CRONE, H-infinity and Motion Control /
by:
(書目-語言資料,印刷品)
Applied Simulation and Optimization = In Logistics, Industrial and Aeronautical Practice /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent-Based Simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Multiagent System Technologies = 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Pattern Recognition: Applications and Methods = 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Augmented and Virtual Reality = Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition Applications and Methods = Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Bio-Inspired Computing -- Theories and Applications = 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Value Chain Marketing = A Marketing Strategy to Overcome Immediate Customer Innovation Resistance /
by:
(書目-語言資料,印刷品)
Hybrid Systems Biology = Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Advances in Natural Computing = Selected Results from the IWNC 7 Symposium /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language = Bringing the Power of R to a Geochemical Community /
by:
(書目-語言資料,印刷品)
Mathematical and Computational Approaches in Advancing Modern Science and Engineering
by:
(書目-語言資料,印刷品)
High Performance Computer Applications = 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering
by:
(書目-語言資料,印刷品)
Methodologies for Service Life Prediction of Buildings = With a Focus on Façade Claddings /
by:
(書目-語言資料,印刷品)
Simulation Training: Fundamentals and Applications = Improving Professional Practice Through Simulation Training /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Resource Management for Big Data Platforms = Algorithms, Modelling, and High-Performance Computing Techniques /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering ´16 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Serious Games, Interaction, and Simulation = 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
KI 2016: Advances in Artificial Intelligence = 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking = Benchmarking Initiatives /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Intelligent Systems for Computer Modelling = Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 /
by:
(書目-語言資料,印刷品)
External Thermal Insulation Composite Systems (ETICS) = An Evaluation of Hygrothermal Behaviour /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Strukturbildung und Simulation technischer Systeme Band 1 = Die statischen Grundlagen der Simulation /
by:
(書目-語言資料,印刷品)
Applications of Soft Computing in Time Series Forecasting = Simulation and Modeling Techniques /
by:
(書目-語言資料,印刷品)
Seminal Contributions to Modelling and Simulation = 30 Years of the European Council of Modelling and Simulation /
by:
(書目-語言資料,印刷品)
Ein Beitrag zur Erhöhung der Reichweite eines batterieelektrischen Fahrzeugs durch prädiktives Thermomanagement
by:
(書目-語言資料,印刷品)
Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Building a SharePoint 2016 Home Lab = A How-To Reference on Simulating a Realistic SharePoint Testing Environment /
by:
(書目-語言資料,印刷品)
Augmented Reality, Virtual Reality, and Computer Graphics = Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Multicomponent and Multiscale Systems = Theory, Methods, and Applications in Engineering /
by:
(書目-語言資料,印刷品)
Advances in Conceptual Modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Toward Robotic Socially Believable Behaving Systems - Volume II = Modeling Social Signals /
by:
(書目-語言資料,印刷品)
Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach /
by:
(書目-語言資料,印刷品)
Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Social Dimensions of Organised Crime = Modelling the Dynamics of Extortion Rackets /
by:
(書目-語言資料,印刷品)
Variable-Structure Approaches = Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Diffusion MRI = MICCAI Workshop, Munich, Germany, October 9th, 2015 /
by:
(書目-語言資料,印刷品)
Innovating with Concept Mapping = 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Complexity Management with the K-Method = Price Structures, IT and Controlling for Procurement of Packaging Materials /
by:
(書目-語言資料,印刷品)
Investment in Electricity Generation and Transmission = Decision Making under Uncertainty /
by:
(書目-語言資料,印刷品)
Advances in Computational Fluid-Structure Interaction and Flow Simulation = New Methods and Challenging Computations /
by:
(書目-語言資料,印刷品)
Managing the Complexity of Critical Infrastructures = A Modelling and Simulation Approach /
by:
(書目-語言資料,印刷品)
Model Design and Simulation Analysis = 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Behavioural Models = From Modelling Finite Automata to Analysing Business Processes /
by:
(書目-語言資料,印刷品)
Verifying Calculations - Forty Years On = An Overview of Classical Verification Techniques for FEM Simulations /
by:
(書目-語言資料,印刷品)
The Tyranny of Uncertainty = A New Framework to Predict, Remediate and Monitor Risk /
by:
(書目-語言資料,印刷品)
Methodik zur Fabriksystemmodellierung im Kontext von Energie- und Ressourceneffizienz
by:
(書目-語言資料,印刷品)
Introducing the Oscillations Based Paradigm = The Simulation of Agents and Social Systems /
by:
(書目-語言資料,印刷品)
Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature /
by:
(書目-語言資料,印刷品)
Disruptive Analytics = Charting Your Strategy for Next-Generation Business Analytics /
by:
(書目-語言資料,印刷品)
Process-Aware Systems = Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Game of Colors: Moderne Bewegtbildproduktion = Theorie und Praxis für Film, Video und Fernsehen /
by:
(書目-語言資料,印刷品)
Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Computer Performance Engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Context-Enhanced Information Fusion = Boosting Real-World Performance with Domain Knowledge /
by:
(書目-語言資料,印刷品)
Applications of Systems Thinking and Soft Operations Research in Managing Complexity = From Problem Framing to Problem Solving /
by:
(書目-語言資料,印刷品)
Transactions on Computational Collective Intelligence XXI = Special Issue on Keyword Search and Big Data /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
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:
(書目-語言資料,印刷品)
NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Food Dependency in the Middle East and North Africa Region = Retrospective Analysis and Projections to 2050 /
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:
(書目-語言資料,印刷品)
Computer Simulations in Science and Engineering = Concepts - Practices - Perspectives /
by:
(書目-語言資料,印刷品)
Methodological Investigations in Agent-Based Modelling = With Applications for the Social Sciences /
by:
(書目-語言資料,印刷品)
Simulation Science = First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Advances in Computational Engineering = Proceedings of the 4th International Conference on Computational Engineering (ICCE 2017) in Darmstadt /
by:
(書目-語言資料,印刷品)
Thermal Effects in Complex Machining Processes = Final Report of the DFG Priority Programme 1480 /
by:
(書目-語言資料,印刷品)
Dissemination of Cartographic Knowledge = 6th International Symposium of the ICA Commission on the History of Cartography, 2016 /
by:
(書目-語言資料,印刷品)
Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Machine Learning and Intelligent Communications = Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Real-Time Modelling and Processing for Communication Systems = Applications and Practices /
by:
(書目-語言資料,印刷品)
Scientific Computing in Electrical Engineering = SCEE 2016, St. Wolfgang, Austria, October 2016 /
by:
(書目-語言資料,印刷品)
Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
5G for Future Wireless Networks = First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
The New Generation of Computable General Equilibrium Models = Modeling the Economy /
by:
(書目-語言資料,印刷品)
Ad Hoc Networks = 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Optimale Konzeptauslegung elektrifizierter Fahrzeugantriebsstränge = Eine computergestützte Methodik zur Beschleunigung des Auslegungsprozesses /
by:
(書目-語言資料,印刷品)
New Advances in Mechanism and Machine Science = Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017) /
by:
(書目-語言資料,印刷品)
Multi-Agent Based Simulation XVIII = International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
(書目-語言資料,印刷品)
Latent Variable Analysis and Signal Separation = 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Innovative Techniques and Applications of Modelling, Identification and Control = Selected and Expanded Reports from ICMIC’17 /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Reaktives FE-Menschmodell im Insassenschutz = Simulation der Insassenkinematik in der Pre-Crash-Phase /
by:
(書目-語言資料,印刷品)
Automatic Control Systems in Biomedical Engineering = An Interactive Educational Approach /
by:
(書目-語言資料,印刷品)
Complex Spreading Phenomena in Social Systems = Influence and Contagion in Real-World Social Networks /
by:
(書目-語言資料,印刷品)
Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Communications and Networking = 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Communications and Networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advanced Hybrid Information Processing = First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Neuronale Modellierung der Sprachverarbeitung und des Sprachlernens = Eine Einführung /
by:
(書目-語言資料,印刷品)
Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering ' 17 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017 /
by:
(書目-語言資料,印刷品)
Advances in Hydroinformatics = SimHydro 2017 - Choosing The Right Model in Applied Hydraulics /
by:
(書目-語言資料,印刷品)
OpenGeoSys Tutorial = Computational Hydrology III: OGS#IPhreeqc Coupled Reactive Transport Modeling /
by:
(書目-語言資料,印刷品)
Proceedings of the International Conference on Modern Research in Aerospace Engineering = MRAE-2016 /
by:
(書目-語言資料,印刷品)
Machine Learning and Intelligent Communications = Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Involvement of Fluids in Earthquake Ruptures = Field/Experimental Data and Modeling /
by:
(書目-語言資料,印刷品)
Computational Methods and Models for Transport = New Challenges for the Greening of Transport Systems /
by:
(書目-語言資料,印刷品)
Compatible Finite Element Methods for Geophysical Flows = Automation and Implementation Using Firedrake /
by:
(書目-語言資料,印刷品)
Recent Advances in Network Simulation = The OMNeT++ Environment and its Ecosystem /
by:
(書目-語言資料,印刷品)
Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives /
by:
(書目-語言資料,印刷品)
Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen
by:
(書目-語言資料,印刷品)
Bayesian Statistics and New Generations = BAYSM 2018, Warwick, UK, July 2-3 Selected Contributions /
by:
(書目-語言資料,印刷品)
Engineering Digital Transformation = Proceedings of the 11th International Conference on Industrial Engineering and Industrial Management /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering ' 18 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 /
by:
(書目-語言資料,印刷品)
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions = Fire Safety Engineering /
by:
(書目-語言資料,印刷品)
Uncertainty Management with Fuzzy and Rough Sets = Recent Advances and Applications /
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:
(書目-語言資料,印刷品)
Crowd Behavior Simulation of Pedestrians During Evacuation Process = DEM-Based Approach /
by:
(書目-語言資料,印刷品)
Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Emotion, Personality and Cultural Aspects in Crowds = Towards a Geometrical Mind /
by:
(書目-語言資料,印刷品)
Machine Learning and Intelligent Communications = 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Space Information Networks = Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wireless Algorithms, Systems, and Applications = 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Methodischer Ansatz zur Optimierung von Energieladestrategien für elektrisch angetriebene Fahrzeuge
by:
(書目-語言資料,印刷品)
Ad Hoc Networks = 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Finding the Limits of the Limes = Modelling Demography, Economy and Transport on the Edge of the Roman Empire /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
IoT as a Service = 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
The Art of High Performance Computing for Computational Science, Vol. 2 = Advanced Techniques and Examples for Materials Science /
by:
(書目-語言資料,印刷品)
Green Energy and Networking = 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Verlässlichkeitssteigerung elektrischer Antriebe am Beispiel der elektromechanischen Servolenkung
by:
(書目-語言資料,印刷品)
Advanced Hybrid Information Processing = Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Topology-Based Modeling of Textile Structures and Their Joint Assemblies = Principles, Algorithms and Limitations /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Simulieren und Entscheiden = Entscheidungsmodellierung, Modellierungsentscheidungen, Entscheidungsunterstützung /
by:
(書目-語言資料,印刷品)
Prozessmodellierung mit ARIS® = Eine beispielorientierte Einführung für Studium und Praxis in ARIS 10 /
by:
(書目-語言資料,印刷品)
Container Handling in Automated Yard Blocks = An Integrative Approach Based on Time Information /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
VR Technologies in Cultural Heritage = First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modelling and Simulation in Science, Technology and Engineering Mathematics = Proceedings of the International Conference on Modelling and Simulation (MS-17) /
by:
(書目-語言資料,印刷品)
The Art of High Performance Computing for Computational Science, Vol. 1 = Techniques of Speedup and Parallelization for General Purposes /
by:
(書目-語言資料,印刷品)
Computational Diffusion MRI = International MICCAI Workshop, Granada, Spain, September 2018 /
by:
(書目-語言資料,印刷品)
Modelling and Simulation for Autonomous Systems = 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Simulation Tools and Techniques = 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
New Global Perspectives on Industrial Engineering and Management = International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM /
by:
(書目-語言資料,印刷品)
Stochastische Verkehrsflusssimulation auf Basis von Fahrerverhaltensmodellen zur Absicherung automatisierter Fahrfunktionen
by:
(書目-語言資料,印刷品)
Communications and Networking = 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Analysis of Injection Processes in an Innovative 3D-CFD Tool for the Simulation of Internal Combustion Engines
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Social Simulation for a Digital Society = Applications and Innovations in Computational Social Science /
by:
(書目-語言資料,印刷品)
Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice
by:
(書目-語言資料,印刷品)
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
by:
(書目-語言資料,印刷品)
Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data = Multi-season characteristics from Lanzhou City, China /
by:
(書目-語言資料,印刷品)
更多
較少的
主題