Hasil Pencarian - Ina Schaefer

  • Menampilkan 1 - 15 hasil dari 15
Perbaiki Hasil
  1. 1
    Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

    Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems oleh Matthias Kowal, Ina Schaefer

    Diterbitkan 2016-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Detecting and Explaining Conflicts in Attributed Feature Models

    Detecting and Explaining Conflicts in Attributed Feature Models oleh Uwe Lesta, Ina Schaefer, Tim Winkelmann

    Diterbitkan 2015-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Genetic structure and distribution of Parisotoma notabilis (Collembola) in Europe: Cryptic diversity, split of lineages and colonization patterns.

    Genetic structure and distribution of Parisotoma notabilis (Collembola) in Europe: Cryptic diversity, split of lineages and colonization patterns. oleh Helge von Saltzwedel, Stefan Scheu, Ina Schaefer

    Diterbitkan 2017-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

    Experience Report on Formally Verifying Parts of OpenJDK's API with KeY oleh Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

    Diterbitkan 2018-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Evidence for frozen-niche variation in a cosmopolitan parthenogenetic soil mite species (Acari, Oribatida).

    Evidence for frozen-niche variation in a cosmopolitan parthenogenetic soil mite species (Acari, Oribatida). oleh Helge von Saltzwedel, Mark Maraun, Stefan Scheu, Ina Schaefer

    Diterbitkan 2014-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

    Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates oleh Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner

    Diterbitkan 2016-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Die Auswertung qualitativer Daten mit Peerforschenden: Ein Anwendungsbeispiel aus der partizipativen Gesundheitsforschung

    Die Auswertung qualitativer Daten mit Peerforschenden: Ein Anwendungsbeispiel aus der partizipativen Gesundheitsforschung oleh Ina Schaefer, Gesine Bär, die Mitglieder des Forschungsprojektes ElfE

    Diterbitkan 2019-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Repeated convergent evolution of parthenogenesis in Acariformes (Acari)

    Repeated convergent evolution of parthenogenesis in Acariformes (Acari) oleh Patrick Pachl, Matti Uusitalo, Stefan Scheu, Ina Schaefer, Mark Maraun

    Diterbitkan 2021-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    Flexible Correct-by-Construction Programming

    Flexible Correct-by-Construction Programming oleh Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer

    Diterbitkan 2023-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Applicability and perspectives for DNA barcoding of soil invertebrates

    Applicability and perspectives for DNA barcoding of soil invertebrates oleh Jéhan Le Cadre, Finn Luca Klemp, Miklós Bálint, Stefan Scheu, Ina Schaefer

    Diterbitkan 2024-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    Effective purifying selection in ancient asexual oribatid mites

    Effective purifying selection in ancient asexual oribatid mites oleh Alexander Brandt, Ina Schaefer, Julien Glanz, Tanja Schwander, Mark Maraun, Stefan Scheu, Jens Bast

    Diterbitkan 2017-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    Niche dimensions in soil oribatid mite community assembly under native and introduced tree species

    Niche dimensions in soil oribatid mite community assembly under native and introduced tree species oleh Johanna Elisabeth Noske, Jing‐Zhong Lu, Ina Schaefer, Mark Maraun, Stefan Scheu, Ting‐Wen Chen

    Diterbitkan 2024-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  13. 13
    Changes in diversity and community assembly of jumping spiders (Araneae: Salticidae) after rainforest conversion to rubber and oil palm plantations

    Changes in diversity and community assembly of jumping spiders (Araneae: Salticidae) after rainforest conversion to rubber and oil palm plantations oleh André Junggebauer, Tamara R. Hartke, Daniel Ramos, Ina Schaefer, Damayanti Buchori, Purnama Hidayat, Stefan Scheu, Jochen Drescher

    Diterbitkan 2021-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  14. 14
    “Jack‐of‐all‐trades” is parthenogenetic

    “Jack‐of‐all‐trades” is parthenogenetic oleh Mark Maraun, Paul S. P. Bischof, Finn L. Klemp, Jule Pollack, Linnea Raab, Jan Schmerbach, Ina Schaefer, Stefan Scheu, Tancredi Caruso

    Diterbitkan 2022-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  15. 15
    Functional traits in soil-living oribatid mites unveil trophic reorganization in belowground communities by introduced tree species

    Functional traits in soil-living oribatid mites unveil trophic reorganization in belowground communities by introduced tree species oleh Jing-Zhong Lu, Christian Bluhm, Estela Foltran, Carmen Alicia Rivera Pérez, Christian Ammer, Tancredi Caruso, Jonas Glatthorn, Norbert Lamersdorf, Andrea Polle, Dorothee Sandmann, Ina Schaefer, Andreas Schuldt, Mark Maraun, Stefan Scheu

    Diterbitkan 2024-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: