Search Sciweavers | Sciweavers

10304 search results - page 131 / 2061

» Computer science with the sciences: an emphasis in computati...

click to vote

TCS
2010

120views Theoretical Computer Science» more TCS 2010»

Parameterized algorithms for d-Hitting Set: The weighted case

14 years 12 months ago

Download www.informatik.uni-trier.de

Henning Fernau

claim paper

Read More »

click to vote

TCS
2010

119views Theoretical Computer Science» more TCS 2010»

Query-based verification of qualitative trends and oscillations in biochemical systems

14 years 12 months ago

Download homepages.inf.ed.ac.uk

Paolo Ballarini, Maria Luisa Guerriero

claim paper

Read More »

click to vote

TCS
2010

151views Theoretical Computer Science» more TCS 2010»

Dcpo-completion of posets

14 years 12 months ago

Download www.informatics.sussex.ac.uk

Dongsheng Zhao, Taihe Fan

claim paper

Read More »

click to vote

TCS
2010

91views Theoretical Computer Science» more TCS 2010»

The multiple facets of the canonical direct unit implicational basis

14 years 12 months ago

Download halshs.archives-ouvertes.fr

Karell Bertet, Bernard Monjardet

claim paper

Read More »

click to vote

TCS
2010

94views Theoretical Computer Science» more TCS 2010»

Verifying parallel programs with dynamic communication structures

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers