Search Sciweavers | Sciweavers

15777 search results - page 249 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FSTTCS
2007
Springer

78views Software Engineering» more FSTTCS 2007»

The Deduction Theorem for Strong Propositional Proof Systems

15 years 8 months ago

Download www.informatik.hu-berlin.de

Olaf Beyersdorff

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

78views Software Engineering» more FSTTCS 2007»

Markov Decision Processes with Multiple Long-Run Average Objectives

15 years 8 months ago

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

91views Software Engineering» more FSTTCS 2007»

The Multicore Revolution

15 years 8 months ago

Download www.russel.org.uk

Maurice Herlihy

claim paper

Read More »

106

click to vote

FSTTCS
2007
Springer

90views Software Engineering» more FSTTCS 2007»

Reductions to Graph Isomorphism

15 years 8 months ago

Download www.uni-ulm.de

Jacobo Torán

claim paper

Read More »

click to vote

SEW
2006
IEEE

85views Software Engineering» more SEW 2006»

What Have We Not Learned about Teaching Programming?

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers