Algorithms

List of Episodes

Going Deep

STL: Some Underlying Algorithms, Data Structures, and More with Stephan T. Lavavej

51:47

Going Deep

E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems

56:11

The Id Element

Deep Dive into U-Prove Cryptographic Protocols

59:21

Charles

C9 Conversations: Yuri Gurevich On Logic, Imperative, Abstraction and Algorithms

48:42

Going Deep

Expert to Expert: Contract Oriented Programming and Spec#

01:15:00

Charles

Algorithms and Data Structures: Mike Swanson - Genetic Session Scheduler

32:07

Going Deep

Peter Sestoft: Inside The C5 Generic Collection Library for C# and CLI

45:14