يعرض 1 - 10 نتائج من 216 نتيجة بحث عن '"Lösen"', وقت الاستعلام: 1.63s تنقيح النتائج
  1. 1
    مؤتمر
  2. 2
    دورية أكاديمية

    المؤلفون: Förster, Agnes

    المصدر: pnd - rethinking planning 2022(1), 43-69 (2022). doi:10.18154/RWTH-2022-05178 special issue: "Transformatives Forschen trifft Stadtentwicklung : Einführung und Reflexion / herausgegeben von Laura Brings, Lea Fischer, Agnes Förster und Fee Thissen"

    جغرافية الموضوع: DE

  3. 3
    رسالة جامعية
  4. 4
    رسالة جامعية

    المؤلفون: Auinger, David

    مصطلحات موضوعية: Lösen von SAT-Formeln, CNF, QBF, C++, SAT solving

    جغرافية الموضوع: vls-obvuli-6753494

    وصف الملف: vii, 62 Seiten; text/html; Illustrationen

    العلاقة: vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:1-73527/128Test; urn:nbn:at:at-ubl:1-73527; https://resolver.obvsg.at/urn:nbn:at:at-ubl:1-73527Test; local:99148053730803331; system:AC17139853

  5. 5
  6. 6
  7. 7
  8. 8
    دورية أكاديمية
  9. 9
    مؤتمر
  10. 10
    مؤتمر