بحث متقدم
الصفحة الرئيسية
بحث متقدم
Toggle navigation
الصفحة الرئيسية
المكتبة
بحث
كتاب
أطروحة
مجلة
مقالة
سمعي بصري
الخدمات
قاعدة البيانات
الإهداء والإجراءات
إقتناء الكتب
اقتراح شراء
اتصل بنا
نتائج البحث:
6147
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
اعرف المزيد
Linking Theory and Practice of Digital Libraries
26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings
اعرف المزيد
The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
اعرف المزيد
Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
اعرف المزيد
Fundamental Approaches to Software Engineering
25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
اعرف المزيد
›
1
2
...
1164
1165
1166
1167
1168
1169
1170
...
1229
1230
‹
