Page 1 from 3,456 hits

Sort by: Relevancy | Currentness | Title

Filter results

Type of material

External sources

Searching...
  1.  

    Priced Timed Automata: Theory and Tools

    Larsen, Kim G. | DataCite | 2009
  2.  

    NASA's Nuclear Thermal Propulsion Project

    Houts, Michael G. / Kim, Tony | AIAA | 2015
  3.  

    WNetKAT: A Weighted SDN Programming and Verification Language

    Larsen, Kim G. / Schmid, Stefan / Xue, Bingtian | DataCite | 2017
  4.  

    Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

    Larsen, Kim G. / Mardare, Radu / Xue, Bingtian | DataCite | 2016
  5.  

    Gentherapie in Deutschland: Von der ersten klinischen Studie bis heute

    Kim, Young / Schmidt-Wolf, Ingo G. H. | Thieme Verlag | 2015
  6.  

    Suitability of hemp seed for reproduction of stored-product insects

    Stadnyk, Kim / White, Noel D. G. / Jian, Fuji et al. | DataCite | 2018
  7.  

    In search of dialogue and discourse in applied clinical informatics

    Kim, G. R. / Lehmann, C. U. | Thieme Verlag | 2009
  8.  

    Concentration Photovoltaic Module Manufacturing and its Performance

    Kim, K.-S. / Kang, G.-H. / Yu, G.-J. | DataCite | 2009
  9.  

    Floating PV Power System Evaluation over Five Years (2011 ~ 2016)

    Won, C.-S. / Lawrence, W. / Kim, D. et al. | DataCite | 2016
  10.  

    Measuring I-V Curve of High and Low Efficiency Photovoltaic Module

    Kim, K.-S. / Kang, G.-H. / Yu, G.-J. et al. | DataCite | 2011
  11.  

    Experimental Study of a Reversible Loop Heat Pipe

    National licence
    Bonghun Kim / G. P. Peterson | AIAA | 2005

Number of results: 10 | 20 | 50