( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A systematic approach to teaching abstraction and mathematical modeling.

, , , , , , и . ITiCSE, стр. 357-362. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Joseph E Sanzo

Joseph E Naftzinger

Ursula E E Köhler

E Roduner

E Gutsche

 

Другие публикации лиц с тем же именем

Part III: implementing components in RESOLVE., , , и . ACM SIGSOFT Softw. Eng. Notes, 19 (4): 40-51 (1994)Engaging mathematical reasoning exercises., , , , и . SIGCSE, стр. 459-460. ACM, (2013)Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only)., , , и . SIGCSE, стр. 757. ACM, (2013)Evaluation of Formal Reasoning Abilities Using a Concept Inventory., и . FMSEE&T@FM, том 1385 из CEUR Workshop Proceedings, стр. 59-66. CEUR-WS.org, (2015)Visualization of Students' Solutions as a Sequential Network., , и . EDUCON, стр. 1189-1194. IEEE, (2022)Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions., , , , , , , и . CSEE&T, стр. 202-211. IEEE, (2017)Teaching query writing: an informed instruction approach.. ITiCSE, стр. 351. ACM, (2008)Experience report: using RESOLVE/C++ for commercial software., , и . SIGSOFT FSE, стр. 11-19. ACM, (2000)Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool., , , , , , , и . SIGCSE, стр. 1039-1045. ACM, (2019)A systematic approach to teaching abstraction and mathematical modeling., , , , , , и . ITiCSE, стр. 357-362. ACM, (2012)