1
Publicerad 2008
Innehållsförteckning: ... -- Outlook on Generation IV Nuclear Systems and Related Materials R&D Challenges -- Fundamentals...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2014
Innehållsförteckning: ... Safe Bit-Precise Invariants -- PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ... COUPLED MESHFREE/SCALED BOUNDARY METHOD -- BASIC DISCUSSION OF BOUNDARY CONDITION OF SMOOTHED PARTICLE...
Hämta fulltext
Elektronisk E-bok