يعرض 1 - 10 نتائج من 346 نتيجة بحث عن '"Kreutzer S"', وقت الاستعلام: 1.03s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications

    المؤلفون: Huck, A., Kreutzer, S., Protze, J., Lehr, J., Bischof, C., Terboven, C., Muller, M.S.

    المصدر: IT Professional IT Prof. IT Professional. 24(2):45-51 Apr, 2022

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Approximation Schemes for First-Order Definable Optimisation Problems

    المؤلفون: Dawar, A., Grohe, M., Kreutzer, S., Schweikardt, N.

    المصدر: 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) Logic in Computer Science, 2006 21st Annual IEEE Symposium on. :411-420 2006

    Relation: 2006 21st Annual IEEE Symposium on Logic in Computer Science

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Will deflation lead to depletion? On non-monotone fixed point inductions

    المؤلفون: Gradel, E., Kreutzer, S.

    المصدر: 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. Logic in computer science Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on. :158-167 2003

    Relation: Proceedings 18th Annual IEEE Symposium on Logic in Computer Science

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Expressive equivalence of least and inflationary fixed-point logic

    المؤلفون: Kreutzer, S.

    المصدر: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on. :403-410 2002

    Relation: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    Auswirkung einer stationsweiten Standardisierung der Akutschmerztherapie: Parameter zur Patienten- und Providerzufriedenheit und Kostenstruktur (STANDAKU)
    The effects of setting a standard in the acute pain therapy on a ward: Parameters for patient and provider satisfaction and cost structure (STANDAKU)

    المؤلفون: Bialas, P.Aff1, Welsch, K., Gronwald, B., Gottschling, S., Kreutzer, S., Haber, M., Volk, T.

    المصدر: Der Schmerz: Organ der Deutschen Schmerzgesellschaft, der Österreichischen Schmerzgesellschaft und der Schweizerischen Gesellschaft zum Studium des Schmerzes. 32(6):449-455

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    Violet stimulated luminescence signal from electronic components for radiation accident dosimetry

    المؤلفون: Bassinet, C., Kreutzer, S., Mercier, N., Clairand, I.

    المصدر: In Radiation Measurements November 2017 106:431-435

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Absorbed dose, equivalent dose, measured dose rates, and implications for OSL age estimates: Introducing the Average Dose Model

    المؤلفون: Guérin, G., Christophe, C., Philippe, A., Murray, A.S., Thomsen, K.J., Tribolo, C., Urbanova, P., Jain, M., Guibert, P., Mercier, N., Kreutzer, S., Lahaye, C.

    المصدر: In Quaternary Geochronology August 2017 41:163-173

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    A new fully integrated X-ray irradiator system for dosimetric research

    المؤلفون: Richter, D., Mittelstraß, D., Kreutzer, S., Pintaske, R., Dornich, K., Fuchs, M.

    المصدر: In Applied Radiation and Isotopes June 2016 112:122-130

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  10. 10
    كتاب إلكتروني
    Generalising Automaticity to Modal Properties of Finite Structures

    المؤلفون: Dawar, A.Aff5, Kreutzer, S.Aff6

    المساهمون: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Agrawal, Manindra, editorAff4, Seth, Anil, editorAff4

    المصدر: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings. 2556:109-120

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء