Sciweavers

2941 search results - page 18 / 589

» The Myth of the Educational Computer

24

SIGCSE
2000
ACM

125views Education» more SIGCSE 2000»

Strategies for encouraging individual achievement in introductory computer science courses

13 years 11 months ago

Strategies for encouraging individual achievement in introductory computer science courses

Download www-cs-faculty.stanford.edu

Eric Roberts

claim paper

Read More »

19

CORR
2010
Springer

37views Education» more CORR 2010»

The Cardinality of an Oracle in Blum-Shub-Smale Computation

13 years 7 months ago

The Cardinality of an Oracle in Blum-Shub-Smale Computation

Download qcpages.qc.cuny.edu

Wesley Calvert, Ken Kramer, Russell Miller

claim paper

Read More »

9

CORR
2010
Springer

57views Education» more CORR 2010»

Open Graphs and Computational Reasoning

13 years 7 months ago

Open Graphs and Computational Reasoning

Download homepages.inf.ed.ac.uk

Lucas Dixon, Ross Duncan, Aleks Kissinger

claim paper

Read More »

18

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

13 years 7 months ago

Closed nominal rewriting and efficiently computable nominal algebra equality

Download www.gabbay.org.uk

Maribel Fernández, Murdoch James Gabbay

claim paper

Read More »

13

CORR
2010
Springer

96views Education» more CORR 2010»

Geometry of abstraction in quantum computation

13 years 7 months ago

Geometry of abstraction in quantum computation

Download www.comlab.ox.ac.uk

ion Dusko Pavlovic

Dusko Pavlovic

claim paper

Read More »

« Prev « First page 18 / 589 Last » Next »