Solving Tasks with Thymio | EPFL Graph Search

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Control of Speed

Covers event planning, sequential programming, and the decision-making process when programming a robot.

Foundations of Software: Modeling Programming Languages

Covers the mathematical study of program behaviors, parsing, domain-specific languages, and powerful tools for language design.

Introduction to LabVIEW Programming

Covers the basics of LabVIEW programming, focusing on Virtual Instruments and their applications in engineering projects.