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
Untitled
Graph Chatbot
Related lectures (30)
Previous
Page 3 of 3
Next
Computational Methods: Paths and Strings
Covers computational methods focusing on paths and strings, including examples of concatenation, regex elements, and string operations.
Gitlab Agent for Kubernetes (`agentk`)
Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.
Polymorphism and Type Testing
Explores object-oriented programming concepts, polymorphism, inheritance, and dynamic binding in Java, emphasizing the importance of correct object comparison.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Object Oriented Programming in C++
Introduces object-oriented programming in C++, covering interfaces, classes, inheritance, and polymorphism.
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Untitled
OpenShift Survival Guide
Provides a survival guide for OpenShift, covering node setup, service management, configuration handling, and issue troubleshooting.
Pointers and Memory Management
Covers pointers in C++, memory addresses, dynamic allocation, arrays, and memory management techniques.
