×

cccamp11-4426-certified_programming_with_dependent_types-en.mp4

Home / Discover /mirror.eu.oneandone.net/projects/media.ccc.de/events/camp2011/video/

  Parent Folder


cccamp11-4426-certified_programming_with_dependent_types-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4424-poker_bots-en.mp4
MP4 3 years ago 431.34 MB
Copy Link   
cccamp11-4427-the_blackbox_in_your_phone-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4421-strong_encryption_of_credit_card_information-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4428-the_joy_of_intellectual_vampirism-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4429-life_foods-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4418-cyberpeace_and_datalove-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4435-windkraftanlagen-de.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4412-latest_developments_around_the_milkymist_system_on_chip-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4411-space_debris-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4436-rocket_propulsion_basics-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4438-mehrseitig_sichere_web_20_umfragen-de.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4406-giving_great_workshops-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4439-maching_to_machine_security-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4399-runtine_reconfigurable_processors-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4440-solid_rocket_engines-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4395-counselling_mischief_as_thought_crime-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4443-theres_gold_in_them_circuit_boards-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4389-decentralized_clustering-en.mp4
MP4 3 years ago 570 bytes
Copy Link   
cccamp11-4445-data_mining_your_city-en.mp4
MP4 3 years ago 570 bytes
Copy Link   

Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.