Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Computer science education, 2013-09, Vol.23 (3), p.239-264
2013
Link zum Volltext

Informatics in Schools. Curricula, Competences, and Competitions, 2015, Vol.9378, p.22-31
2015
Link zum Volltext


Open Access
LearnSAT: A SAT Solver for Education
Journal of open source software, 2018-04, Vol.3 (24), p.639
2018
Link zum Volltext

LearnSAT: A SAT Solver for Education
Theory and Applications of Satisfiability Testing – SAT 2013, Vol.7962, p.403-407
Link zum Volltext

Proceedings of the Sixth international workshop on computing education research, 2010, p.69-76
2010
Link zum Volltext

Model Checking Software, p.6-11
Link zum Volltext

In Defense of Programming
Proceedings of the 2015 ACM Conference on innovation and technology in computer science education, 2015, p.2-2
2015
Link zum Volltext

Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014, p.16-19
2014
Link zum Volltext

Proceedings of the 2014 conference on innovation & technology in computer science education, 2014, p.352-352
2014
Link zum Volltext

ACM Inroads, 2013-06, Vol.4 (2), p.58-61
2013
Link zum Volltext

The concorde doesn't fly anymore
SIGCSE bulletin, 2005, Vol.37 (1), p.196-196
2005
Link zum Volltext

McKinley's Amazon
ITiCSE '06: 11th Annual Conference on Innovation and Technology in Computer Science Education, Working Group Reports; Bologna; Italy; 26-28 June 2006, 2006-12, Vol.38 (4), p.75-77
2006
Link zum Volltext

McKinley's Amazon
Annual Joint Conference Integrating Technology into Computer Science Education: Working group reports on ITiCSE on Innovation and technology in computer science education; 26-28 June 2006, 2006, p.75-77
2006
Link zum Volltext

Minesweeper as an NP-complete problem
SIGCSE bulletin, 2005-12, Vol.37 (4), p.39-40
2005
Link zum Volltext

The concorde doesn't fly anymore
Proceedings of the 36th SIGCSE technical symposium on computer science education, 2005, p.196-196
2005
Link zum Volltext

The concorde doesn't fly anymore
Proceedings of the thirty-fifth SIGCSE Technical Symposium on Computer Science Education : SIGCSE 2004 : Norfolk, Virginia, USA, March 3-7, 2004, 2004-03, Vol.36 (1), p.1-1
2004
Link zum Volltext

The concorde doesn't fly anymore
Proceedings of the 35th SIGCSE technical symposium on computer science education, 2004, p.1-1
2004
Link zum Volltext

In defense of programming
ACM Inroads, 2016-02, Vol.7 (1), p.44-46
2016
Link zum Volltext

A primer on model checking
ACM Inroads, 2010-03, Vol.1 (1), p.40-47
2010
Link zum Volltext

Non-myths about programming
Communications of the ACM, 2011-07, Vol.54 (7), p.35-37
2011
Link zum Volltext

Viewpoint Non-Myths About Programming
Communications of the ACM, 2011-07, Vol.54 (7), p.35-37
2011
Link zum Volltext

Loop Constructs in scratch
ACM Inroads, 2011-02, Vol.2 (1), p.27-28
2011
Link zum Volltext

Objects never?: well, hardly ever
Communications of the ACM, 2010-09, Vol.53 (9), p.32-35
2010
Link zum Volltext

Writing a textbook
SIGCSE bulletin, 2002-09, Vol.34 (3), p.94-95
2002
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n