Simulation and Modeling.

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: (書目-電子資源)

Computational statistics by: (書目-電子資源)

Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (書目-電子資源)

Model-based software performance analysis by: (書目-電子資源)

Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by: (書目-電子資源)

Multi-point Interaction with Real and Virtual Objects by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 : proceedings / by: (書目-電子資源)

Spatial cognition VIII = International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31-September 3, 2012 : proceedings / by: (書目-電子資源)

Theoretical foundations of artificial general intelligence by: (書目-電子資源)

Agent-based models of geographical systems by: (書目-電子資源)

Demographic change and economic growth = simulations on growth models / by: (書目-電子資源)

Flying Insects and Robots by: (書目-電子資源)

Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part II / by: (書目-電子資源)

Self-organizing systems = 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings / by: (書目-電子資源)

Functional imaging and modeling of the heart = 6th international conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011 : proceedings / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers / by: (書目-電子資源)

Inverse analyses with model reduction = proper orthogonal decomposition in structural mechanics / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV / by: (書目-電子資源)

Image-based computational modeling of the human Circulatory and Pulmonary Systems = methods and applications / by: (書目-電子資源)

The Common Component Modeling Example = Comparing Software Component Models / by: (書目-電子資源)

Intelligent virtual agents = 10th international conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011 : proceedings / by: (書目-電子資源)

Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part II / by: (書目-電子資源)

Artificial life models in software by: (書目-電子資源)

Transactions on aspect-oriented software development V by: (書目-電子資源)

Hybrid learning = 4th international conference, ICHL 2011, Hong Kong, China, August 10-12, 2011 : proceedings / by: (書目-電子資源)

Transactions on computational systems biology XIII by: (書目-電子資源)

Artificial immune systems = 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings / by: (書目-電子資源)

HCI and usability for education and work = 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008 : proceedings / by: (書目-電子資源)

Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers / by: (書目-電子資源)

Object oriented simulation = a modeling and programming perspective / by: (書目-電子資源)

Research and education in robotics - EUROBOT 2010 = international conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, revised selected papers / by: (書目-電子資源)

Advances in Applied Self-organizing Systems by: (書目-電子資源)

Agents in principle, agents in practice = 14th international conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011 : proceedings / by: (書目-電子資源)

System identification, environmental modelling, and control system design by: (書目-電子資源)

KI 2011 = advances in artificial intelligence : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011 : proceedings / by: (書目-電子資源)

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part III / by: (書目-電子資源)

Languages, methodologies, and development tools for multi-agent systems = second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers / by: (書目-電子資源)

FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems / by: (書目-電子資源)

Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part I / by: (書目-電子資源)

Balanced automation systems for future manufacturing Networks = 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010 : proceedings / by: (書目-電子資源)

Data-driven methods for adaptive spoken dialogue systems = computational learning for conversational interfaces / by: (書目-電子資源)

Advances in modeling agricultural systems by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III by: (書目-電子資源)

Competence in high performance computing 2010 = proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany / by: (書目-電子資源)

Multi-Agent and Multi-Agent-Based Simulation = Joint Workshop MABS 2004 / by: (書目-電子資源)

Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings by: (書目-電子資源)

Progress in artificial intelligence = 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011 : proceedings / by: (書目-電子資源)

Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part I / by: (書目-電子資源)

Intelligent robotics and applications = first international conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 : Proceedings.. Part II / by: (書目-電子資源)

Multi-agent-based simulation X = international workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers / by: (書目-電子資源)

Markov decision processes and the belief-desire-intention model = bridging the gap for autonomous agents / by: (書目-電子資源)

Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (書目-電子資源)

Argumentation in multi-agent systems = fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Large-scale scientific computing = 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers / by: (書目-電子資源)

A primer of ecology with R by: (書目-電子資源)

Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 / by: (書目-電子資源)

Simulating complex systems by cellular automata by: (書目-電子資源)

Mathematical methods for curves and surfaces = 7th International Conference, MMCS 2008, Tonsberg, Norway, June 26-July 1, 2008 : revised selected papers / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part II / 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: (書目-電子資源)

An introduction to modern mathematical computing = with Mathematica / by: (書目-電子資源)

Telematics in the transport environment = 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustron, Poland, October 10-13, 2012 : selected papers / by: (書目-電子資源)

Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings / by: (書目-電子資源)

Informatics in control, automation and robotics.. Volume 1 by: (書目-電子資源)

Smart graphics = 11th international symposium, SG 2011, Bremen, Germany, July 18-20, 2011 : proceedings / by: (書目-電子資源)

Visualizing sustainable planning by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (書目-電子資源)

Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: (書目-電子資源)

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part I / by: (書目-電子資源)

Engineering societies in the agents world IX = 9th international workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008 ; revised selected papers / by: (書目-電子資源)

Medical imaging informatics by: (書目-電子資源)

Simulated evolution and learning = 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, proceedings / by: (書目-電子資源)

Stochastic models for fault tolerance = restart, rejuvenation and checkpointing / by: (書目-電子資源)

KI 2010 = advances in artificial intelligence : 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010 : proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings / by: (書目-電子資源)

Ad hoc networks = Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, revised selected papers / by: (書目-電子資源)

Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (書目-電子資源)

Advances in computation and intelligence = third international symposium, ISICA 2008 Wuhan, China, December 19-21, 2008, proceedings / by: (書目-電子資源)

Climate change modeling methodology = selected entries from the Encyclopedia of sustainability science and technology / by: (書目-電子資源)

Enterprise and organizational modeling and simulation = 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011, selected papers / by: (書目-電子資源)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (書目-電子資源)

Multi-objective evolutionary optimisation for product design and manufacturing by: (書目-電子資源)

Supply chain simulation = a system dynamics approach for improving performance / by: (書目-電子資源)

HCI and usability for e-inclusion = 5th symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 : proceedings / by: (書目-電子資源)

Neural information processing = theory and algorithms : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, proceedings.. Part I / by: (書目-電子資源)

Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings / by: (書目-電子資源)

Behavior computing = modeling, analysis, mining and decision / by: (書目-電子資源)

Dynamic general equilibrium modeling = computational methods and applications / by: (書目-電子資源)

Eco-friendly computing and communication systems = International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012 : proceedings / by: (書目-電子資源)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part IV / by: (書目-電子資源)

Pervasive computing = 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings / by: (書目-電子資源)

Simulation and inference for stochastic differential equations = with r examples / by: (書目-電子資源)

Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / by: (書目-電子資源)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (書目-電子資源)

Mobile lightweight wireless systems = Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, revised selected papers / by: (書目-電子資源)

Computational intelligence methods for bioinformatics and biostatistics = 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, revised selected papers / by: (書目-電子資源)

The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems / by: (書目-電子資源)

Intelligent Virtual Agents = 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Computational topology in image context = 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012 : proceedings / by: (書目-電子資源)

Identification of dynamic systems = an introduction with applications / by: (書目-電子資源)

Hybrid learning and education = Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009. proceedings / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings / 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: (書目-電子資源)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project / by: (書目-電子資源)

From Animals to Animats 10 = 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / by: (書目-電子資源)

Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Intelligent robotics and applications = first international conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 : Proceedings.. Part I / 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: (書目-電子資源)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (書目-電子資源)

Multidimensional item response theory by: (書目-電子資源)

Computer and computing technologies in agriculture II.. Volume 2,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China by: (書目-電子資源)

Database theory and application, bio-science and bio-Technology = International Conferences, DTA and BSBT 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, 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: (書目-電子資源)

Multi-Agent-Based Simulation VIII = International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers / by: (書目-電子資源)

Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / by: (書目-電子資源)

Control of Robot Manipulators in Joint Space by: (書目-電子資源)

Advances in Enterprise Engineering III = 5th International Workshop, Ciao! 2009, and 5th International Workshop, Eomas 2009, Held at Caise 2009, Amsterdam, the Netherlands, June 8-9, 2009, Proceedings / by: (書目-電子資源)

ANEMONA = A Mulit-agent Methodology for Holonic Manufacturing Systems / by: (書目-電子資源)

Medical image computing and computer-assisted intervention - MICCAI 2010 = 13th International Conference, Beijing, China, September 20-24, 2010, proceedings.. Part I / by: (書目-電子資源)

Engineering applications of neural networks = 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011 : proceedings.. Part I / by: (書目-電子資源)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (書目-電子資源)

Introduction to evolutionary algorithms by: (書目-電子資源)

Design rules for actuators in active mechanical systems by: (書目-電子資源)

Modelling the physiological human = 3D Physiological Human Workshop, 3DPH 2009, Zermatt, Switzerland, November 29 - December 2, 2009 : proceedings / by: (書目-電子資源)

Computational Intelligence in Time Series Forecasting = Theory and Engineering Applications / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009 : revised selected papers / by: (書目-電子資源)

PEM fuel cells with bio-ethanol processor systems = a multidisciplinary study of modelling, simulation, fault diagnosis and advanced control / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency III by: (書目-電子資源)

Engineering interactive systems 2008 = second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings / by: (書目-電子資源)

Autonomy Oriented Computing = From Problem Solving to Complex Systems Modeling / by: (書目-電子資源)

Advances in conceptual modeling = ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012 : proceedings / by: (書目-電子資源)

Multiagent system technologies = 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012 : proceedings / by: (書目-電子資源)

Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers / by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems VI = special issue on database- and expert-systems applications / by: (書目-電子資源)

IUTAM Symposium on Turbulence in the Atmosphere and Oceans = proceedings of the IUTAM Symposium on Turbulence in the Atmosphere and Oceans, Cambridge, UK, December 8 - 12, 2008 / by: (書目-電子資源)

Modeling communication with robots and virtual humans = second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006 ; revised selected papers / by: (書目-電子資源)

UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / by: (書目-電子資源)

An introduction to modern mathematical computing = with Maple / by: (書目-電子資源)

Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009 : proceedings / by: (書目-電子資源)

Mathematical modeling for complex fluids and flows by: (書目-電子資源)

Proceedings of the 19th International Meshing Roundtable by: (書目-電子資源)

Computer vision and computer graphics = theory and applications : international conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008 : revised selected papers / by: (書目-電子資源)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (書目-電子資源)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I / by: (書目-電子資源)

Smart graphics = 10th international symposium, SG 2009, Salamanca, Spain, May 28-30, 2009 ; proceedings / by: (書目-電子資源)

Research and education in robotics - EUROBOT 2009 = International Conference, La Ferte-Bernard, France, May 21-23, 2009, revised selected papers / by: (書目-電子資源)

Parallel computing = numerics, applications, and trends / by: (書目-電子資源)

Modeling of metal forming and machining processes = by finite element and soft computing methods / by: (書目-電子資源)

Studying Human Populations = An Advanced Course in Statistics / by: (書目-電子資源)

Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (書目-電子資源)

Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings / by: (書目-電子資源)

Simulation, modeling, and programming for autonomous robots = third international conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012 : proceedings / by: (書目-電子資源)

Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by: (書目-電子資源)

Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (書目-電子資源)

The Frailty Model by: (書目-電子資源)

KI 2012: Advances in artificial intelligence = 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012 : proceedings / by: (書目-電子資源)

Smart Driver Training Simulation = Save Money. Prevent / by: (書目-電子資源)

Cellular Automata = 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / by: (書目-電子資源)

Swarm intelligence = introduction and applications / by: (書目-電子資源)

Proceedings of the 16th International Meshing Roundtable by: (書目-電子資源)

Motion in games = 4th international conference, MIG 2011, Edinburgh, UK, November 13-15, 2011 : proceedings / by: (書目-電子資源)

Dynamic modeling of diseases and pests by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV / by: (書目-電子資源)

Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Bayesian computation with R by: (書目-電子資源)

Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings / by: (書目-電子資源)

Fundamental Numerical Methods for Electrical Engineering by: (書目-電子資源)

Switching and Learning in Feedback Systems = European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / by: (書目-電子資源)

Battery Management Systems = Accurate State-of-Charge Indication for Battery-Powered Applications / by: (書目-電子資源)

Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (書目-電子資源)

Guide to scientific computing in C++ by: (書目-電子資源)

Conceptual modeling = 31st international conference ER 2012, Florence, Italy, October 15-18, 2012 : proceedings / by: (書目-電子資源)

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part I / by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (書目-電子資源)

Enabling a simulation capability in the organisation by: (書目-電子資源)

Advanced modeling and optimization of manufacturing processes = International Research and Development / by: (書目-電子資源)

Social understanding = on hermeneutics, geometrical models and artificial intelligence / by: (書目-電子資源)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / by: (書目-電子資源)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (書目-電子資源)

Combat modeling by: (書目-電子資源)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II / by: (書目-電子資源)

Permutation tests for stochastic ordering and ANOVA = theory and applications with R / by: (書目-電子資源)

Long-term durability of polymeric matrix composites by: (書目-電子資源)

Cognition, Communication and Interaction = Transdisciplinary Perspectives on Interactive Technology / by: (書目-電子資源)

Explorations in Monte Carlo methods by: (書目-電子資源)

High Resolution Numerical Modelling of the Atmosphere and Ocean by: (書目-電子資源)

Solving differential equations in R by: (書目-電子資源)

Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / by: (書目-電子資源)

Finite element modeling for materials engineers using MATLAB by: (書目-電子資源)

Advances in ubiquitous user modelling = revised selected papers / by: (書目-電子資源)

New methods of concurrent checking by: (書目-電子資源)

Motion in games = Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010, proceedings / by: (書目-電子資源)

Spatial cognition. = International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings /. VI,. Learning, Reasoning, and Talking about Space by: (書目-電子資源)

MICAI 2009 = Advances in Artificial Intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings / by: (書目-電子資源)

Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part I / by: (書目-電子資源)

Theory and practice of model transformations = Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings / by: (書目-電子資源)

Answer set programming for continuous domains = a fuzzy logic approach / by: (書目-電子資源)

Quality and reliability of large-eddy simulations II by: (書目-電子資源)

Advances in self-organizing maps = 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings / by: (書目-電子資源)

Foundations of systems biology = using Cell Illustrator and pathway databases / by: (書目-電子資源)

Maintenance management in network utilities = framework and practical implementation / by: (書目-電子資源)

Information quality and management accounting = a simulation analysis of biases in costing systems / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Simulation Approaches in Transportation Analysis = Recent Advances and Challenges / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part III / by: (書目-電子資源)

An assessment of uncertainties and limitations in simulating tropical cyclone climatology and future by: (書目-電子資源)

