„Modelling & Modelling Languages“

Suchergebnisse

155 Treffer

• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
• Exact Methods for the Travelling Salesperson Problem with Self-Deleting Graphs
  Pekar, Daniel ; Beck, J. Christopher 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• RPID: Rust Programmable Interface for Domain-Independent Dynamic Programming
  Kuroiwa, Ryo ; Beck, J. Christopher 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling as an instructional component of writing pedagogy in the upper primary school: what does it look like and how important is it?
  Gadd, Murray ; Parr, Judy M.
• Meta-modelling and graph grammars for multi-paradigm modelling in AToM3
  Lara, Juan ˜deœ ; Vangheluwe, Hans ; Alfonseca, Manuel
• Probabilistic modelling and verification using RoboChart and PRISM
  Ye, Kangfeng ; Cavalcanti, Ana ; Foster, Simon ; Miyazawa, Alvaro ; Woodcock, Jim
• RoboChart: modelling and verification of the functional behaviour of robotic applications
  Miyazawa, Alvaro ; Ribeiro, Pedro ; Li, Wei ; Cavalcanti, Ana ; Timmis, Jon ; Woodcock, Jim
• 10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages
  Boella, Guido ; Meijer, Erik ; Pearce, David J. ; Steimann, Friedrich ; Tip, Frank
• 10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages
  Boella, Guido ; Meijer, Erik ; Pearce, David J. ; Steimann, Friedrich ; Tip, Frank
• Extending algebraic modelling languages for Stochastic Programming
  Valente, P. ; Mitra, Gautam ; Sadki, M. ; Fourer, Robert 2005 Humboldt-Universität zu Berlin
• Constraints in Non-Boolean Contexts
  De Koninck, Leslie ; Brand, Sebastian ; Stuckey, Peter J. 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Model-Driven Engineering Technique for Developing Composite Content Applications
  Challenger, Moharram ; Erata, Ferhat ; Onat, Mehmet ; Gezgen, Hale ; Kardas, Geylani 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)
  Clark, Tony ; Frank, Ulrich ; Kulkarni, Vinay
• Computer Science in Sport – Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data
  Memmert, Daniel 2024 Springer Berlin Heidelberg, Imprint: Springer
• Computer science in sport – modeling, simulation, data analysis and visualization of sports-related data
  Memmert, Daniel 2024 Springer
• The Blender Python API – Precision 3D Modeling and Add-on Development
  2017 Apress
• Imagination and fiction in modelling; an epistemic critique
  Lehtinen, Aki
• Behavioural Models – From Modelling Finite Automata to Analysing Business Processes
  Kunze, Matthias ; Weske, Mathias 2016 Springer International Publishing
• The Design of Requirements Modelling Languages – How to Make Formalisms for Problem Solving in Requirements Engineering
  Jureta, Ivan 2015 Springer International Publishing
• Secure and Trustworthy Service Composition – The Aniketos Approach
  2014 Springer International Publishing