Passer au contenu principal

Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Comment les classes sont organisées

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (33)

Fondements de Scala: Modélisation et Systèmes de Type

Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.

Analyse des noms : Phases de compilation et tableaux de symboles

Explore les phases du compilateur et le rôle des tables de symboles dans le mappage des variables vers les déclarations.

Interfaces Java : Types et interfaces énumérés

Explore le principe du codage vers une interface, les types de Java énumérés, et les avantages de l'utilisation d'interfaces pour l'encapsulation.

Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique

Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.

Méthode d'optimisation d'expédition Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation de la répartition des méthodes dans les langages orientés objet, en se concentrant sur la mise en cache en ligne et les tests d'adhésion.

Types de données C avancés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.

Tuples: Désucrage et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les détails de mise en œuvre des tuples dans Scala, y compris le dessugaring, l'analyse lexicale, l'analyse et la génération de code.

Essais de polymorphisme et de type Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les concepts de programmation orientés objet, le polymorphisme, l'héritage et la liaison dynamique en Java, soulignant l'importance d'une comparaison correcte des objets.

Programmation Java: Chaînes et grilles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts fondamentaux de programmation et de programmation orientée objet en Java, y compris les variables, les types, les structures de contrôle et les concepts algorithmiques de base.

Héritage en Java : concepts et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts fondamentaux de l'héritage en Java et l'importance des paquets dans la gestion des droits d'accès.

Vectorworks Version éducative Connectez-vous à Mediaspace pour regarder cette vidéo

Présente Vectorworks Version pédagogique pour les dessins architecturaux, les outils, les couches et les annotations.

Hiérarchies de classe: Correspondance des motifs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les hiérarchies de classe, les classes de cas, les enums, les correspondances de motifs et les valeurs de fonction dans Scala.

Échelles: Vectorworks Design Suite 2022 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'utilisation des balances dans Vectorworks Design Suite 2022 et l'importance de maintenir la cohérence entre les balances.

Page 2 sur 2