بحث متقدم
الصفحة الرئيسية
بحث متقدم
Toggle navigation
الصفحة الرئيسية
المكتبة
بحث
كتاب
أطروحة
مجلة
مقالة
سمعي بصري
الخدمات
قاعدة البيانات
الإهداء والإجراءات
إقتناء الكتب
اقتراح شراء
اتصل بنا
نتائج البحث:
31848
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
اعرف المزيد
Formal Methods: Foundations and Applications
25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings
اعرف المزيد
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
اعرف المزيد
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
اعرف المزيد
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
اعرف المزيد
›
1
2
...
5928
5929
5930
5931
5932
5933
5934
...
6369
6370
‹