Search Sciweavers | Sciweavers

698 search results - page 43 / 140

» dagstuhl 2007

113

click to vote

DAGSTUHL
2006

148views Software Engineering» more DAGSTUHL 2006»

06271 Abstracts Collection -- Challenges in Symbolic Computation Software

15 years 7 months ago

Download drops.dagstuhl.de

Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephe...

claim paper

Read More »

click to vote

DAGSTUHL
2006

100views Software Engineering» more DAGSTUHL 2006»

Bounds and algebraic algorithms in differential algebra: the ordinary case

15 years 7 months ago

Download www.csd.uwo.ca

Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondr...

claim paper

Read More »

105

click to vote

DAGSTUHL
2006

126views Software Engineering» more DAGSTUHL 2006»

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)

15 years 7 months ago

Download drops.dagstuhl.de

Ed Brinksma, David Harel, Angelika Mader, Perdita ...

claim paper

Read More »

click to vote

DAGSTUHL
2006

119views Software Engineering» more DAGSTUHL 2006»

06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems

15 years 7 months ago

Download drops.dagstuhl.de

David M. Nicol, Corrado Priami, Hanne Riis Nielson...

claim paper

Read More »

119

click to vote

DAGSTUHL
2006

118views Software Engineering» more DAGSTUHL 2006»

06431 Abstracts Collection -- Scalable Data Management in Evolving Networks

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers