Search Sciweavers | Sciweavers

10392 search results - page 247 / 2079

» Introduction to Computer Science

125

Voted

SPIN
2004
Springer

124views Theoretical Computer Science» more SPIN 2004»

IF Validation Environment Tutorial

15 years 11 months ago

Download spinroot.com

Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...

claim paper

Read More »

137

Voted

SPIN
2004
Springer

109views Theoretical Computer Science» more SPIN 2004»

Advanced SPIN Tutorial

15 years 11 months ago

Download spinroot.com

Theo C. Ruys, Gerard J. Holzmann

claim paper

Read More »

124

click to vote

WG
2004
Springer

79views Theoretical Computer Science» more WG 2004»

On the Maximum Cardinality Search Lower Bound for Treewidth

15 years 11 months ago

Download www.cs.uu.nl

Hans L. Bodlaender, Arie M. C. A. Koster

claim paper

Read More »

135

click to vote

WG
2004
Springer

84views Theoretical Computer Science» more WG 2004»

Octagonal Drawings of Plane Graphs with Prescribed Face Areas

15 years 11 months ago

Download www.nishizeki.ecei.tohoku.ac.jp

Md. Saidur Rahman, Kazuyuki Miura, Takao Nishizeki

claim paper

Read More »

116

Voted

ACSC
2003
IEEE

83views Theoretical Computer Science» more ACSC 2003»

Implementing a Family of Distributed Garbage Collectors

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers