Search Sciweavers | Sciweavers

10392 search results - page 116 / 2079

» Introduction to Computer Science

click to vote

RELMICS
2009
Springer

118views Theoretical Computer Science» more RELMICS 2009»

Knowledge and Structure in Social Algorithms

15 years 4 months ago

Download www.gtcenter.org

Rohit Parikh

claim paper

Read More »

click to vote

RTA
2009
Springer

93views Theoretical Computer Science» more RTA 2009»

Modularity of Convergence in Infinitary Rewriting

15 years 4 months ago

Download www.cs.kent.ac.uk

Stefan Kahrs

claim paper

Read More »

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

15 years 4 months ago

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

click to vote

ACMSE
2009
ACM

130views Theoretical Computer Science» more ACMSE 2009»

Model-based software design tools for the cell processor

15 years 4 months ago

Download etd.library.vanderbilt.edu

Nicholas Lowell

claim paper

Read More »

click to vote

ITICSE
2009
ACM

103views Theoretical Computer Science» more ITICSE 2009»

Introducing abstraction and decomposition to novice programmers

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers