Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Parallel & Distributed DBMS
Graph Chatbot
Related lectures (32)
Previous
Page 4 of 4
Next
Object Modeling: Cylinder Volume and Surface Area
Explores modeling complex types like a Cylinder object in Python using classes and methods.
Learning-aided Program Reasoning
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
