1
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Earthquakes: Simulations, Sources and Tsunamis -- Finite Fault Modeling in a Tsunami Warning Center...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific...
View full text
Electronic eBook