1
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Transactions -- A Weakest Precondition Approach to Robustness -- PET SNAKE: A Special Purpose Architecture...

2
Published 2013
Springer Berlin Heidelberg
...Transactions on Computational Science...

3
Published 2013
Springer Berlin Heidelberg
...Transactions on Computational Science...

4
Published 2013
Springer Berlin Heidelberg
...Transactions on Computational Science...

5
Published 2013
Springer Berlin Heidelberg
...Transactions on Computational Science...

6
Published 2014
Springer Berlin Heidelberg
...Transactions on Computational Science...

7
Published 2017
Springer Berlin Heidelberg
...Transactions on Computational Science...

8
Published 2014
Springer Berlin Heidelberg
...Transactions on Computational Science...

9
Published 2016
Springer Berlin Heidelberg
...Transactions on Computational Science...

10
Published 2016
Springer Berlin Heidelberg
...Transactions on Computational Science...

11
Published 2015
Springer Berlin Heidelberg
...Transactions on Computational Science...

12
Published 2020
Springer Berlin Heidelberg
...Transactions on Computational Science...

13
Published 2018
Springer Berlin Heidelberg
...Transactions on Computational Science...

14
Published 2019
Springer Berlin Heidelberg
...Transactions on Computational Science...

15
Published 2016
Springer Berlin Heidelberg
...Transactions on Computational Science...

16
Published 2021
Springer Berlin Heidelberg
...Transactions on Computational Science...

17
Published 2018
Springer Berlin Heidelberg
...Transactions on Computational Science...

18
Published 2018
Springer Berlin Heidelberg
...Transactions on Computational Science...

19
Published 2020
Springer Berlin Heidelberg
...Transactions on Computational Science...

20
Published 2020
Springer Berlin Heidelberg
...Transactions on Computational Science...