共 50 条
- [41] Geometrically Non-linear Analysis of Composite Shell Structure Deformation ADVANCED MATERIALS AND ITS APPLICATION, 2012, 460 : 381 - 384
- [43] Predicate abstraction of programs with non-linear computation AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 352 - 368
- [47] GEOMETRICALLY NON-LINEAR ANALYSIS OF ELASTIC PLASTIC PLANE FRAMES ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1983, 63 (04): : T192 - T193
- [48] Non-linear quantification scheduling in image computation ICCAD 2001: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2001, : 293 - 298