Search Sciweavers | Sciweavers

10447 search results - page 374 / 2090

» The Philosophy of Computer Science

168

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

16 years 1 months ago

Download www.easychair.org

Andreas Blass

claim paper

Read More »

166

click to vote

LICS
2006
IEEE

100views Automated Reasoning» more LICS 2006»

Faster Solutions of Rabin and Streett Games

16 years 1 months ago

Download www.doc.ic.ac.uk

Nir Piterman, Amir Pnueli

claim paper

Read More »

157

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

16 years 1 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

115

Voted

ITICSE
2006
ACM

72views Theoretical Computer Science» more ITICSE 2006»

Let's modify the objects-first approach into design-patterns-first

16 years 1 months ago

Download vyuka.pecinovsky.cz

Rudolf Pecinovský, Jarmila Pavlíckov...

claim paper

Read More »

112

Voted

ITICSE
2006
ACM

89views Theoretical Computer Science» more ITICSE 2006»

Developing real-world programming assignments for CS1

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers