Sciweavers

3356 search results - page 30 / 672

» Computing education for sustainability

83

SIGCSE
2000
ACM

125views Education» more SIGCSE 2000»

Strategies for encouraging individual achievement in introductory computer science courses

15 years 3 months ago

Strategies for encouraging individual achievement in introductory computer science courses

Download www-cs-faculty.stanford.edu

Eric Roberts

claim paper

Read More »

44

CORR
2010
Springer

37views Education» more CORR 2010»

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

14 years 12 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 »

34

CORR
2010
Springer

57views Education» more CORR 2010»

Open Graphs and Computational Reasoning

14 years 12 months ago

Open Graphs and Computational Reasoning

Download homepages.inf.ed.ac.uk

Lucas Dixon, Ross Duncan, Aleks Kissinger

claim paper

Read More »

73

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

14 years 12 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 »

38

CORR
2010
Springer

96views Education» more CORR 2010»

Geometry of abstraction in quantum computation

14 years 12 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 »