Search Sciweavers | Sciweavers

8196 search results - page 49 / 1640

» Computational Modeling and Complexity Science

105

click to vote

ITICSE
2010
ACM

182views Theoretical Computer Science» more ITICSE 2010»

Mental models of recursion: investigating students' understanding of recursion

15 years 5 months ago

Download cse.proj.ac.il

Tamarisk Lurlyn Scholtz, Ian Sanders

claim paper

Read More »

click to vote

CAD
2006
Springer

100views Theoretical Computer Science» more CAD 2006»

A new modeling interface for the pen-input displays

15 years 3 months ago

Download www.ctbiz.kr

Dae Hyun Kim, Myoung-Jun Kim

claim paper

Read More »

135

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

15 years 9 months ago

Download www.sofsem.cz

Andy Schürr, Sebastian Oster, Florian Markert

claim paper

Read More »

click to vote

RELMICS
2009
Springer

111views Theoretical Computer Science» more RELMICS 2009»

A Model of Internet Routing Using Semi-modules

15 years 9 months ago

Download www.cl.cam.ac.uk

John N. Billings, Timothy G. Griffin

claim paper

Read More »

105

click to vote

SPIN
2009
Springer

86views Theoretical Computer Science» more SPIN 2009»

Experience with Model Checking Linearizability

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers