Search Sciweavers | Sciweavers

15777 search results - page 137 / 3156

» The Reformulation-Optimization Software Engine

click to vote

TACS
2001
Springer

112views Software Engineering» more TACS 2001»

The Girard-Reynolds Isomorphism

14 years 16 days ago

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

click to vote

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

14 years 16 days ago

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

click to vote

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

14 years 16 days ago

Download www.cs.math.ist.utl.pt

José Félix Costa, Hugo Lourenç...

claim paper

Read More »

click to vote

WER
2001
Springer

86views Software Engineering» more WER 2001»

Developing Use Cases from Organizational Modeling

14 years 16 days ago

Download wer.inf.puc-rio.br

Victor F. A. Santander, Jaelson Castro

claim paper

Read More »

click to vote

APAQS
2000
IEEE

82views Software Engineering» more APAQS 2000»

Keynote Address I

14 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers