Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
419 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

Publikation

Sprache

Geographischer Bezug

419 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Coq Formalization of the Relational Data Model
    Benzaken, Véronique ; Contejean, Évelyne ; et al.
    In: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 189-208 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642548321 9783642548338; (2014)
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Psychosocial determinants of sleep difficulties in adolescence: the role of perceived support from family, peers, and school in an Italian HBSC sample
    Benzi, Ilaria Maria Antonietta ; Gallus, Silvano ; et al.
    In: Eur J Pediatr, 2023
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formalising and Verifying Reference Attribute Grammars in Coq
    Schäfer, Max ; Ekman, Torbjörn ; et al.
    In: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 143-159 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642005893 9783642005909; (2009)
    Buch
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Bar-Hillel Theorem Mechanization in Coq
    Bozhko, Sergey ; Khatbullina, Leyla ; et al.
    In: Logic, Language, Information, and Computation ; Lecture Notes in Computer Science ; page 264-281 ; ISSN 0302-9743 1611-3349 ; ISBN 9783662595329 9783662595336; (2019)
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    COVID-19 lockdown impact on familial relationships and mental health in a large representative sample of Italian adults
    Zeduri, Margherita ; Vigezzi, Giacomo Pietro ; et al.
    In: Soc Psychiatry Psychiatr Epidemiol, 2022
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A verified model checker for the modal Μ-calculus in Coq
    Sprenger, Christoph
    In: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 167-183 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540643562 9783540697534; (1998)
    Buch
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Coqoon ; An IDE for Interactive Proof Development in Coq
    Faithfull, Alexander ; Bengtson, Jesper ; et al.
    In: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 316-331 ; ISSN 0302-9743 1611-3349 ; ISBN 9783662496732 9783662496749; (2016)
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Determination of jet calibration and energy resolution in proton–proton collisions at s = 8 TeV using the ATLAS detector
    Aaboud, M. ; Aad, G. ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Measurement of long-range two-particle azimuthal correlations in Z -boson tagged pp collisions at s = 8 and 13 TeV
    Aaboud, M. ; Aad, G. ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Verifying Fast and Sparse SSA-Based Optimizations in Coq
    Demange, Delphine ; Pichardie, David ; et al.
    In: Lecture Notes in Computer Science ; Compiler Construction ; page 233-252 ; ISSN 0302-9743 1611-3349; (2015)
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Organisational and Activational Effects of Prenatal Exposure to Testosterone on Lateralisation in the Domestic Chicken (Gallus gallus domesticus)
    Riedstra, Bernd J. ; Pfannkuche, Kristina A. ; et al.
    In: Behavioral Lateralization in Vertebrates ; page 87-105 ; ISBN 9783642302022 9783642302039; (2012)
    Buch
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Measurements of top-quark pair spin correlations in the e μ channel at s = 13 TeV using pp collisions in the ATLAS detector
    Aaboud, M. ; Aad, G. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Measurement of K S 0 and Λ 0 production in t t ¯ dileptonic events in pp collisions at s = 7 TeV with the ATLAS detector
    Aad, G. ; Abbott, B. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Measurement of the cross-section and charge asymmetry of W bosons produced in proton–proton collisions at s = 8 TeV with the ATLAS detector
    Aad, G. ; Abbott, B. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Determination of jet calibration and energy resolution in proton–proton collisions at s = 8 TeV using the ATLAS detector
    Aaboud, M. ; Aad, G. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Measurement of distributions sensitive to the underlying event in inclusive Z boson production in pp collisions at s = 13 TeV with the ATLAS detector
    Aad, G. ; Abbott, B. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Search for excited electrons singly produced in proton–proton collisions at s = 13 Te with the ATLAS experiment at the LHC
    Aaboud, M. ; Aad, G. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Measurements of top-quark pair spin correlations in the e μ channel at s = 13 TeV using pp collisions in the ATLAS detector
    Aaboud, M. ; Aad, G. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Measurements of top-quark pair spin correlations in the e μ channel at s = 13 TeV using pp collisions in the ATLAS detector
    Aaboud, M. ; Aad, G. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Measurement of fiducial and differential W + W - production cross-sections at s = 13 TeV with the ATLAS detector
    Aaboud, M. ; Aad, G. ; et al.
    2020
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -