共 50 条
- [21] PERCUSSION - BASIC CONCEPTS OF MUSICAL SOUND (TONE) PRODUCTION - FOR EDUCATORS WOODWIND WORLD-BRASS & PERCUSSION, 1978, 17 (04): : 24 - &
- [23] SPECTRAL CHARACTERISTICS OF SOUND SCATTERING BY A BODY IN A SOUND CHANNEL SOVIET PHYSICS ACOUSTICS-USSR, 1974, 20 (03): : 283 - 284
- [24] Sound and Complete Verification of Polynomial Networks ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35, NEURIPS 2022, 2022,
- [27] Computationally Sound Verification of Source Code PROCEEDINGS OF THE 17TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'10), 2010, : 387 - 398
- [28] Sound Gradual Verification with Symbolic Execution PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL): : 2547 - 2576
- [29] Sound Sequentialization for Concurrent Program Verification PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 506 - 521
- [30] FRISELL,BILL - IN SEARCH OF THE LOST CHORD AND OTHER SOUND EFFECTS DOWN BEAT, 1986, 53 (04): : 19 - +