• الإنجليزية
  • الإسبانية
  • الفرنسية
  • الألمانية
  • البرتغالية
  • إيطالي
  • الروسية
  • الصينية (المبسطة)
  • الصينية (التقليدية)
  • ياباني
  • كوري
  • الهولندية
  • السويدية
  • الفارسية
  • العربية
  • البولندية
  • الرئيسية
  • اكتشف
  • مقالات
  • تسجيل الدخول
  • إنشاء حساب
  • الإنجليزية
  • الإسبانية
  • الفرنسية
  • الألمانية
  • البرتغالية
  • إيطالي
  • الروسية
  • الصينية (المبسطة)
  • الصينية (التقليدية)
  • ياباني
  • كوري
  • الهولندية
  • السويدية
  • الفارسية
  • العربية
  • البولندية
ماسح الباركود ISBN
أضف الكتب في ثوانٍ باستخدام مسح الباركود.

فقط امسح رمز ISBN لإضافته فورًا إلى مكتبتك. متوفر الآن على iOS و Android.

متجر التطبيقات جوجل بلاي
Dang Van Hung

Dang Van Hung

نظرة عامة الكتب
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Dang Van Hung

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

Dang Van Hung

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings

Dang Van Hung

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Dang Van Hung

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Dang Van Hung

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Dang Van Hung

Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods

Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods

Dang Van Hung

تتبع رحلة قراءتك، اكتشف كتبًا جديدة، وحقق أهدافك في القراءة مع BookPine.

متجر التطبيقات جوجل بلاي
اكتشف
  • اكتشف
الحساب
  • تسجيل الدخول
  • إنشاء حساب
الدعم
  • الأسئلة الشائعة
  • طلبات الميزات
  • اتصال
الشروط
  • شروط الخدمة
  • سياسة الخصوصية
  • سياسة ملفات تعريف الارتباط
  • إدارة الكوكيز

حقوق النشر © 2026 BookPine. جميع الحقوق محفوظة.

إرسال التعليقات

نستخدم الكوكيز لتحسين تجربتك وتحليل حركة المرور في الموقع. يمكنك اختيار الكوكيز التي ترغب في قبولها.

أساسي

مطلوب لتشغيل الموقع. لا يمكن تعطيله.

التحليلات

ساعدنا على فهم كيفية تفاعل الزوار مع موقعنا الإلكتروني.

التسويق

يُستخدم لتقديم الإعلانات ذات الصلة وتتبع الحملات.