FIT-Conference Hub
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
السمة
العربية
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
الإشعارات
تحديد الكل كمقروء
لا توجد إشعارات جديدة.
عرض الكل
كلمة مفتاحية
البداية:
النهاية:
النوع
الموقع
بحث
مسح
إخفاء خيارات البحث المتقدمة
?
تاريخ التقديم:
الترتيب:
جميع التصنيفات
A*
A
B
C
Unranked
Other
المصدر:
جميع المصادر
الناشر:
المواضيع:
program logics
×
مجال البحث:
نتائج المؤتمرات (3)
فرز حسب:
تاريخ التقديم
Conference Date
الترتيب
النوع
Default
Relevant
Descending
Ascending
فعاليات لكل صفحة:
4
8
12
20
50
100
Verification, Model Checking and Abstract Interpretation (VMCAI)
Rank: B
Offline
Rennes, France
Jan 11, 2026 - Jan 17, 2026
program verification
model checking
abstract interpretation
+23 المزيد
International Conference on Concurrency Theory (CONCUR)
Rank: A
Offline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
tools
and empirical evaluations of architectures
execution environments
+63 المزيد
International Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)
Rank: C
Offline
Prague, Czech Republic
Aug 19, 2024 - Aug 22, 2024
relation algebras
Kleene algebras
semigroups
+14 المزيد
