Search Sciweavers | Sciweavers

10392 search results - page 61 / 2079

» Introduction to Computer Science

click to vote

SYNTHESE
2008

88views more SYNTHESE 2008»

Interpolation in computing science: the semantics of modularization

14 years 9 months ago

Download www.springerlink.com

The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...

Gerard R. Renardel de Lavalette

claim paper

Read More »

click to vote

SIGCSE
2002
ACM

167views Education» more SIGCSE 2002»

Defensive climate in the computer science classroom

14 years 9 months ago

Download comm.colorado.edu

As part of an NSF-funded IT Workforce grant, the authors conducted ethnographic research to provide deep understanding to the learning environment of computer science classrooms. ...

Lecia Jane Barker, Kathy Garvin-Doxas, Michele H. ...

claim paper

Read More »

186

click to vote

CSEE
2011
Springer

482views Software Engineering» more CSEE 2011»

Pex4Fun: Teaching and learning computer science via social gaming

14 years 1 months ago

Download people.engr.ncsu.edu

Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...

Nikolai Tillmann, Jonathan de Halleux, Tao Xie

claim paper

Read More »

click to vote

COMPUTER
2010

62views more COMPUTER 2010»

Puzzle-Based Learning for Engineering and Computer Science

14 years 10 months ago

Download cs.adelaide.edu.au

Nickolas J. G. Falkner, Raja Sooriamurthi, Zbignie...

claim paper

Read More »