← Retour à la liste
📦
Coursera.-.University.Of.Colorado.Boulder.Temporal.Logic.Model.Checking.2025.BOOKWARE-LERNSTUF
Coursera.-.University.Of.Colorado.Boulder.Temporal.Logic.Model.Checking.2025.BOOKWARE-LERNSTUF
Autre 🕐 27/06/2026 SCENE LERNSTUF SCENE 🌱 0 seed / 0 leech 📡 srrdb
0 seeds 0 leechs 0 o LERNSTUF 27/06/2026 19:40
🧠 Release Intelligence
10
Confidence
0
Quality
1
Sources
0
Relations
20%
Complete
👥 Team: LERNSTUF
23.5
Authority
2,482
Releases
BRONZE
Tier
2026-06-11
Last Release
Propagation (1 source)
Confidence
40%
19:40:37 🚀 SRRDB FIRST PRE
🎯 Confidence Breakdown
Scene Group reconnu +5
Fingerprint calculé +5
TOTAL: 10/100
🏛️ Source Authority
srrdb 50/100
First-to-pre: 99.6% Confirm: 0.5% Coverage: 89.46%
👪 Family (1 variant)
Release Res Codec Source Team Quality Size
Coursera.-.University.Of.Colorado.Boulder.Temporal.Logic.Model.Ch ⭐ SCENE LERNSTUF 25 4.5 GB
⚙️ Technical Metadata
🎬 Video
Source SCENE
📋 Info
Release Type srrdb
🔑 Identifiers
Fingerprint eb01056cc91480a222e2… 📋
Master FP 31f63b7b4d8dd34c9afd… 📋
📋 Raw JSON (click to expand)
📁 Release Contents
Stored files
"01-Linear_Time_Properties\01-Linear_Time_Behavior_And_Properties\03-linear_time_properties.mp4"129,665,5882FAE556C
"01-Linear_Time_Properties\03-Liveness_Properties_And_Fairness\01-liveness_properties.mp4"116,781,6868CD955F8
"02-Linear_Time_Logic\01-Linear_Time_Logic_Ltl_Syntax_And_Semantics\01-linear_time_logic_ltl_syntax.mp4"138,844,74388E7D776
"02-Linear_Time_Logic\02-Ltl_Model_Checking\08-translating_ltl_formulas_to_nba.mp4"102,588,978D8CA8AB8
"02-Linear_Time_Logic\03-Spin_Model_Checker\09-communication_models.mp4"151,661,0677890C422
"03-Computation_Tree_Logic\03-Counterexamples_And_Witnesses\01-counterexamples_and_witnesses.mp4"153,542,245ED1130D5
"04-Symbolic_Ctl_Model_Checking\02-Ordered_Binary_Decision_Diagrams\01-overview_of_switching_function_representations.mp4"128,805,4646F56E960
"04-Symbolic_Ctl_Model_Checking\03-Symbolic_Model_Checker_Nusmv\01-nusmv_overview.mp4"105,571,63324B0944B
"04-Symbolic_Ctl_Model_Checking\03-Symbolic_Model_Checker_Nusmv\02-modeling_in_nusmv.mp4"104,316,439EDFBAAC1
🔗 Chaîne de versions (2 variantes)
⭐ Meilleure version : Coursera.-.University.Of.Colorado.Boulder.Temporal.Logic.Mod...
Type Release Priorité Date
📦 Original ⭐ Coursera.-.University.Of.Colorado.Boulder.Temporal.Logic.Model.Checking.2025.BOOKWARE-LERNSTUF 0 2025-03-24
💬 Commentaires
0 commentaire

Connectez-vous pour commenter.

Aucun commentaire — soyez le premier.