资源列表
《Programming with Refinement Types - An Introduction to LiquidHaskell》
- 《Programming with Refinement Types - An Introduction to LiquidHaskell》
vcgsdfa
- HARQ modelis used for error correcting and to detect errors.
FULLTEXT02
- Design and analysis of FIR filters based on Matlab
Routing-method-for-gateway-load-balancing-in-wire
- Routing method for gateway load balancing in wireless mesh networks
CQT
- CQT技术的培训ppt。适合通信类学生，新员工的培训和提高-CQT skills training ppt. Suitable for communication class students, new staff training and improve
sctt_v1.0.HP-UX.tar
- Varieties of the SMPP Client Test Tool available To install the SMPP Client Test Tool, download a version of the Test Tool to suit the environment on which it will run from the SMPP Forum website. There are a number of compressed variations ava
BEE4-user_guide
- beecube 开发平台使用软硬件协调设计观看结果的用户手册-Beecube development platform using software and hardware to coordinate the design of the results of the user s Manual
74573788-red-asi-s7-300
- this a interesting document about communications industrial-this is a interesting document about communications industrial
paper4
- 金澈清 教授：数据管理系统评测基准：从传统数据库到新兴大数据-Professor Jin Cheqing: data management system uation criteria: to emerging traditional data
gaussianface
- 汤晓欧人脸认证文章，利用高斯过程做的，在LFW上面达到98.5 -Tang Xiao-Ou Face verification paper, using Gaussian process achieve 98.5 on LFW
low_complexy_fbmc
- fbmc的一种低复杂度实现方案，很容易在FPGA上实现。-A low complexity fbmc implementations, it is easy to implement on FPGA.
survey-of-emerging-threats-in-cybersecurity
- survey of emerging threats in cybersecurity