استعراض Logic 161 - 180 من 1468 النتائج

  • الكتاب الالكتروني
    14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    • 1st الإصدار
    • Jayadev Misra; ‎Tobias Nipkow; ‎Emil Sekerinski
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
    • 1st الإصدار
    • Verónica Dahl; ‎Ilkka Niemelä
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    • 1st الإصدار
    • Holger Hermanns; Werner Damm
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    Theory and Applications
    • Mika Sato-Ilic
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    • Casper Storm Hansen
    • Springer
    • تنسيق قابل للتنسيق التلقائي

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

    عرض التفاصيل
  • الكتاب الالكتروني
    From the Mountains of Colorado to the Peaks of Mathematics
    • Alexander Soifer
    • Springer
    • تنسيق قابل للتنسيق التلقائي

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

    عرض التفاصيل
  • الكتاب الالكتروني
    • 3rd الإصدار
    • Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    L. E. J. Brouwer
    • Author
    • North Holland
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    • Jean-Yves Béziau
    • Birkhäuser
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    • Gabbay, Dov M.; Woods, John
    • North Holland
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    A Guided Approach to Algebra, Geometry, Topology and Analysis
    • Simon G. Chiossi
    • Springer
    • تنسيق قابل للتنسيق التلقائي

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

    عرض التفاصيل
  • الكتاب الالكتروني
    Mathematik im Spiel - Methoden, Ergebnisse und Grenzen
    • 5th الإصدار
    • Jörg Bewersdorff
    • Vieweg+Teubner Verlag
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    • Springer
    • تنسيق قابل للتنسيق التلقائي

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

    عرض التفاصيل
  • الكتاب الالكتروني
    • Angela Axworthy
    • Birkhäuser
    • تنسيق قابل للتنسيق التلقائي

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

    عرض التفاصيل
  • الكتاب الالكتروني
    • Beklemishev, Lev D.
    • Elsevier Science
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    From the Logic of Questions to Proof Theory
    • Dorota Leszczyńska-Jasion
    • Springer
    • تنسيق قابل للتنسيق التلقائي

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

    عرض التفاصيل
  • الكتاب الالكتروني
    6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
    • 1st الإصدار
    • Masami Ito; ‎Masafumi Toyama
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    An Introduction
    • Bernd Schröder
    • Birkhäuser
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings
    • 1st الإصدار
    • Kevin D. Ashley; ‎Derek Bridge
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل
  • الكتاب الالكتروني
    10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
    • 1st الإصدار
    • Rudolf Berghammer; ‎Bernhard Möller; ‎Georg Struth
    • Springer
    • التنسيق المحدد

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

    عرض التفاصيل