• التعليم وحلول الأعمال يفتح في نافذة جديدة

استعراض Logic Design 301 - 320 من 554 النتائج

  • الكتاب الالكتروني
    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • Author
    • North Holland
    • التنسيق المحدد

    ﷼‎862.91 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Architecture, Implementation and Design Automation
    • Ayan Palchaudhuri; Rajat Subhra Chakraborty
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎128.14 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    A Concise Introduction Using Java
    • James T. Streib; Takako Soma
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎90.61 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • Ibrahim (Abe) M. Elfadel
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎270.53 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎77.66 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    13th International Conference, FPL 2003 Lisbon, Portugal, September 1–3, 2003 Proceedings
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
    • Author
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎77.66 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • Broesch, James D.
    • Academic Press
    • التنسيق المحدد

    ﷼‎314.74 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
    • Author
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    • Author
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    • 2nd الإصدار
    • Theo Ungerer
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎38.84 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    A Guide to Finding and Using Causes
    • 1st الإصدار
    • Samantha Kleinberg
    • O'Reilly Media
    • تنسيق قابل للتنسيق التلقائي

    ﷼‎112.14 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Coding and RTL Synthesis
    • Vaibbhav Taraate
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎270.53 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers
    • Author
    • Springer
    • التنسيق المحدد

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    Special Issue on Consistency and Inconsistency in Data-Centric Applications
    • Author
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎71.18 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل
  • الكتاب الالكتروني
    20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
    • Author
    • Springer
    • تنسيق قابل للتنسيق التلقائي

    يبدأ من:﷼‎90.61 SARيتضمن السعر ضريبة القيمة المضافة

    عرض التفاصيل