Sciweavers

2008 search results - page 15 / 402
» Computing with Equations
Sort
View
62
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
Specifying, Programming and Verifying with Equational Logic
Joseph A. Goguen, Kai Lin
IMR
2005
Springer
15 years 8 months ago
Automatic Near-Body Domain Decomposition Using the Eikonal Equation
Yuanli Wang, François Guibault, Ricardo Cam...