„Programming Language.“

Suchergebnisse

8.545 Treffer

• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• Hybrid parallelization of molecular dynamics simulations to reduce load imbalance
  Morillo, Julian ; Vassaux, Maxime ; Coveney, Peter V. ; Garcia-Gasulla, Marta
• SOCAM: a service-oriented computing architecture modeling method
  Reyes-Delgado, Paola Y. ; Duran-Limon, Hector A. ; Mora, Manuel ; Rodriguez-Martinez, Laura C.
• Using enhanced genetic programming techniques for evolving classifiers in the context of medical diagnosis
  Winkler, Stephan M. ; Affenzeller, Michael ; Wagner, Stefan
• Cyber security methods for aerial vehicle networks: taxonomy, challenges and solution
  Sedjelmaci, Hichem ; Senouci, Sidi Mohamed
• A method for enhancing end-to-end transfer efficiency via performance tuning factors on dedicated circuit networks with a public cloud platform
  Lee, Won-Hyuk ; Park, Jong-Seon ; Kim, Seung-Hae ; Park, Jin-Hyung ; Gil, Joon-Min
• Consistency requirements in business process modeling: a thorough overview
  Awadid, Afef ; Nurcan, Selmin
• Christian Blum and Günther R. Raidl: Hybrid metaheuristics—powerful tools for optimization – Springer International Publishing, Switzerland, 2016, 157 pp, ISBN: 978-3-319-30882-1
  Shir, Ofer M.
• Design and implementation of a Pedestrian recognition algorithm using trilinear interpolation based on HOG-UDP
  Shim, Jae-Sung ; Ju, Yong-Wan ; Park, Seok-Cheon
• Hod Lipson and Melba Kurman: Driverless: intelligent cars and the road ahead – The MIT Press, 2016, pp 312, ISBN: 9780262035224
  Zarges, Christine
• Introducing probabilistic reasoning within Event-B
  Aouadhi, Mohamed Amine ; Delahaye, Benoît ; Lanoix, Arnaud
• Theme section on performance modelling and engineering of software and systems
  Lladó, Catalina M. ; Sachs, Kai
• Efficient routing for dense UWSNs with high-speed mobile nodes using spherical divisions
  Khosravi, Mohammad Reza ; Basri, Hamid ; Rostami, Habib
• The importance of flow in software development
  Gray, Jeff ; Rumpe, Bernhard
• A model framework-based domain-specific composable modeling method for combat system effectiveness simulation
  Li, Xiao-bo ; Yang, Feng ; Lei, Yong-lin ; Wang, Wei-Ping ; Zhu, Yi-fan
• Model checking multi-level and recursive nets
  Fernández Venero, Mirtha Lina ; Corrêa da Silva, Flávio Soares
• Process mining using BPMN: relating event logs and process models
  Kalenkova, Anna A. ; Aalst, Wil ˜van derœ ; Lomazova, Irina A. ; Rubin, Vladimir A.
• Generating process model collections
  Yan, Zhiqiang ; Dijkman, Remco ; Grefen, Paul
• An approach based on the domain perspective to develop WSAN applications
  Rodrigues, Taniro ; Delicato, Flávia C. ; Batista, Thais ; Pires, Paulo F. ; Pirmez, Luci
• Apriori-based text mining method for the advancement of the transportation management plan in expressway work zones
  Park, Shin Hyoung ; Synn, Jienki ; Kwon, Oh Hoon ; Sung, Yunsick