Earth system modelling. = tools for configuring, building and running models /. Volume 5 by: (書目-電子資源)

Simulation and verification of electronic and biological systems by: (書目-電子資源)

Multibody Mechanics and Visualization 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: (書目-電子資源)

Artificial life models in hardware by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : Proceedings.. Part I / by: (書目-電子資源)

Computational complexity = theory, techniques, and applications / by: (書目-電子資源)

Mathematical modeling of biosensors = an introduction for chemists and mathematicians / by: (書目-電子資源)

Advanced manufacturing and sustainable logistics = 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010 : proceedings / by: (書目-電子資源)

Graphs and algorithms in communication networks = studies in broadband, optical, wireless and ad hoc networks / by: (書目-電子資源)

Intelligent infrastructures by: (書目-電子資源)

Use cases of discrete event simulation = appliance and research / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, proceedings.. Part I / by: (書目-電子資源)

Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / by: (書目-電子資源)

Biomimicry for Optimization, Control, and Automation by: (書目-電子資源)

Modelling, simulation and software concepts for scientific-technological problems by: (書目-電子資源)

Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings / by: (書目-電子資源)

Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. II by: (書目-電子資源)

Games, actions and social software = multidisciplinary aspects / by: (書目-電子資源)

Evolutionary game design by: (書目-電子資源)

Smart graphics = 10th international symposium, SG 2010, Banff, Canada, June 24-26, 2010 : proceedings / by: (書目-電子資源)

A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots / by: (書目-電子資源)

Advanced intelligent vomputing theories and applications. with aspects of contemporary intelligent computing techniques = 4th international conference on intelligent computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / by: (書目-電子資源)

Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (書目-電子資源)

Proceedings of the 14th International Meshing Roundtable by: (書目-電子資源)

Handbook of large-scale random networks by: (書目-電子資源)

Auralization = Fundamentals of Acoustics, Modelling, Simulation, Algorithms and Acoustic Virtual Reality / by: (書目-電子資源)

Engineering psychology and cognitive ergonomics = 8th international conference, EPCE 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : Proceedings / by: (書目-電子資源)

Computational biomechanics for medicine by: (書目-電子資源)

Principles of practice in multi-agent systems = 12th international conference, PRIMA 2009, Nagoya, Japan, December 14-16, 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: (書目-電子資源)

Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Introduction to network simulator NS2 by: (書目-電子資源)

Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (書目-電子資源)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part V / by: (書目-電子資源)

Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II by: (書目-電子資源)

Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings / by: (書目-電子資源)

Transactions on large-scale data- and knowledge centered systems VII by: (書目-電子資源)

Production Rendering = Design and Implementation / by: (書目-電子資源)

High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / by: (書目-電子資源)

Probability for statistics and machine learning = fundamentals and advanced topics / by: (書目-電子資源)

Control and automation = international conference, CA 2009. Held as part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (書目-電子資源)

Fundamentals of scientific computing by: (書目-電子資源)

Programming multi-agent systems = 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009, revised selected papers / by: (書目-電子資源)

Membrane Computing = 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Membrane computing = 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009 : revised selected and invited papers / by: (書目-電子資源)

100 volumes of "Notes on Numerical Fluid Mechanics" = 40 years of numerical fluid mechanics and aerodynamics in retrospect / by: (書目-電子資源)

Engineering applications of neural networks = 11th international conference, EANN 2009, London, UK, August 27-29, 2009 : proceedings / by: (書目-電子資源)

Medical image computing and computer-assisted intervention - MICCAI 2009 = 12th International Conference, London, UK, September 20-24, 2009 : proceedings.. Part I / by: (書目-電子資源)

Introduction to discrete event simulation and agent-based modeling = voting systems, health care, military, and manufacturing / by: (書目-電子資源)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (書目-電子資源)

Social media modeling and computing by: (書目-電子資源)

Recent advances in the 3D physiological human by: (書目-電子資源)

Ad hoc networks = third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers / by: (書目-電子資源)

Advances in user modeling = UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011 : revised selected papers / by: (書目-電子資源)

Methods of optimization and systems analysis for problems of transcomputational complexity by: (書目-電子資源)

Model-based Process Supervision = A Bond Graph Approach / by: (書目-電子資源)

Identification of Continuous-time Models from Sampled Data by: (書目-電子資源)

Advances in artificial intelligence - IBERAMIA 2012 = 13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings / by: (書目-電子資源)

Advances in geometric modeling and processing = 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 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: (書目-電子資源)

Eclipsing binary stars = modeling and analysis / 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: (書目-電子資源)

Vector control of induction machines = desensitisation and optimisation through fuzzy logic / by: (書目-電子資源)

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (書目-電子資源)

Modelling and Control of Mini-Flying Machines by: (書目-電子資源)

Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (書目-電子資源)

Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings / by: (書目-電子資源)

Architecture Description Languages = IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France / by: (書目-電子資源)

