„Programs“

Suchergebnisse

10.000+ Treffer

• Interactive Theorem Proving – Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
  Beringer, Lennart ; Felty, Amy 2012 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
  Vidal, Germán 2012 Springer Berlin Heidelberg
• Foundational and Practical Aspects of Resource Analysis – Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
  Peña, Ricardo ; van Eekelen, Marko ; Shkaravska, Olha 2012 Springer Berlin Heidelberg
• Central European Functional Programming School – 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
  Zsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus 2012 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
  Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer Berlin Heidelberg
• Computer Aided Verification – 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
  Madhusudan, Parthasarathy ; Seshia, Sanjit A. 2012 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  2012 Springer Berlin Heidelberg
• Model-driven engineering for digital twins: a systematic mapping study
  Lehner, Daniel ; Zhang, Jingxi ; Pfeiffer, Jérôme ; Sint, Sabine ; Splettstößer, Ann-Kathrin ; Wimmer, Manuel ; Wortmann, Andreas
• Approximation and Online Algorithms – 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers
  2011 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  Bjørner, Nikolaj ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Curricular Variability in Dry Needling Education Across Entry-Level DPT Programs in the US
  Barrett, Tiffany L. ; Kearns, Gary A. ; Puentedura, Emilio J. ; Brismée, Jean-Michel
• Deep-learning-based medical image quality amelioration
  Althabeti, Raed Abdullah ; Ebied, Ebeid Ali ; Lala, Hany Maher Sayed ; Eldahshan, Kamal Abdelraouf
• Multimodal sarcasm detection based on cross-modal semantic understanding and knowledge enhancement
  Gao, Weijun ; Kang, Wenxin ; Gao, Yaqin
• MND-C: a contrastive self-supervised framework for missing node detection in graphs
  Kong, Xiangyi ; Zhou, Lixin ; Yao, Xuan ; Yue, Weiyi
• Deep transfer learning for sustainable waste management: Real-time waste segregation apparatus using a two-phase CNN framework
  Almtireen, Natheer ; Abuhejleh, Abdelrazzaq A. ; Ryalat, Mutaz ; Elmoaqet, Hisham ; Al-refai, Ghaith
• Fortified blended foods for malnutrition recovery in food aid programs
  Okoye, Chinelo Uzoamaka ; Oladeji, Oluwatoyin Esohe ; Shittu, Funmi Yewande ; Idriss, Ibrahim Haruna ; Orede, Vivien Orevaoghene ; David, Oluwafunmilayo Esther ; Aja-Nwachuku, Adaora Ginikachukwu
• Corrigendum to: Pedagogical matters: a dialogue of diverse persons, perspectives, and programs, International Journal of Nursing Education Scholarship, vol. 22, no. 1, 2025. https://doi.org/10.1515/ijnes-2024-0034
  Lasater, Kathie
• Approximation and Online Algorithms – 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
  Jansen, Klaus ; Solis-Oba, Roberto 2010 Springer Berlin Heidelberg
• Types for proofs and programs – international conference, types 2007, Cividale del Friuli, Italy, May 2 - 5, 2007 ; revised selected papers
  Miculan, Marino 2008 Springer
• Types for proofs and programs – international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers
  Altenkirch, Thorsten 2007 Springer