Modellbildung und Simulation Eine anwendungsorientierte Einführung

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany

Proceedings of the 20th International Meshing Roundtable

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

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

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

Solving Differential Equations in R

Precision Assembly Technologies and Systems 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012. Proceedings

Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

Wireless Mobile Communication and Healthcare Second International ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011. Revised Selected Papers

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

Industrial used of formal method formal verification

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Theoretical Foundations of Artificial General Intelligence

Earth System Modelling - Volume 2 Algorithms, Code Infrastructure and Optimisation

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

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

An Introduction to Modern Mathematical Computing With Mathematica®

Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfaces

Behavior Computing Modeling, Analysis, Mining and Decision

Computational Complexity Theory, Techniques, and Applications

Model-Based Development and Evolution of Information Systems A Quality Approach

Pyomo – Optimization Modeling in Python

Recht ex machina Formalisierung des Rechts im Internet der Dienste

Inverse Analyses with Model Reduction Proper Orthogonal Decomposition in Structural Mechanics

Mobile Intention Recognition

Critical Infrastructure Protection VI 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

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

Direct and Large-Eddy Simulation VIII

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers

Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence

Quality and Reliability of Large-Eddy Simulations II

Simulation und Optimierung in Produktion und Logistik Praxisorientierter Leitfaden mit Fallbeispielen

The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics

Finite Element Modeling for Materials Engineers Using MATLAB®

Handbook of Mobile Ad Hoc Networks for Mobility Models

Social Media Modeling and Computing

Human-in-the-Loop Simulations Methods and Practice

Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles

An Introduction to Modern Mathematical Computing With Maple™

Model-Based Software Performance Analysis

Technische Informatik Band 2: Entwurf digitaler Schaltungen

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV

Fundamentals of Scientific Computing

Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control

Triadic Game Design Balancing Reality, Meaning and Play

Arts and Technology First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009, Revised Selected Papers

Precision Assembly Technologies and Systems 5th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2010, Chamonix, France, February 14-17, 2010. Proceedings

Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

Intentional Perspectives on Information Systems Engineering

Modeling and Tools for Network Simulation

Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings

Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers

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

Introducing Monte Carlo Methods with R

Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

Applied Probability

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System

QVT - Operational Mappings Modellierung mit der Query Views Transformation

Evolution of Communication and Language in Embodied Agents

Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

Multivariate Nonparametric Methods with R An approach based on spatial signs and ranks

Sensitivity Analysis for Neural Networks

Power System Modelling and Scripting

Intelligent Infrastructures

Technology for Modelling Electrical Analogies, Engineering Practice, and the Development of Analogue Computing

Modeling and Simulating Bodies and Garments

Finite-element-model Updating Using Computional Intelligence Techniques Applications to Structural Dynamics

Introduction to Modeling for Biosciences

Run-time Models for Self-managing Systems and Applications

Mathematical Modeling of Biosensors An Introduction for Chemists and Mathematicians

Simulating Complex Systems by Cellular Automata