Advances in geocomputing by: (書目-電子資源)

Neural information processing = models and applications : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, proceedings.. Part II / by: (書目-電子資源)

Electronic healthcare = First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised selected papers / by: (書目-電子資源)

Modeling and simulation in Scilab/Scicos with ScicosLab5 4.4 by: (書目-電子資源)

Functional imaging and modeling of the heart = 5th International Conference, FIMH 2009 Nice, France, June 3-5, 2009 ; proceedings / by: (書目-電子資源)

A practical guide to ecological modelling = using R as a simulation platform / by: (書目-電子資源)

Analysis and design of univariate subdivision schemes 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: (書目-電子資源)

Articulated Motion and Deformable Objects = 5th International Conference, AMDO 2008, Port d'Andratx, Mallorca, Spain, July 9-11, 2008. Proceedings / by: (書目-電子資源)

Rapid modelling and quick response = intersection of theory and practice / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers / by: (書目-電子資源)

Human-in-the-loop simulations = methods and practice / by: (書目-電子資源)

Human modelling in assisted transportation = models, tools and risk methods / by: (書目-電子資源)

Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings / by: (書目-電子資源)

Precipitation modeling and quantitative analysis by: (書目-電子資源)

From molecules to medicines = structure of biological marcomolecules and its relevance in combating new diseases and bioterrorism / by: (書目-電子資源)

Motion in games = 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012 : proceedings / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Transactions on computational collective intelligence VIII by: (書目-電子資源)

Modeling and simulation in engineering, economics and management = international conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012 : proceedings / by: (書目-電子資源)

Fuzzy Database Modeling with XML by: (書目-電子資源)

Agent based simulation for a sustainable society and multi-agent smart computing = international workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 : revised selected papers / by: (書目-電子資源)

Mechanics of Composite Materials with MATLAB by: (書目-電子資源)

Computational techniques for structural health monitoring by: (書目-電子資源)

Computational ocean acoustics by: (書目-電子資源)

Research and education in robotics - EUROBOT 2011 = international conference, Prague, Czech Republic, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (書目-電子資源)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (書目-電子資源)

Computer applications for modeling, simulation, and automobile = international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings / by: (書目-電子資源)

User Modeling 2005 = 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings / by: (書目-電子資源)

Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings / by: (書目-電子資源)

Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (書目-電子資源)

Intelligent virtual agents = 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010, proceedings / by: (書目-電子資源)

Applied probability by: (書目-電子資源)

Introducing Monte Carlo methods with R by: (書目-電子資源)

Bond graph methodology = development and analysis of multidisciplinary dynamic system models / by: (書目-電子資源)

Advances in artificial intelligence - IBERAMIA 2008 = 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings / by: (書目-電子資源)

Transactions on computational systems biology XI by: (書目-電子資源)

NETWORKING 2012 workshops = International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings / by: (書目-電子資源)

Spatial cognition VII = International Conference, Spatial Cognition 2010, Mt. Hood/Portland, OR, USA, August 15-19, 2010, proceedings / by: (書目-電子資源)

Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (書目-電子資源)

Agent-Based Modeling Meets Gaming Simulation by: (書目-電子資源)

Implicit curves and surfaces = mathematics, data structures and algorithms / 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: (書目-電子資源)

Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : 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: (書目-電子資源)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part II / by: (書目-電子資源)

Modelling and Identification with Rational Orthogonal Basis Functions by: (書目-電子資源)

3D-Groundwater Modeling with PMWIN = A Simulation System for Modeling Groundwater Flow and Transport Processes / by: (書目-電子資源)

Engineering psychology and cognitive ergonomics = 9th international conference, EPCE 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III by: (書目-電子資源)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part I / by: (書目-電子資源)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (書目-電子資源)

Agent and multi-agent systems. Technologies and applications = 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012 : proceedings / by: (書目-電子資源)

Modeling decisions for artificial intelligence = 5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part III / by: (書目-電子資源)

Development and application of the finite element method based on MATLAB by: (書目-電子資源)

Manufacturing systems modeling and analysis by: (書目-電子資源)

Macromolecular crystallography = deciphering the structure, function and dynamics of biological molecules / by: (書目-電子資源)

Introduction to computational cardiology = mathematical modeling and computer simulation / by: (書目-電子資源)

Algorithm engineering = bridging the gap between algorithm theory and practice / by: (書目-電子資源)

Sensitivity analysis for neural networks by: (書目-電子資源)

Radar remote sensing of urban areas by: (書目-電子資源)

Arts and technology = First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009 : revised selected papers / by: (書目-電子資源)

Wind resistant design of bridges in Japan = developments and practices / by: (書目-電子資源)

Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part II / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings / by: (書目-電子資源)

Advances in databases and information systems = associated workshops and doctoral consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009 : revised selected papers / by: (書目-電子資源)

Intentional perspectives on information systems engineering by: (書目-電子資源)

The limits to growth revisited by: (書目-電子資源)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part III / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010 : proceedings / by: (書目-電子資源)

Prostate cancer imaging = computer-aided diagnosis, prognosis, and intervention : International Workshop, Held in Conjunction with MICCAI 2010, Beijing,China, September 24, 2010, proceedings / by: (書目-電子資源)

Computational systems-biology and bioinformatics = First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, proceedings / by: (書目-電子資源)

Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (書目-電子資源)

Building innovation pipelines through computer-aided innovation = 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings / by: (書目-電子資源)

Biomedical simulation = 5th international symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010 : proceedings / by: (書目-電子資源)

Applications of intelligent control to engineering systems by: (書目-電子資源)

Adaptive and learning agents = Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009 : revised selected papers / by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II / by: (書目-電子資源)

Artificial life = borrowing from biology : 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009 : proceedings / by: (書目-電子資源)

Biomedical engineering systems and technologies = third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010 : revised selected papers / by: (書目-電子資源)

Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. I by: (書目-電子資源)

Scientific modeling and simulations by: (書目-電子資源)

Proceedings of the 17th international meshing roundtable by: (書目-電子資源)

Information criteria and statistical modeling by: (書目-電子資源)

Principles and practice of multi-agent systems = 13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / by: (書目-電子資源)

Advances in artificial intelligence - IBERAMIA 2010 = 12th Ibero-American Conference on AI, Bahia Blanca, Argentina, November 1-5, 2010, proceedings / by: (書目-電子資源)

Systems Modeling and Simulation: Theory and Applications = Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by: (書目-電子資源)

Artificial Life Models in Software by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II / by: (書目-電子資源)

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications = Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II / by: (書目-電子資源)

Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / by: (書目-電子資源)

Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers / by: (書目-電子資源)

Digitally Archiving Cultural Objects by: (書目-電子資源)

Modeling Chemical Systems Using Cellular Automata = A textbook and laboratory manual / by: (書目-電子資源)

Prostate cancer imaging = image analysis and image-guided interventions : international workshop, held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011 : proceedings / by: (書目-電子資源)

It's a nonlinear world by: (書目-電子資源)

Transactions on computational systems biology XIV = special issue on computational models for cell processes / by: (書目-電子資源)

An Introduction to Sequential Dynamical Systems by: (書目-電子資源)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part II / by: (書目-電子資源)

Power/HVMOS devices compact modeling by: (書目-電子資源)

Spotlight on modern transformer design by: (書目-電子資源)

Software Agent-Based Applications, Platforms and Development Kits by: (書目-電子資源)

Simulation, modeling, and programming for autonomous robots = first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings / by: (書目-電子資源)

Adaptive and learning agents = international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers / by: (書目-電子資源)

Condition monitoring and assessment of power transformers using computational intelligence by: (書目-電子資源)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (書目-電子資源)

Transactions on aspect-oriented software development IX by: (書目-電子資源)

Evolution of communication and language in embodied agents by: (書目-電子資源)

Applied probability and stochastic processes by: (書目-電子資源)

Computing with instinct = rediscovering artificial intelligence / by: (書目-電子資源)

New trends in nanotechnology and fractional calculus applications by: (書目-電子資源)

Transactions on aspect-oriented software development VIII 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 V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part II / by: (書目-電子資源)

Transactions on computational systems biology XII = special issue on modeling methodologies / by: (書目-電子資源)

Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : 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 IV / by: (書目-電子資源)

Fuzzy evidence in identification, forecasting and diagnosis by: (書目-電子資源)

Transactions on petri nets and other models of concurrency V by: (書目-電子資源)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (書目-電子資源)

Missing Data and Small-Area Estimation = Modern Analytical Equipment for the Survey Statistician / by: (書目-電子資源)

Handbook of mobile ad hoc networks for mobility models by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.. Part II / by: (書目-電子資源)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part I / by: (書目-電子資源)

Hebbian Learning and Negative Feedback Networks by: (書目-電子資源)

Advances in computation and intelligence = 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings / by: (書目-電子資源)

Causality, meaningful complexity and embodied cognition by: (書目-電子資源)

Computational science and high performance computing. = The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007 /. III by: (書目-電子資源)

Inference in Hidden Markov Models by: (書目-電子資源)

High Performance Computational Science and Engineering = IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-電子資源)

Improving soil fertility recommendations in Africa using the decision support system for agrotechnology transfer (DSSAT) by: (書目-電子資源)

Cellular Automaton Modeling of Biological Pattern Formation = Characterization, Applications, and Analysis / by: (書目-電子資源)

Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers / by: (書目-電子資源)

Wireless mobile communication and healthcare = second international ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011 : revised selected papers / by: (書目-電子資源)

Artificial immune systems = 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010 : proceedings / 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: (書目-電子資源)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-電子資源)

Simulation-based case studies in logistics = education and applied research / by: (書目-電子資源)

