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
Data structure
Graph Chatbot
Related lectures (28)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 3
Next
Data Representation: Models and Systems
Discusses data representation through models and systems, covering mathematical models, data structures, levels of modeling, and managing data.
Structures: Examination of Supporting Structure
Covers the examination and reinforcement of supporting structures in buildings.
Python: Dictionaries and Tuples
Explores dictionaries, tuples, mutable objects, and variable-length arguments in Python.
A Closer Look at Lists
Covers list construction, methods, and implementations, including exercises and complexity analysis.
Elementary Data Structures: Stacks, Queues, Linked Lists
Covers stacks, queues, and linked lists, emphasizing efficiency and dynamic structures.
New Technologies in Concurrent Algorithms: RDMA & Persistent Memory
Introduces RDMA and Persistent Memory, discussing their features, challenges, and impact on concurrent algorithms.
Abstract Data Structures in C++
Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.
Verifying Programs with Stainless
Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
Synthesis of Safe Pointer-Manipulating Programs
Introduces SuSLik, a program synthesizer generating safe low-level programs from logical specifications, showcasing its capabilities in handling linked data structures.
Data Structures: Tuples, Lists, Sets, Dicts
Introduces data structures like tuples, lists, sets, and dicts in Python, covering their definition, manipulation, and iteration.
