Search Sciweavers | Sciweavers

15777 search results - page 137 / 3156

» The Reformulation-Optimization Software Engine

123

click to vote

TACS
2001
Springer

112views Software Engineering» more TACS 2001»

The Girard-Reynolds Isomorphism

15 years 6 months ago

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

100

click to vote

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

15 years 6 months ago

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

Voted

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

15 years 6 months ago

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

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

claim paper

Read More »

104

Voted

WER
2001
Springer

86views Software Engineering» more WER 2001»

Developing Use Cases from Organizational Modeling

15 years 6 months ago

Download wer.inf.puc-rio.br

Victor F. A. Santander, Jaelson Castro

claim paper

Read More »

Voted

APAQS
2000
IEEE

82views Software Engineering» more APAQS 2000»

Keynote Address I

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers