Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
22 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

22 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Drosophila screen for neural proliferation mutants identifies qless, a gene required for CoQ synthesis
    Grant, Jennifer
    2008
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Practical and representative methods to assess skeletal muscle redox status in an ageing population
    Simpson, Nikki Lynne ; Fogarty, Mark C. ; et al.
    2019
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Automating proofs with state machine inference
    Gransden, Thomas Glenn ; Walkinshaw, Neil ; et al.
    2017
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Mechanisms of renal ageing in a rodent model of developmental programming arising from early catch-up growth
    Tilgner, Katharina Dorothea ; Poston, Lucilla ; et al.
    2016
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Towards a verified determinacy analysis for Prolog including cut
    Kriener, Jael Elisabeth
    2014
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Automating C++ execution exploration to solve the out-of-thin-air problem
    Cooksey, Simon ; Batty, Mark
    2022
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Ubiquinone reacts with nitric oxide to prevent the activity of purified complex I
    Teran Torres, Enrique Eduardo
    2001
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Tools and techniques for machine-assisted meta-theory
    Adams, Andrew
    1997
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    The semantics of multicopy atomic ARMv8 and RISC-V
    Pulte, Christopher ; Sewell, Peter Michael
    2019
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A strategic approach to failure mitigation : a study of project and quality management in five projects
    Abd Razak, Diyana Syafiqah Binti
    2019
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Subtyping in signatures
    Lungu, Georgiana
    2018
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Automatic generation of proof terms in dependently typed programming languages
    Slama, Franck ; Brady, Edwin
    2018
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Fibred computational effects
    Ahman, Danel ; Plotkin, Gordon ; et al.
    2017
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A type-safe apparatus executing higher order functions in conjunction with hardware error tolerance
    Kimmitt, Jonathan R. R.
    2015
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
    George, Samuel R. J.
    2014
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Refactoring proofs
    Whiteside, Iain Johnston ; Dixon, Lucas ; et al.
    2013
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A linear logic approach to RESTful web service modelling and composition
    Zhao, Xia
    2013
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Supporting dependently typed functional programming with proof automation and testing
    Wilson, Sean ; Fleuriot, Jacques. ; et al.
    2011
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Specification, implementation and verification of refactorings
    Schaefer, Max ; de Moor, Oege
    2010
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Gradual computerisation and verification of mathematics : MathLang's path into Mizar
    Retel, Krzysztof ; Kamareddine, Fairouz ; et al.
    2009
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -