يعرض
1 - 5
نتائج من
5
نتيجة بحث عن '
GOHARSHADY, Ehsan Kafshdar
'
تخطي إلى المحتوى
VuFind
تغذية راجعة
حسابك
تسجيل الخروج
تسجيل الدخول
ثيمة
Bootstrap
Aunilo
اللغة
English
中文（繁體）
اللغة العربية
كل الحقول
العنوان
المؤلف
الموضوع
رقم الطلب
ردمك/تدمد
الوسم
ابحث
بحث متقدم
المؤلف
GOHARSHADY, Ehsan Kafshdar
يعرض
1 - 5
نتائج من
5
نتيجة بحث عن '
GOHARSHADY, Ehsan Kafshdar
'
, وقت الاستعلام: 0.01s
تنقيح النتائج
فرز بـ
الصلة
التاريخ تنازليا
التاريخ تصاعديا
رقم الطلب
المؤلف
العنوان
1
Equivalence and similarity refutation for probabilistic programs
بواسطة
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZIKELIC, Dorde
منشور في 2025
احصل على النص الكامل
احصل على النص الكامل
text
أضف إلى المفضلة
محفوظ في:
2
Proving non-termination by program reversal
بواسطة
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZIKELIC, Dorde
منشور في 2021
احصل على النص الكامل
احصل على النص الكامل
text
أضف إلى المفضلة
محفوظ في:
3
On lexicographic proof rules for probabilistic termination
بواسطة
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZÁREVUCKÝ, Jiří
,
ZIKELIC, Dorde
منشور في 2025
احصل على النص الكامل
احصل على النص الكامل
text
أضف إلى المفضلة
محفوظ في:
4
On lexicographic proof rules for probabilistic termination
بواسطة
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZÁREVUCKÝ, Jiří
,
ZIKELIC, Dorde
منشور في 2021
احصل على النص الكامل
احصل على النص الكامل
text
أضف إلى المفضلة
محفوظ في:
5
Solving long-run average reward robust MDPs via stochastic games
بواسطة
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
KARRABI, Mehrdad
,
NOVOTNÝ, Petr
,
ZIKELIC, Dorde
منشور في 2024
احصل على النص الكامل
احصل على النص الكامل
text
أضف إلى المفضلة
محفوظ في:
أدوات البحث:
أحصل على تغذية RSS
—
أرسل هذا البحث بالبريد الإلكتروني
—
×
تحميل...