1
Argitaratua 2014
Aurkibidea: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2006
Aurkibidea: ... COUPLED MESHFREE/SCALED BOUNDARY METHOD -- BASIC DISCUSSION OF BOUNDARY CONDITION OF SMOOTHED PARTICLE...
Testu osoa
Baliabide elektronikoa eBook