„Programming Models“

Suchergebnisse

1.230 Treffer

• Kathryn E. Merrick: Computational models of motivation for game-playing agents – Springer, 2016, 213 pp, ISBN: 978-3-319-33457-8
  Samothrakis, Spyridon
• From Composable Models to Correct-by-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks
  Schneider, Sven ; Kalagaturu, Vamsi ; Bruyninckx, Herman ; Hochgeschwender, Nico 2025 Hochschule Bonn-Rhein-Sieg
• Stochastic models and optimal control of epidemics under partial information
  Mbouandi Njiasse, Ibrahim ; Wunderlich, Ralf ; Frey, Rüdiger ; Grecksch, Wilfried 2025 BTU Cottbus - Senftenberg
• Complete Symbolic Simulation of SystemC Models – Efficient Formal Verification of Finite Non-Terminating Programs
  Herdt, Vladimir 2016 Springer Fachmedien Wiesbaden
• Architecture of Computing Systems – ARCS 2018 – 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
  Bereković, Mladen ; Buchty, Rainer ; Hamann, Heiko ; Koch, Dirk ; Pionteck, Thilo 2018 Springer International Publishing
• Euro-Par 2017: Parallel Processing Workshops – Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
  Heras, Dora B. ; Bougé, Luc 2018 Springer International Publishing
• Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
  2018 Springer International Publishing
• Guest editorial for the special section on MODELS 2022
  Bencomo, Nelly ; Sahraoui, Houari ; Syriani, Eugene ; Wimmer, Manuel
• Interactive Evaluation of Complex Programming Assignments Using LLM Assistant
  Kormaník, Tomáš ; Lukáčová, Viktória ; Porubän, Jaroslav 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Are We There Yet? On Security Vulnerabilities Produced by Open Source Generative AI Models and Its Implications for Security Education
  Santos Galeano, Maria Camila ; Gasiba, Tiago Espinha ; Amburi, Sathwik ; Pinto-Albuquerque, Maria 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming
  2000 Springer US
• Equilibrium Models in an Applied Framework – Industrial Structure and Transformation
  Norén, Ronny 2013 Springer Berlin Heidelberg
• Operations Research – A Model-Based Approach
  Eiselt, Horst A. ; Sandblom, Carl-Louis 2010 Springer Berlin Heidelberg
• An exponential cone integer programming and piece-wise linear approximation approach for 0-1 fractional programming
  Pham, Hoang Giang ; Ta, Thuy Anh ; Mai, Tien
• Operations Research – A Model-Based Approach
  Eiselt, Horst A. ; Sandblom, Carl-Louis 2013 Springer Berlin Heidelberg
• Stochastic Linear Programming – Models, Theory, and Computation
  2005 Springer International Publishing
• Stochastic Linear Programming – Models, Theory, and Computation
  2011 Springer US
• Interval Linear Programming and Extensions
  Hladík, Milan 2025 Springer Nature Switzerland, Imprint: Springer
• Adaptive caching for operation-based versioning of models
  Pietron, Jakob ; Raab, Heiko ; Tichy, Matthias
• Models, Languages, and Tools for Concurrent and Distributed Programming – Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
  2019 Springer International Publishing