يعرض 1 - 8 نتائج من 8 نتيجة بحث عن '"Lehner, Hermann"', وقت الاستعلام: 0.79s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Resource-Rich versus Resource-Poor Assessment in Introductory Computer Scienceand its Implications on Models of Cognition: An in-Class Experimental Study

    المؤلفون: Halbherr, Tobias, Lehner, Hermann, Kapur, Manu

    المصدر: Proceedings of the Annual Meeting of the Cognitive Science Society. 41

    مصطلحات موضوعية: assessment, examinations, resource-richassessment, resource-affordances, higher education, learningscience, computer science education, e-assessment, educational technology, situated cognition

    وصف الملف: application/pdf

    URL الوصول: https://escholarship.org/uc/item/8s28n505
    https://escholarship.org/content/qt8s28n505/qt8s28n505.pdf

    أضف إلى المفضلة
  2. 2
    كتاب إلكتروني
    Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups

    المؤلفون: Lehner, HermannAff18, Müller, PeterAff18

    المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Rosenblum, David S., editorAff16, Taentzer, Gabriele, editorAff17

    المصدر: Fundamental Approaches to Software Engineering : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. 6013:338-352

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Formal Translation of Bytecode into BoogiePL

    المؤلفون: Lehner, Hermann, Müller, Peter

    المصدر: In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):35-50

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  4. 4
    A formal definition of JML in Coq and its application to runtime assertion checking

    المؤلفون: Lehner, Hermann

    المساهمون: Beckert, Bernhard, Müller, Peter

    مصطلحات موضوعية: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING), JAVA (PROGRAMMIERSPRACHEN), COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS), SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING), RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME), VERIFIKATION (SOFTWARE ENGINEERING), JAVA (PROGRAMMING LANGUAGES), ddc:004

    وصف الملف: application/application/pdf

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e9cb132624026f4616e2c62f85d791e

    أضف إلى المفضلة
  5. 5
    A Formalization of JML in the Coq Proof System

    المؤلفون: Kägi, Andreas, Lehner, Hermann, Müller, Peter

    المصدر: Technical report, 714

    مصطلحات موضوعية: SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN, DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES, Data processing, computer science, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING), DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), ddc:004

    وصف الملف: application/application/pdf

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfa544c5f13531fb8698fad78d81bc68

    أضف إلى المفضلة
  6. 6
    ˜Derœ erste Wiener internationale Schachcongress im Jahre 1873 :Hrsg. von H[ermann] Lehner und C(onstantin) Schwede
    ˜Derœ erste Wiener internationale Schachcongress im Jahre 1873 :Hrsg. von H[ermann] Lehner und C(onstantin) Schwede

    المساهمون: Lehner, Hermann

    الإتاحة: http://data.europeana.eu/aggregation/europeana/358/item_2KEW546ALQ77TJREN54IBHWALFMW2ZNY

    أضف إلى المفضلة
  7. 7
    دورية
    Problem 512.

    المؤلفون: Lehner, Hermann

    المصدر: Chess Journal; Apr1873, Vol. 5 Issue 38, preceding p170-170, 1/2p, 1 Illustration

    أضف إلى المفضلة
  8. 8
    كتاب
    Der erste Wiener internationale Schachkongress im Jahre 1873

    المساهمون: Lehner, Hermann., Schwede, Constantin., International chess congress (1873 : Vienna, Austria), International chess congress (1873 : Vienna)

    مصطلحات موضوعية: Chess -- Tournaments, 1873.

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