Search Sciweavers | Sciweavers

35 search results - page 1 / 7

» sofsem 2007

click to vote

SOFSEM
2007
Springer

79views Theoretical Computer Science» more SOFSEM 2007»

Interaction and Realizability

13 years 11 months ago

Download www.sofsem.cz

Manfred Broy

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

83views Theoretical Computer Science» more SOFSEM 2007»

Point-to-Point Shortest Path Algorithms with Preprocessing

13 years 11 months ago

Download www.avglab.com

Andrew V. Goldberg

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

13 years 11 months ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

84views Theoretical Computer Science» more SOFSEM 2007»

Maximum Finding in the Symmetric Radio Networks with Collision Detection

13 years 11 months ago

Download www.sofsem.cz

Frantisek Galcík, Gabriel Semanisin

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

101views Theoretical Computer Science» more SOFSEM 2007»

Restarting Tree Automata

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers