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
Concept
Source-to-source compiler
Applied sciences
Computer engineering
Computer programming
Topics in computer programming
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (17)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 2
Next
R Programming: Conditions, Loops, Functions & Graphics
Covers conditions, loops, functions, and graphics in R programming with practical examples.
Modular Programming: Separate Compilation in C
Covers separate compilation in C, focusing on modular programming and its benefits for code reusability and maintenance.
Software: Types and Applications
Explores software types (desktop, mobile, web), open source vs. proprietary software, and key examples like TensorFlow and Red Hat Ansible.
Uncertainty Principle
Explores the Uncertainty Principle and its implications in quantum mechanics.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Gitlab Agent for Kubernetes (`agentk`)
Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.
Quantum Computing: Fundamentals and Applications
Covers the fundamentals of quantum computing, including qubit realization, scalable quantum computers, quantum communication, and quantum algorithms.