Transactions on computational systems biology IX by: (書目-電子資源)

Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers / by: (書目-電子資源)

Robust and online large-scale optimization = models and techniques for transportation systems / by: (書目-電子資源)

Process Modelling for Control = A Unified Framework Using Standard Black-box Techniques / 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: (書目-電子資源)

Intelligent data engineering and automated learning - IDEAL 2009 = 10th international conference, Bourgos, Spain, September 23-26, 2009 : 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: (書目-電子資源)

Atmospheric Icing of Power Networks by: (書目-電子資源)

Modeling and tools for network simulation by: (書目-電子資源)

Decision support systems - Collaborative models and approaches in real environments = Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011 : revised selected and extended papers / by: (書目-電子資源)

Hybrid Learning and Education = First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings / by: (書目-電子資源)

Medical image computing and computer-assisted intervention - MICCAI 2009 = 12th international conference, London, UK, September 20-24, 2009 : proceedings.. Part II / by: (書目-電子資源)

Algorithmic game theory = second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings / by: (書目-電子資源)

Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures / by: (書目-電子資源)

Manufacturing systems modeling and analysis by: (書目-電子資源)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / by: (書目-電子資源)

Product research = the art and science behind successful product launches / by: (書目-電子資源)

Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / by: (書目-電子資源)

Software engineering for self-adaptive systems by: (書目-電子資源)

Medical image computing and computer-assisted intervention - MICCAI 2010 = 13th International Conference, Beijing, China, September 20-24, 2010, proceedings.. Part II / by: (書目-電子資源)

A Software Process Model Handbook for Incorporating People's Capabilities by: (書目-電子資源)

Transactions on Petri nets and other models of concurrency IV by: (書目-電子資源)

Artificial intelligence: Methodology, systems, and applications = 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012 : proceedings / by: (書目-電子資源)

Multiple fuzzy classification systems by: (書目-電子資源)

Algorithmic game theory = 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / by: (書目-電子資源)

Model-based development and evolution of information systems = a quality approach / by: (書目-電子資源)

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part II / by: (書目-電子資源)

Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II / by: (書目-電子資源)

Intelligent virtual agents = 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I / by: (書目-電子資源)

Simulation, modeling, and programming for autonomous robots = Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture II.. Volume 1,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China by: (書目-電子資源)

Circuit simulation with SPICE OPUS = theory and practice / by: (書目-電子資源)

Intelligent robotics and applications = second international conference, ICIRA 2009, Singapore, December 16-18, 2009 : proceedings / by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (書目-電子資源)

Coloured petri nets = modelling and validation of concurrent systems / by: (書目-電子資源)

Heterogeneous objects modelling and applications = collection of papers on foundations and practice / 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: (書目-電子資源)

Rapid modelling for increasing competitiveness = tools and mindset / by: (書目-電子資源)

Molecular modeling and simulation = an interdisciplinary guide / by: (書目-電子資源)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II / by: (書目-電子資源)

Topology control in wireless sensor networks = with a companion simulation tool for teaching and research / by: (書目-電子資源)

Biomedical Simulation = 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings / by: (書目-電子資源)

Autonomous and autonomic systems = with applications to NASA intelligent spacecraft operations and exploration systems / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part III / by: (書目-電子資源)

Real-world wireless sensor networks = 4th international workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (書目-電子資源)

Viability and resilience of complex systems = concepts, methods and case studies from ecology and society / by: (書目-電子資源)

Triadic game design = balancing reality, meaning and play / by: (書目-電子資源)

Pyomo - Optimization modeling in Python by: (書目-電子資源)

Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / by: (書目-電子資源)

Agents for games and simulations = trends in techniques, concepts and design / by: (書目-電子資源)

Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part I / by: (書目-電子資源)

Transactions on computational systems biology X by: (書目-電子資源)

Energy efficient data centers = first International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 : revised selected papers / by: (書目-電子資源)

Agents for games and simulations II = trends in techniques, concepts and design / by: (書目-電子資源)

Modeling marvels = computational anticipation of novel molecules / by: (書目-電子資源)

Nonsmooth modeling and simulation for switched circuits by: (書目-電子資源)

Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings / by: (書目-電子資源)

Energy efficiency in manufacturing systems by: (書目-電子資源)

Grid economics and business models = 6th international workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Latent variable analysis and signal separation = 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, proceedings / by: (書目-電子資源)

Interactive LISREL in practice = getting started with a SIMPLIS approach / by: (書目-電子資源)

Medical imaging and augmented reality = 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, proceedings / by: (書目-電子資源)

Land-use modelling in planning practice by: (書目-電子資源)

Earth system modelling.. Volume 2,. Algorithms, code infrastructure and optimisation by: (書目-電子資源)

Software Process Modeling by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (書目-電子資源)

Technology for modelling = electrical analogies, engineering practice, and the development of analogue computing / by: (書目-電子資源)

Computer and computing technologies in agriculture II.. Volume 3,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China by: (書目-電子資源)

