Log inImperial users Other users No account?Information onFinding a talk Adding a talk Syndicating talks Who we are Everything else |
Room 217, Department of Computing
Add to your list(s)
Send you e-mail reminders
Further detail
0 upcoming talks and 1 talk in the archive. Practical Techniques for Auto-Active VerificationNadia Polikarpova. Room 217, Department of Computing. Tuesday 08 July 2014, 11:00-12:00 If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser. |
Other listsIEEE Magnetics Society Distinguished Lecturer Visits Metamaterials TalksOther talksMIMO Coding and Precoding Design and Optimization for Energy-Efficient Fault-Tolerant Systems ZF Beamforming for MISO Interference Channels without Crosstalk CSI 50 Billion M2M Devices in 5G? Accelerating Finite Element Methods on FPGA |