Informatique

Thema UY

48 tuit · page 1/2
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 28: CTL: Encoding Exmaples

Lec 28 : CTL : Exemples d'encodage

Prof. Chandan Karfa
36 min
4/5
CTLModel CheckingLogique Temporelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 31: Correctness of CTL Model Checking Algorithms

Lec 31: Exactitude des algorithmes de vérification de modèles CTL

Prof. Chandan Karfa (IIT Guwahati)
36 min
4/5
CTLModel CheckingVérification Formelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

CS50x en Español - El Fin

CS50x en Espagnol - La Fin

David J. Malan
52 min
5/5
CS50InformatiqueProgrammation
Sciences formelles & physiques Informatique & Cybersécurité
FR

Explaining Confusing Computer Science To Help You Sleep

Expliquer l’informatique de manière confuse pour vous aider à dormir

Bub Explains
189 min
4/5
Virgule FlottanteHachageComplexité Algorithmique
Sciences formelles & physiques Informatique & Cybersécurité
FR

DEPRECATED: CS50x en Español - El Fin

DEPRECATED: CS50x en Espagnol - La Fin

CS50
52 min
4/5
CS50InformatiqueProgrammation
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

08 Chapter 1: Introduction

08 Chapitre 1 : Introduction

Jerome Cleofas
62 min
4/5
Rédaction ScientifiqueMémoireMéthodologie
Sciences formelles & physiques Informatique & Cybersécurité
FR

Coogee '26 Talks - Emma Rosenfeld (Google)

Entretiens Coogee '26 - Emma Rosenfeld (Google)

Emma Rosenfeld
56 min
4/5
Calcul QuantiqueCorrection D'erreursÉtats Magiques
Sciences formelles & physiques Informatique & Cybersécurité
FR

CS50x - Lecture 10 - The End

CS50x - Lecture 10 - La Fin

David J. Malan
52 min
5/5
CS50InformatiqueAlgorithmique
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lec 1: General Intro to XR

Lec 1 : Introduction générale à XR

Prof. Samit Bhattacharya
33 min
4/5
Réalité VirtuelleRéalité AugmentéeRéalité Mixte
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

PhD Thesis at a Glance - Rahul Bera

Aperçu de la thèse de doctorat - Rahul Bera

Rahul Bera
17 min
4/5
MémoireMicroarchitectureApprentissage Par Renforcement
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Optica Online Industry Meeting: AR/VR

Réunion industrielle en ligne d'Optica : AR/VR

Optica
104 min
4/5
Réalité AugmentéeRéalité VirtuellePhotonique
Sciences formelles & physiques Informatique & Cybersécurité
FR

Revision session 2- Week 1 & 2

Session de révision 2- Semaine 1 et 2

MLT cs2007
196 min
3/5
PCARéduction De DimensionnalitéApprentissage Non Supervisé
Sciences formelles & physiques Informatique & Cybersécurité
FR

TODA A COMPUTAÇÃO Explicada em 23 minutos

TOUTE L'INFORMATIQUE expliquée en 23 minutes

Ciência Mapeada
23 min
5/5
InformatiqueVulgarisationProgrammation
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

Infoawards

Facultad de Ciencias UNAM_Oficial
62 min
3/5
BibliothèquesArchivesMusées