• Refine your search:
  • 
    Keyword:
    
    • Novice programmers (2)
    • User-studies (2)
    • Algorithms (1)
    • General Terms (1)
    • Languages (1)
    • Verification Keywords (1)
    • aspect-oriented programming (1)
    • extensible theorem provers (1)
    • feature (1)
    • incremental verification (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 7 of 7 1 Measuring the Effectiveness of Error Messages Designed for Novice Guillaume Marceau; Kathi Fisler; Shriram Krishnamurthi In: http://cs.brown.edu/~sk/Publications/Papers/Published/mfk-measur-effect-error-msg-novice/paper.pdf (2011) BASE Show details 2 Abstract Shriram Krishnamurthi; Kathi Fisler In: http://www.cs.brown.edu/people/sk/Publications/Papers/Published/kf-found-incr-aspect-mc-journal/paper.pdf (2006) BASE Show details 3 Implementing Extensible Theorem Provers Kathi Fisler; Shriram Krishnamurthi; Kathryn E. Gray In: http://www.cs.wpi.edu/~kfisler/Pubs/tphol99.ps.gz (1999) BASE Show details 4 Measuring the effectiveness of error messages designed for novice programmers Guillaume Marceau; Kathi Fisler; Shriram Krishnamurthi In: http://repository.readscheme.org/ftp/papers/sw2010/04-marceau.pdf BASE Show details 5 EDUCATIONAL PEARL “Little language ” project modules John Clements; Kathi Fisler BASE Show details 6 EDUCATIONAL PEARL “Little language ” project modules John Clements; Kathi Fisler BASE Show details 7 EDUCATIONAL PEARL “Little language ” project modules John Clements; Kathi Fisler BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 7 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0