Sciweavers

3356 search results - page 30 / 672

» Computing education for sustainability

100

SIGCSE
2000
ACM

125views Education» more SIGCSE 2000»

Strategies for encouraging individual achievement in introductory computer science courses

15 years 5 months ago

Strategies for encouraging individual achievement in introductory computer science courses

Download www-cs-faculty.stanford.edu

Eric Roberts

claim paper

Read More »

51

CORR
2010
Springer

37views Education» more CORR 2010»

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

15 years 2 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 »

40

CORR
2010
Springer

57views Education» more CORR 2010»

Open Graphs and Computational Reasoning

15 years 2 months ago

Open Graphs and Computational Reasoning

Download homepages.inf.ed.ac.uk

Lucas Dixon, Ross Duncan, Aleks Kissinger

claim paper

Read More »

86

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

15 years 2 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 »

45

CORR
2010
Springer

96views Education» more CORR 2010»

Geometry of abstraction in quantum computation

15 years 2 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 30 / 672 Last » Next »