Search Sciweavers | Sciweavers

10271 search results - page 417 / 2055

» Computer Science

107

click to vote

RELMICS
2009
Springer

114views Theoretical Computer Science» more RELMICS 2009»

Towards Algebraic Separation Logic

15 years 9 months ago

Download www.informatik.uni-augsburg.de

Han-Hing Dang, Peter Höfner, Bernhard Mö...

claim paper

Read More »

108

click to vote

WG
2009
Springer

71views Theoretical Computer Science» more WG 2009»

Injective Oriented Colourings

15 years 9 months ago

Download www.lirmm.fr

Gary MacGillivray, André Raspaud, Jacobus S...

claim paper

Read More »

111

click to vote

WG
2009
Springer

110views Theoretical Computer Science» more WG 2009»

Cycles, Paths, Connectivity and Diameter in Distance Graphs

15 years 9 months ago

Download www.lirmm.fr

Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz ...

claim paper

Read More »

141

click to vote

WSKS
2009
Springer

134views Theoretical Computer Science» more WSKS 2009»

An Empirical Study on the Use of Web 2.0 by Greek Adult Instructors in Educational Procedures

15 years 9 months ago

Download imm.demokritos.gr

John Vrettaros, Alexis Tagoulis, Niki Giannopoulou...

claim paper

Read More »

116

click to vote

CTRS
1990

41views Theoretical Computer Science» more CTRS 1990»

Extended Term Rewriting Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers