Search Sciweavers | Sciweavers

17920 search results - page 152 / 3584

» Recentering computer science

click to vote

SOFSEM
1997
Springer

82views Theoretical Computer Science» more SOFSEM 1997»

Stepping Stones to an Information Society

15 years 8 months ago

Download www.fi.muni.cz

Jirí Zlatuska

claim paper

Read More »

click to vote

STACS
1997
Springer

84views Theoretical Computer Science» more STACS 1997»

Finding the k Shortest Paths in Parallel

15 years 8 months ago

Download www.ics.uci.edu

Eric Ruppert

claim paper

Read More »

click to vote

STACS
1997
Springer

93views Theoretical Computer Science» more STACS 1997»

Efficient Scaling-Invariant Checking of Timed Bisimulation

15 years 8 months ago

Download www.iis.nsk.su

Carsten Weise, Dirk Lenzkes

claim paper

Read More »

107

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 8 months ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

102

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers