Search Sciweavers | Sciweavers

10304 search results - page 333 / 2061

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

120

click to vote

LICS
2003
IEEE

106views Automated Reasoning» more LICS 2003»

Successor-Invariance in the Finite

16 years 2 hour ago

Download www.mit.edu

Benjamin Rossman

claim paper

Read More »

122

click to vote

ITICSE
2003
ACM

100views Theoretical Computer Science» more ITICSE 2003»

Introducing unit testing with BlueJ

15 years 12 months ago

Download www.bluej.org

Andrew Patterson, Michael Kölling, John Rosen...

claim paper

Read More »

132

click to vote

ERSHOV
2003
Springer

98views Theoretical Computer Science» more ERSHOV 2003»

Polynomial Approximations for Model Checking

15 years 12 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

126

Voted

ERSHOV
2003
Springer

95views Theoretical Computer Science» more ERSHOV 2003»

Storing Properties in Grouped Tagged Tuples

15 years 12 months ago

Download www-ti.informatik.uni-tuebingen.de

Roland Weiss, Volker Simonis

claim paper

Read More »

128

Voted

ICALP
2003
Springer

104views Programming Languages» more ICALP 2003»

Approximation Algorithm for Directed Telephone Multicast Problem

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers