1746 search results - page 9 / 350 » Recent Developments in Algorithmic Teaching |
IBERAMIA
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we describe MRSCL Geometry a collaborative educational activity that explores the use of robotic technology and wirelessly connected Pocket PCs as tools for teaching ...
JAR
2007
13 years 7 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
SIGCSE
1997
ACM
14 years 1 days ago
1997
ACM
A typical Data Structures (CS 2) course covers a wide variety of topics: elementary algorithm analysis; data structures including dynamic structures, trees, tables, graphs, etc.; ...
CRYPTOLOGIA
2006
13 years 7 months ago
2006
For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics, and science undergraduates. The competition ...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
This tutorial teaches professional developers design principles for “production-quality”, aspect-oriented software, written in Java/AspectJ and Ruby. The discussion starts wit...