Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
IEEE software, 2013-05, Vol.30 (3), p.50-57
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Verification of Avionics Software Products
FM 2009: Formal Methods, p.532-546
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Safety Assessment and Probabilities
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 2016, p.213-214
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience : SAFETY-CRITICAL SOFTWARE
IEEE software, 2013, Vol.30 (3), p.50-57
2013
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Genome analysis of the smallest free-living eukaryote Ostreococcus tauri unveils many unique features
Proceedings of the National Academy of Sciences - PNAS, 2006-08, Vol.103 (31), p.11647-11652
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Large-scale identification of genes in the fungus Hebeloma cylindrosporum paves the way to molecular analyses of ectomycorrhizal symbiosis
The New phytologist, 2004-12, Vol.164 (3), p.505-513
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
DNA LIBRARIES FOR SEQUENCING THE GENOME OF OSTREOCOCCUS TAURI (CHLOROPHYTA, PRASINOPHYCEAE): THE SMALLEST FREE-LIVING EUKARYOTIC CELL
Journal of phycology, 2002-12, Vol.38 (6), p.1150-1156
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The First Green Lineage cdc25 Dual-Specificity Phosphatase
Cell cycle (Georgetown, Tex.), 2004-04, Vol.3 (4), p.511-516
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
DNA LIBRARIES FOR SEQUENCING THE GENOME OF OSTREOCOCCUS TAURI (CHLOROPHYTA, PRASINOPHYCEAE): THE SMALLEST FREE‐LIVING EUKARYOTIC CELL1
Journal of phycology, 2002-12, Vol.38 (6), p.1150-1156
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
DNA LIBRARIES FOR SEQUENCING THE GENOME OF OSTREOCOCCUS TAURI (CHLOROPHYTA, PRASINOPHYCEAE): THE SMALLEST FREE‐LIVING EUKARYOTIC CELL 1
Journal of phycology, 2002-12, Vol.38 (6), p.1150-1156
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
DNA libraries for sequencing the genome of Ostreococcus tauri Chlorophytae; Prasinophyceae: the smallest free-living eukaryotic cell
European journal of phycology, 2002-12, Vol.38 (6), p.1150-1156
2002
Volltextzugriff (PDF)
1 – 11 von 11
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen