51

Reasoning about programs

Year:
1993
Language:
english
File:
PDF, 588 KB
english, 1993
52

Designing closed laboratories for a computer science course

Year:
1996
Language:
english
File:
PDF, 654 KB
english, 1996
53

Teaching transaction management with SQL examples

Year:
2005
Language:
english
File:
PDF, 92 KB
english, 2005
88

Enhancing generic skills in the computer organization course

Year:
1995
Language:
english
File:
PDF, 644 KB
english, 1995
90

Liveness conditions in model-based service specifications

Year:
1995
Language:
english
File:
PDF, 954 KB
english, 1995
91

A skip list for multicore

Year:
2016
Language:
english
File:
PDF, 2.34 MB
english, 2016
96

Highly available transactions

Year:
2013
Language:
english
File:
PDF, 292 KB
english, 2013
97

Supporting reflection in introductory computer science

Year:
2000
Language:
english
File:
PDF, 421 KB
english, 2000
99

Teaching about threading

Year:
2009
Language:
english
File:
PDF, 648 KB
english, 2009
100

Quantifying isolation anomalies

Year:
2009
Language:
english
File:
PDF, 1.09 MB
english, 2009