Showing 1 - 20 results of 56 for search 'Finkbeiner, T', सवाल का समय: 0.03सेकंड परिणाम को परिष्कृत करें
  1. 1
    Quotational nicknames in German at the interface between syntax, punctuation, and pragmatics

    Quotational nicknames in German at the interface between syntax, punctuation, and pragmatics द्वारा Finkbeiner Rita

    प्रकाशित 2023-03-01
    पूर्ण पाठ प्राप्त करें
    लेख
  2. 2
    Introduction to matrices and linear transformations /

    Introduction to matrices and linear transformations / द्वारा 314367 Finkbeiner, Daniel Talbot

    प्रकाशित 1960
  3. 3
    Elements of linear algebra /

    Elements of linear algebra / द्वारा 314367 Finkbeiner, Daniel Talbot

    प्रकाशित 1972
  4. 4
    Introduction to matrices and linear transformations /

    Introduction to matrices and linear transformations / द्वारा 314367 Finkbeiner, Daniel Talbot

    प्रकाशित 1978
  5. 5
    Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

    Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds द्वारा Lars Kuhtz, Bernd Finkbeiner

    प्रकाशित 2012-10-01
    पूर्ण पाठ प्राप्त करें
    लेख
  6. 6
    The Ubiquitin-Proteasome Pathway in Huntington's Disease

    The Ubiquitin-Proteasome Pathway in Huntington's Disease द्वारा Siddhartha Mitra, Steven Finkbeiner

    प्रकाशित 2008-01-01
    पूर्ण पाठ प्राप्त करें
    लेख
  7. 7
    HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

    HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems द्वारा Raven Beutner, Bernd Finkbeiner

    प्रकाशित 2023-05-01
    पूर्ण पाठ प्राप्त करें
    लेख
  8. 8
    Subsequence Invariants

    Subsequence Invariants द्वारा Dräger, K, Finkbeiner, B

    प्रकाशित 2008
    Conference item
  9. 9
    Subsequence Invariants

    Subsequence Invariants द्वारा Dräger, K, Finkbeiner, B

    प्रकाशित 2008
    Report
  10. 10
    ABC's of cultural understanding and communication :$bnational and international adaptations /

    ABC's of cultural understanding and communication :$bnational and international adaptations / द्वारा Schmidt, Patricia Ruggiano, 1944-, Finkbeiner, Claudia

    प्रकाशित 2006
  11. 11
    Updated data and characterization factors of the criticality assessment for the integrated method to assess resource efficiency (ESSENZ and ESSENZ+)

    Updated data and characterization factors of the criticality assessment for the integrated method to assess resource efficiency (ESSENZ and ESSENZ+) द्वारा Vanessa Bach, Sylvia Marinova, Matthias Finkbeiner

    प्रकाशित 2024-09-01
    पूर्ण पाठ प्राप्त करें
    लेख
  12. 12
    A life cycle assessment of vegan dog food

    A life cycle assessment of vegan dog food द्वारा Lena Jarosch, Vanessa Bach, Matthias Finkbeiner

    प्रकाशित 2024-09-01
    पूर्ण पाठ प्राप्त करें
    लेख
  13. 13
    Directed Model Checking with Distance−Preserving Abstractions

    Directed Model Checking with Distance−Preserving Abstractions द्वारा Dräger, K, Finkbeiner, B, Podelski, A

    प्रकाशित 2006
    Conference item
  14. 14
    Directed model checking with distance−preserving abstractions

    Directed model checking with distance−preserving abstractions द्वारा Dräger, K, Finkbeiner, B, Podelski, A

    प्रकाशित 2009
    Journal article
  15. 15
    Diffusion-HMC: Parameter Inference with Diffusion-model-driven Hamiltonian Monte Carlo

    Diffusion-HMC: Parameter Inference with Diffusion-model-driven Hamiltonian Monte Carlo द्वारा Nayantara Mudur, Carolina Cuesta-Lazaro, Douglas P. Finkbeiner

    प्रकाशित 2024-01-01
    पूर्ण पाठ प्राप्त करें
    लेख
  16. 16
    SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems

    SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems द्वारा Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H

    प्रकाशित 2010
    Conference item
  17. 17
    Slicing Abstractions

    Slicing Abstractions द्वारा Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H

    प्रकाशित 2007
    Conference item
  18. 18
    Slicing Abstractions

    Slicing Abstractions द्वारा Brückner, I, Dräger, K, Finkbeiner, B, Wehrheim, H

    प्रकाशित 2008
    Journal article
  19. 19
    The primary data share indicator for supply chain specificity in product carbon footprinting

    The primary data share indicator for supply chain specificity in product carbon footprinting द्वारा Peter Holzapfel, Vanessa Bach, Florian Ansgar Jaeger, Matthias Finkbeiner

    प्रकाशित 2024-09-01
    पूर्ण पाठ प्राप्त करें
    लेख
  20. 20
    Rock mechanical properties of immature, organic-rich source rocks and their relationships to rock composition and lithofacies

    Rock mechanical properties of immature, organic-rich source rocks and their relationships to rock composition and lithofacies द्वारा Abu-Mahfouz, IS, Iakusheva, R, Finkbeiner, T, Cartwright, J, Vahrenkamp, V

    प्रकाशित 2023
    Journal article

खोज साधन: