Search Sciweavers | Sciweavers

15777 search results - page 250 / 3156

» The Reformulation-Optimization Software Engine

click to vote

UIST
2006
ACM

93views Software Engineering» more UIST 2006»

Computing versus human thinking

15 years 8 months ago

Download delivery.acm.org

Peter Naur

claim paper

Read More »

click to vote

SEW
2005
IEEE

94views Software Engineering» more SEW 2005»

Code Normal Forms

15 years 8 months ago

Download www4.in.tum.de

Markus Pizka

claim paper

Read More »

click to vote

CBSE
2005
Springer

73views Software Engineering» more CBSE 2005»

Efficient Upgrading in a Purely Functional Component Deployment Model

15 years 8 months ago

Download www.st.ewi.tudelft.nl

Eelco Dolstra

claim paper

Read More »

click to vote

FSTTCS
2005
Springer

85views Software Engineering» more FSTTCS 2005»

Proving Lower Bounds Via Pseudo-random Generators

15 years 8 months ago

Download www.cse.iitk.ac.in

Manindra Agrawal

claim paper

Read More »

click to vote

FSTTCS
2005
Springer

105views Software Engineering» more FSTTCS 2005»

On Counting the Number of Consistent Genotype Assignments for Pedigrees

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers