Search Sciweavers | Sciweavers

31387 search results - page 264 / 6278

» Abstracts

132

click to vote

DAGSTUHL
2007

126views Software Engineering» more DAGSTUHL 2007»

07112 Abstracts Collection - Cutting, Packing, Layout and Space Allocation

15 years 8 months ago

Download drops.dagstuhl.de

Edmund K. Burke, Karen M. Daniels, Graham Kendall

claim paper

Read More »

104

click to vote

DAGSTUHL
2007

88views Software Engineering» more DAGSTUHL 2007»

07091 Abstracts Collection - Mobility, Ubiquity and Security

15 years 8 months ago

Download drops.dagstuhl.de

Gilles Barthe, Heiko Mantel, Peter Müller, An...

claim paper

Read More »

100

click to vote

DAGSTUHL
2007

102views Software Engineering» more DAGSTUHL 2007»

07471 Abstracts Collection - Equilibrium Computation

15 years 8 months ago

Download drops.dagstuhl.de

P. Jean-Jacques Herings, Marcin Jurdzinski, Peter ...

claim paper

Read More »

105

click to vote

DAGSTUHL
2007

75views Software Engineering» more DAGSTUHL 2007»

06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis

15 years 8 months ago

Download drops.dagstuhl.de

Jean-Raymond Abrial, Uwe Glässer

claim paper

Read More »

120

Voted

DAGSTUHL
2008

98views Software Engineering» more DAGSTUHL 2008»

08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers