Search for "Matt Hardy"

Digital Airwaves

Software Defined Radio Basics and some Modulation Theory

• 46 min
• 2018-12-27
• 1681
• Friederike

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

• 61 min
• 2017-12-29
• 3433
• Adam Chlipala

TBA

• 35 min
• 2014-04-19
• 37
• Matt Hardy