Computer and Computing Technologies in Agriculture III = Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009 : revised selected papers / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part II / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part II / by: (書目-電子資源)

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Artificial Intelligence and Simulation = 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by: (書目-電子資源)

Introduction to modeling for biosciences by: (書目-電子資源)

Field Models in Electricity and Magnetism by: (書目-電子資源)

Direct and large-eddy simulation VIII by: (書目-電子資源)

Spatial Cognition IV. = Reasoning, Action, InteractionInternational Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004 : Revised Selected Papers / by: (書目-電子資源)

Fast numerical methods for mixed-integer nonlinear model-predictive control 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: (書目-電子資源)

Solid modelling and CAD systems = how to survive a CAD system / by: (書目-電子資源)

Finite-element-model updating using computional intelligence techniques = applications to structural dynamics / by: (書目-電子資源)

Safety and risk modeling and its applications by: (書目-電子資源)

Computer aided systems theory - EUROCAST 2009 = 12th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers / by: (書目-電子資源)

Motion in games = first international workshop, MIG 2008, Utrecht, the Netherlands, June 14-17, 2008 : revised papers / by: (書目-電子資源)

Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / by: (書目-電子資源)

Rigid Body Dynamics Algorithms by: (書目-電子資源)

Simulation methods for reliability and availability of complex systems by: (書目-電子資源)

Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers / 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 V / by: (書目-電子資源)

Haptic interaction with deformable objects = modelling VR systems for textiles / by: (書目-電子資源)

Medical image computing and computer-assisted intervention - MICCAI 2010 = 13th International Conference, Beijing, China, September 20-24, 2010, proceedings.. Part III / by: (書目-電子資源)

Multivariate nonparametric methods with R = an approach based on spatial signs and ranks / by: (書目-電子資源)

Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (書目-電子資源)

Human machine interaction = research results of the MMI program / by: (書目-電子資源)

Robotics = modelling, planning and control / by: (書目-電子資源)

Run-time models for self-managing systems and applications by: (書目-電子資源)

Multi-agent-based simulation IX = international workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008 ; revised selected papers / by: (書目-電子資源)

Creating brain-like intelligence = from basic principles to complex intelligent systems / by: (書目-電子資源)

Haptic and audio interaction design = 4th international conference, HAID 2009 Dresden, Germany, September 10-11, 2009 : proceedings / by: (書目-電子資源)

Predictive modeling of dynamic processes = a tribute to Professor Klaus Thoma / by: (書目-電子資源)

Artificial intelligence applications and innovations. = proceedings of the 5th IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2009), April 23-25, 2009, Thessaloniki, Greece /. III by: (書目-電子資源)

Precision assembly technologies and systems = 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012 : proceedings / by: (書目-電子資源)

The algorithmic beauty of sea shells by: (書目-電子資源)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (書目-電子資源)

Influence of climate change on the changing Arctic and sub-Arctic conditions by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I / by: (書目-電子資源)

Proceedings of the 18th International Meshing Roundtable by: (書目-電子資源)

Quantum circuit simulation by: (書目-電子資源)

Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (書目-電子資源)

Digital human modeling = trends in human algorithms / by: (書目-電子資源)

Product-focused software process improvement = 11th international conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010 : 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: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I / by: (書目-電子資源)

Cellular automata = 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, proceedings / by: (書目-電子資源)

Modeling and simulating bodies and garments by: (書目-電子資源)

Manufacturing simulation with plant simulation and simtalk = usage and programming with examples and solutions / by: (書目-電子資源)

Spatio-temporal modeling of nonlinear distributed parameter systems = a time/space separation based approach / by: (書目-電子資源)

The synthesis of three dimensional haptic textures = geometry, control, and psychophysics / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III / by: (書目-電子資源)

Algorithmic game theory = 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings / by: (書目-電子資源)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (書目-電子資源)

Transforming clothing production into a demand-driven, knowledge-based, high-tech industry = the leapfrog paradigm / by: (書目-電子資源)

Functional Imaging and Modeling of the Heart = Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings / by: (書目-電子資源)

Computer Aided Systems Theory - EUROCAST 2005 : = 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers by: (書目-電子資源)

Recent advances in the message passing interface = 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010, proceedings / by: (書目-電子資源)

Active media technology = 5th international conference, AMT 2009, Beijing, China, October 22-24, 2009 : proceedings / by: (書目-電子資源)

Algorithmic game theory = third international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings / by: (書目-電子資源)

Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings / by: (書目-電子資源)

Motion in games = second international workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009 : proceedings / by: (書目-電子資源)

Stochastic Discrete Event Systems = Modeling, Evaluation, Applications / by: (書目-電子資源)

On the move to meaningful internet systems: OTM 2012 workshops = confederated international workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012 : proceedings / by: (書目-電子資源)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (書目-電子資源)

Progress in artificial intelligence = 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009 : proceedings / by: (書目-電子資源)