243 - Formal Specification and Proof
omega tau - English only
243 - Formal Specification and ProofNext Episodes
242 - Satellite Testing at ESTEC @ omega tau - English only
📆 2017-03-31 20:46 / ⌛ 01:24:13
241 - Electric Propulsion of Spacecraft @ omega tau - English only
📆 2017-03-25 09:03 / ⌛ 01:38:42
239 - The Saturn V Launch Vehicle @ omega tau - English only
📆 2017-03-12 00:24 / ⌛ 02:27:52
238 - Societal Complexity, Part II: Today's Perspective @ omega tau - English only
📆 2017-03-05 11:25 / ⌛ 01:11:37
237 - Synthesizers @ omega tau - English only
📆 2017-02-25 09:10 / ⌛ 03:28:41