بحث متقدم
الصفحة الرئيسية
بحث متقدم
Toggle navigation
الصفحة الرئيسية
المكتبة
بحث
كتاب
أطروحة
مجلة
مقالة
سمعي بصري
الخدمات
قاعدة البيانات
الإهداء والإجراءات
إقتناء الكتب
اقتراح شراء
اتصل بنا
نتائج البحث:
6147
Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
اعرف المزيد
Advances in Cryptology – EUROCRYPT 2022
41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 – June 3, 2022, Proceedings, Part II
اعرف المزيد
Privacy Technologies and Policy
10th Annual Privacy Forum, APF 2022, Warsaw, Poland, June 23–24, 2022, Proceedings
اعرف المزيد
Participative Urban Health and Healthy Aging in the Age of AI
19th International Conference, ICOST 2022, Paris, France, June 27–30, 2022, Proceedings
اعرف المزيد
Logic-Based Program Synthesis and Transformation
31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
اعرف المزيد
›
1
2
...
1129
1130
1131
1132
1133
1134
1135
...
1229
1230
‹
