E-LIB Suche - Ergebnisse für: Krone, Joan

1

Scalable Computing Through Reusability: Encapsulation, Spec..:

, In: Lecture Notes in Networks and Systems; Intelligent Computing,

Mbwambo, Nicodemus M. J. ; Sun, Yu-Shan ; Krone, Joan. - p. 58-74 , 2022

Link: https://doi.org/10.1007/..

2

Mathematical Reasoning in Computing Education : Connecti..:

, In: Proceedings of the 47th ACM Technical Symposium on Computing Science Education,

Dougherty, John P. ; Hollingsworth, Joseph E. ; Krone, Joan. - p. 707 ff. , 2016

Link: https://dl.acm.org/doi/1..

3

Teaching Mathematical Reasoning Principles for Software Cor..:

Drachova, Svetlana V. ; Hallstrom, Jason O. ; Hollingsworth, Joseph E....
ACM Transactions on Computing Education. 15 (2015) 3 - p. 1-22 , 2015

Link: https://doi.org/10.1145/..

4

Teaching Mathematical Reasoning Principles for Software Cor..:

Drachova, Svetlana V. ; Hallstrom, Jason O. ; Hollingsworth, Joseph E....
ACM Transactions on Computing Education (TOCE). 15 (2015) 3 - p. 1-22 , 2015

Link: https://dl.acm.org/doi/1..

5

Making mathematical reasoning fun : web-integrated, coll..:

, In: Proceeding of the 44th ACM technical symposium on Computer science education,

Hallstrom, Jason O. ; Hollingsworth, Joe ; Krone, Joan. - p. 757 ff. , 2013

Link: https://dl.acm.org/doi/1..

6

Making mathematical reasoning fun : web-integrated, coll..:

, In: Proceedings of the 51st ACM Southeast Conference,

Hallstrom, Jason O. ; Sitaraman, Murali ; Hollingsworth, Joe. - p. 1-2 , 2013

Link: https://dl.acm.org/doi/1..

7

Engaging mathematical reasoning exercises:

, In: Proceeding of the 44th ACM technical symposium on Computer science education,

Hollingsworth, Joseph ; Krone, Joan ; Hallstrom, Jason.. - p. 459-460 , 2013

Link: https://dl.acm.org/doi/1..

8

Session details: Teaching mathematical reasoning across the..:

, In: Proceedings of the 43rd ACM technical symposium on Computer Science Education,

Krone, Joan , 2012

Link: https://dl.acm.org/doi/1..

9

Making mathematical reasoning fun : tool-assisted, colla..:

, In: Proceedings of the 50th Annual Southeast Regional Conference,

Hallstrom, Jason O. ; Hollingsworth, Joe ; Krone, Joan. - p. 403-404 , 2012

Link: https://dl.acm.org/doi/1..

10

A systematic approach to teaching abstraction and mathemati..:

, In: Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education,

Cook, Charles T. ; Drachova, Svetlana ; Hallstrom, Jason O.... - p. 357-362 , 2012

Link: https://dl.acm.org/doi/1..

11

Making mathematical reasoning fun : tool-assisted, colla..:

, In: Proceedings of the 43rd ACM technical symposium on Computer Science Education,

Hallstrom, Jason O. ; Hollingsworth, Joe ; Krone, Joan. - p. 683 ff. , 2012

Link: https://dl.acm.org/doi/1..

12

Teaching mathematical reasoning across the curriculum:

, In: Proceedings of the 43rd ACM technical symposium on Computer Science Education,

Krone, Joan ; Baldwin, Doug ; Carver, Jeffrey C.... - p. 241-242 , 2012

Link: https://dl.acm.org/doi/1..

13

Building a push-button RESOLVE verifier: Progress and chall..:

Sitaraman, Murali ; Adcock, Bruce ; Avigad, Jeremy...
Formal Aspects of Computing. 23 (2011) 5 - p. 607-626 , 2011

Link: https://doi.org/10.1007/..

14

Making mathematical reasoning fun : tool-assisted, colla..:

, In: Proceedings of the 49th Annual Southeast Regional Conference,

Hallstrom, Jason O. ; Sitaraman, Murali ; Hollingsworth, Joe. - p. 1-2 , 2011

Link: https://dl.acm.org/doi/1..

15

Courseware for teaching analytical reasoning principles ..:

, In: Proceedings of the 47th Annual Southeast Regional Conference,

Hallstrom, Jason O. ; Krone, Joan ; Sitaraman, Murali - p. 1-3 , 2009

Link: https://dl.acm.org/doi/1..