Algorithms

16 Entries

  • Language(s)
  • E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems
    56 minutes, 11 seconds
  • Deep Dive into U-Prove Cryptographic Protocols
    59 minutes, 21 seconds
  • C9 Conversations: Yuri Gurevich On Logic, Imperative, Abstraction and Algorithms
    48 minutes, 42 seconds
  • Expert to Expert: Contract Oriented Programming and Spec#
    1 hour, 15 minutes, 0 seconds
  • Algorithms and Data Structures: Mike Swanson - Genetic Session Scheduler
    32 minutes, 7 seconds
  • Peter Sestoft: Inside The C5 Generic Collection Library for C# and CLI
    45 minutes, 14 seconds