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
System programming language
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 4
Next
Introduction to Algorithms
Introduces algorithms as problem-solving procedures, covering complexity, correctness, and implementation in various languages.
Challenges in IoT Era
Covers IoT security challenges, cyber-physical attacks, and global attack surfaces.
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.
Scientific Computing Essentials
Covers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.
Propositions as Types: Logic and Programming Correspondence
Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.
Computer Architecture: Fibonacci Sequence
Covers the basics of computer architecture through building a machine for calculating the Fibonacci sequence in binary.
Understanding Software
Covers the definition, types, and building process of software, including system software and applications.
Dynamic Memory Management: Using Realloc in C
Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.
Introduction to LabVIEW Programming
Covers the basics of LabVIEW programming, focusing on Virtual Instruments and their applications in engineering projects.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.