共 50 条
- [42] HIGH-SPEED SIGNED DIGITAL MULTIPLIERS FOR VLSI MICROPROCESSING AND MICROPROGRAMMING, 1990, 29 (04): : 205 - 215
- [43] (Co-)iteration for higher-order nested datatypes TYPES FOR PROOFS AND PROGRAMS, 2002, 2646 : 1 - 20
- [44] Generalized iteration and coiteration for higher-order nested datatypes FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 54 - +
- [46] Higher-order Gauss-Bonnet cosmology by Lagrange multipliers Astrophysics and Space Science, 2014, 349 : 603 - 609
- [47] Considerations for using 3-D pneumatic probes in high-speed axial compressors JOURNAL OF TURBOMACHINERY-TRANSACTIONS OF THE ASME, 2003, 125 (01): : 149 - 154