Search Sciweavers | Sciweavers

10271 search results - page 126 / 2055

» Computer Science

Voted

SOFSEM
1997
Springer

82views Theoretical Computer Science» more SOFSEM 1997»

Stepping Stones to an Information Society

15 years 6 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 6 months ago

Download www.ics.uci.edu

Eric Ruppert

claim paper

Read More »

Voted

STACS
1997
Springer

93views Theoretical Computer Science» more STACS 1997»

Efficient Scaling-Invariant Checking of Timed Bisimulation

15 years 6 months ago

Download www.iis.nsk.su

Carsten Weise, Dirk Lenzkes

claim paper

Read More »

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 6 months ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers