共 50 条
- [31] Formal Verification of the rank Algorithm for Succinct Data Structures [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 243 - 260
- [35] The therapeutic play in nursing graduation: from theory to practice [J]. REVISTA DE PESQUISA-CUIDADO E FUNDAMENTAL ONLINE, 2019, 11 (04): : 1043 - 1047
- [36] Glass structures, from theory to practice [J]. STRUCTURES AND ARCHITECTURE: CONCEPTS: APPLICATIONS AND CHALLENGES, 2013, : 305 - 311
- [37] Synthetic Riboswitches: From Plug and Pray toward Plug and Play [J]. BIOCHEMISTRY, 2017, 56 (09) : 1181 - 1198
- [38] PLAY; PEDAGOGY, THEORY AND PRACTICE [J]. 9TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES (EDULEARN17), 2017, : 7104 - 7104
- [39] PLAY PRODUCTION: THEORY AND PRACTICE [J]. QUARTERLY JOURNAL OF SPEECH, 1952, 38 (03) : 355 - 356
- [40] Leveraging Succinct Data Structures for DNA Sequence Mapping on FPGA [J]. 2020 IEEE 34TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW 2020), 2020, : 155 - 158