Suggested Topics within your search.
Showing 841 - 860 results of 14,529 for search 'CompCert~', query time: 3.00s Refine Results
  1. 841
    Advances and Novel Approaches in Discrete Optimization

    Advances and Novel Approaches in Discrete Optimization

    Published 2020
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 842
    Deductive Systems in Traditional and Modern Logic

    Deductive Systems in Traditional and Modern Logic

    Published 2020
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 843
    Mining Technologies Innovative Development

    Mining Technologies Innovative Development

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 844
    Sports Medicine and Physical Fitness

    Sports Medicine and Physical Fitness

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 845
    The Origin and Early Evolution of Life Prebiotic Systems Chemistry Perspective

    The Origin and Early Evolution of Life Prebiotic Systems Chemistry Perspective

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 846
    Commemorative Issue in Honor of Professor Karlheinz Schwarz on the Occasion of His 80th Birthday

    Commemorative Issue in Honor of Professor Karlheinz Schwarz on the Occasion of His 80th Birthday

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 847
    Graph-Theoretic Problems and Their New Applications

    Graph-Theoretic Problems and Their New Applications by Werner, Frank

    Published 2020
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  8. 848
    Spumaretroviruses

    Spumaretroviruses

    Published 2021
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  9. 849
    Modern Problems of Mathematical Physics and Their Applications

    Modern Problems of Mathematical Physics and Their Applications

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  10. 850
    Advances in Artificial Intelligence and Statistical Techniques with Applications to Health and Education

    Advances in Artificial Intelligence and Statistical Techniques with Applications to Health and Education

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  11. 851
    Advances in Alternative Measures in Plant Protection

    Advances in Alternative Measures in Plant Protection

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  12. 852
    Nursing and COVID-19 Ⅱ

    Nursing and COVID-19 Ⅱ

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  13. 853
    Professionalisierung von Grundschullehrkräften Kontext, Bedingungen und Herausforderungen

    Professionalisierung von Grundschullehrkräften Kontext, Bedingungen und Herausforderungen

    Published 2022
    Subjects: “…Professionalisierung; Lehrer; Lehrberuf; Lehramt; Lehramtsstudiengang; Lehrerausbildung; Primarbereich; Grundschule; Grundschulpädagogik; Pädagogisches Handeln; Professionalität; Kompetenz; Profession; Inklusion; Akademisierung; Disziplin <Wissenschaft>; Anforderung; Anerkennung; Berufswahl; Lehrerpersönlichkeit; Motivation; Schulform; Geschlechtsspezifischer Unterschied; Lehrerin; Frau; Geschlechterstereotyp; Persönlichkeitsmerkmal; Volksschule; Schulgeschichte; Historische Bildungsforschung; Geschichte <Histor>; Hochschullehre; Hochschuldidaktik; Deutschunterricht; Mathematikunterricht; Sachunterricht; Erziehungswissenschaft; Fachdidaktik; Sportunterricht; Grundschulalter; Vorbereitungsdienst; Schulpraktikum; Fortbildung; Kompetenzentwicklung; Wirksamkeit; Lehrerbildung; Digitalisierung; Selbstwirksamkeit; Schulleiter; Lehrermangel; Lehrerbedarf; Schülerzahl; Nordrhein-Westfalen; Deutschland; Österreich; Professionalization; Teacher; Apprenticeship trade; Teaching profession; Teaching post; Preservice Teacher Education; Teacher education; Teacher training; Primary education; Primary level; Elementary School; Primary school; Primary school lower level; Primary school education; Primary school pedagogics; Professionalism; Professionality; Competency; Inclusion; Academization; Career Choice; Occupational choice; Type of school; Gender-specific difference; Female teacher; Women Teachers; Woman; Women; Gender bias; Individual characteristics; Learner Characteristics; Personality characteristic; General compulsory school; History of schools; History; Higher education lecturing; University lecturing; University teaching; University didactics; German language teaching; Teaching of German; Mathematics lessons; Teaching of mathematics; Instruction in natural science subjects; Primary school science and social studies; Sciences of education; Specialized didactics; Subject didactics; Education in sports; Physical education; Physical training; Second phase of teacher training; Practical training in school; Practice period at school; Further education; Further training; Skill development; Teachers' training; Digitalization; Self efficacy; Headteacher; Headteachers; School head teacher; Teacher shortage; Demand for teachers; Number of pupils; North Rhine-Westphalia; North-Rhine Westphalia; Germany; Austria…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  14. 854
    Economic and Social Consequences of the COVID-19 Pandemic in Energy Sector

    Economic and Social Consequences of the COVID-19 Pandemic in Energy Sector

    Published 2022
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  15. 855
    Professionalisierung von Grundschullehrkräften Kontext, Bedingungen und Herausforderungen

    Professionalisierung von Grundschullehrkräften Kontext, Bedingungen und Herausforderungen

    Published 2022
    Subjects: “…Professionalisierung; Lehrer; Lehrberuf; Lehramt; Lehramtsstudiengang; Lehrerausbildung; Primarbereich; Grundschule; Grundschulpädagogik; Pädagogisches Handeln; Professionalität; Kompetenz; Profession; Inklusion; Akademisierung; Disziplin <Wissenschaft>; Anforderung; Anerkennung; Berufswahl; Lehrerpersönlichkeit; Motivation; Schulform; Geschlechtsspezifischer Unterschied; Lehrerin; Frau; Geschlechterstereotyp; Persönlichkeitsmerkmal; Volksschule; Schulgeschichte; Historische Bildungsforschung; Geschichte <Histor>; Hochschullehre; Hochschuldidaktik; Deutschunterricht; Mathematikunterricht; Sachunterricht; Erziehungswissenschaft; Fachdidaktik; Sportunterricht; Grundschulalter; Vorbereitungsdienst; Schulpraktikum; Fortbildung; Kompetenzentwicklung; Wirksamkeit; Lehrerbildung; Digitalisierung; Selbstwirksamkeit; Schulleiter; Lehrermangel; Lehrerbedarf; Schülerzahl; Nordrhein-Westfalen; Deutschland; Österreich; Professionalization; Teacher; Apprenticeship trade; Teaching profession; Teaching post; Preservice Teacher Education; Teacher education; Teacher training; Primary education; Primary level; Elementary School; Primary school; Primary school lower level; Primary school education; Primary school pedagogics; Professionalism; Professionality; Competency; Inclusion; Academization; Career Choice; Occupational choice; Type of school; Gender-specific difference; Female teacher; Women Teachers; Woman; Women; Gender bias; Individual characteristics; Learner Characteristics; Personality characteristic; General compulsory school; History of schools; History; Higher education lecturing; University lecturing; University teaching; University didactics; German language teaching; Teaching of German; Mathematics lessons; Teaching of mathematics; Instruction in natural science subjects; Primary school science and social studies; Sciences of education; Specialized didactics; Subject didactics; Education in sports; Physical education; Physical training; Second phase of teacher training; Practical training in school; Practice period at school; Further education; Further training; Skill development; Teachers' training; Digitalization; Self efficacy; Headteacher; Headteachers; School head teacher; Teacher shortage; Demand for teachers; Number of pupils; North Rhine-Westphalia; North-Rhine Westphalia; Germany; Austria…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  16. 856
    Carbohydrate-Active Enzymes Structure, Activity and Reaction Products

    Carbohydrate-Active Enzymes Structure, Activity and Reaction Products

    Published 2020
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  17. 857
    Fit-for-Purpose Land Administration Fit-for-Purpose Land Administration- Providing Secure Land Rights at Scale. Volume 1: Conceptual Innovations

    Fit-for-Purpose Land Administration Fit-for-Purpose Land Administration- Providing Secure Land Rights at Scale. Volume 1: Conceptual Innovations

    Published 2021
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  18. 858
    Fit-for-Purpose Land Administration- Providing Secure Land Rights at Scale. Volume 2: Country Implementation

    Fit-for-Purpose Land Administration- Providing Secure Land Rights at Scale. Volume 2: Country Implementation

    Published 2021
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  19. 859
    Modelling, Dimensioning and Optimization of 5G Communication Networks, Resources and Services

    Modelling, Dimensioning and Optimization of 5G Communication Networks, Resources and Services

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  20. 860
    Current Trends in Tourism under COVID-19 and Future Implications

    Current Trends in Tourism under COVID-19 and Future Implications

    Published 2023
    Subjects:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: