共 50 条
- [1] Formal Verification of a State-of-the-Art Integer Square Root [J]. 2019 IEEE 26TH SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH), 2019, : 183 - 186
- [3] MULTIOBJECTIVE DYNAMIC-PROGRAMMING - THE STATE-OF-THE-ART [J]. CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1989, 5 (04): : 471 - 483
- [6] EVOLUTION AND STATE-OF-THE-ART OF THE LOG BARGE [J]. MARINE TECHNOLOGY AND SNAME NEWS, 1995, 32 (02): : 132 - 139
- [8] SPINAL INSTRUMENTATION - EVOLUTION AND STATE-OF-THE-ART [J]. INVESTIGATIVE RADIOLOGY, 1992, 27 (08) : 632 - 647
- [9] REDUNDANCY IN MATHEMATICAL-PROGRAMMING - A STATE-OF-THE-ART SURVEY [J]. LECTURE NOTES IN ECONOMICS AND MATHEMATICAL SYSTEMS, 1983, 206 : 1 - 285