Search Sciweavers | Sciweavers

15777 search results - page 157 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ADAEUROPE
1998
Springer

68views Software Engineering» more ADAEUROPE 1998»

Looking at Code With Your Safety Goggles On

15 years 6 months ago

Download www.ece.ubc.ca

Ken Wong

claim paper

Read More »

click to vote

AMAST
1998
Springer

79views Software Engineering» more AMAST 1998»

Observational Logic

15 years 6 months ago

Download www.lsv.ens-cachan.fr

Rolf Hennicker, Michel Bidoit

claim paper

Read More »

click to vote

AMAST
1998
Springer

94views Software Engineering» more AMAST 1998»

Abstract Algebraic Logic

15 years 6 months ago

Download www.renyi.hu

Don Pigozzi

claim paper

Read More »

click to vote

AMAST
1998
Springer

83views Software Engineering» more AMAST 1998»

A Linear Metalanguage for Concurrency

15 years 6 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

click to vote

IUI
1998
ACM

100views Software Engineering» more IUI 1998»

Interacting in Chaos

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers