„programming model“

Suchergebnisse

4.625 Treffer

• Assessment and Simulation Tools for Sustainable Energy Systems – Theory and Applications
  Cavallaro, Fausto 2013 Springer London
• Mixed-integer programming models for optimization of scheduling low salinity water injection during enhanced oil recovery in oil reservoirs
  Mardani-Boldaji, Zahra ; Reisi-Nafchi, Mohammad ; Shahverdi, Hamidreza
• Programmieren mit ChatGPT – Eine kompakte Einführung
  Zuckarelli, Joachim 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing
• Genetic Programming Theory and Practice XI
  2014 Springer New York
• Operational Research – IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013
  Almeida, João Paulo ; Oliveira, José F. ; Pinto, Alberto Adrego 2015 Springer International Publishing
• Operational Semantics and Verification of Security Protocols
  Cremers, Cas ; Mauw, Sjouke 2012 Springer Berlin
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVII – Special Issue on Digital Ecosystems and Social Networks
  Hameurlain, Abdelkader ; Tjoa, A Min ; Chbeir, Richard 2021 Springer Berlin Heidelberg
• Dynamic Data-Driven Environmental Systems Science – First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers
  Ravela, Sai ; Sandu, Adrian 2015 Springer International Publishing
• Handbook of Genetic Programming Applications
  Gandomi, Amir H. ; Alavi, Amir H. ; Ryan, Conor 2015 Springer International Publishing
• Fuzzy Technology – Present Applications and Future Challenges
  Collan, Mikael ; Fedrizzi, Mario ; Kacprzyk, Janusz 2016 Springer International Publishing
• Modeling and Optimization: Theory and Applications – MOPTA, Bethlehem, PA, USA, August 2014 Selected Contributions
  Defourny, Boris ; Terlaky, Tamás 2015 Springer International Publishing
• Study of the nuclear mass model by sequential least squares programming
  Yang, Hang ; Chen, Cun-Yu ; Xu, Xiao-Yu ; Wang, Han-Kui ; Wang, You-Bao
• Three decades of the OO-Method: fostering conceptual-model software engineering
  Pastor, Óscar ; Noel, Rene ; Panach, Jose Ignacio
• Mining Frequent Structures in Conceptual Models
  Fumagalli, Mattia ; Sales, Tiago Prince ; Barcelos, Pedro Paulo F. ; Micale, Giovanni ; Glaser, Philipp-Lorenz ; Bork, Dominik ; Zaytsev, Vadim ; Calvanese, Diego ; Guizzardi, Giancarlo
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• High Performance Computing in Science and Engineering – Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
  Kozubek, Tomas ; Blaheta, Radim ; Šístek, Jakub ; Rozložník, Miroslav ; Čermák, Martin 2016 Springer International Publishing
• Trustworthy Global Computing – 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
  Ganty, Pierre ; Loreti, Michele 2016 Springer International Publishing
• A Binary Integer Linear Programming Model for Optimizing Underground Stope Layout
  Mensah, Theophilus ; Awuah-Offei, Kwame
• Ein Simulationsmodell zur Erfassung von Abflussrisiken in der Landwirtschaft
  Wendland, S. ; Hankers, B. ; Bock, M. ; Böhner, J. ; Squar, J. ; Lembrich, D. ; Conrad, O.