Page 1 from 466 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

External sources

Searching...
  1.  

    Interpolation and SAT-Based Model Checking

    McMillan, K. L. | British Library Online Contents | 2003
    Contributors: Hunt, W. A.
  2.  

    Interpolation and SAT-Based Model Checking

    McMillan, K. L. | British Library Conference Proceedings | 2003
    Contributors: HuntJr, W. A.
  3.  

    Compact and low-power continuous-time derivative circuit

    Singireddy, A / McMillan, K R / Graham, D W | Online Contents | 2011
  4.  

    Array Abstractions from Proofs

    Jhala, R. / McMillan, K. L. | British Library Online Contents | 2007
    Contributors: Damm, W.
  5.  

    Cerebral hemorrhage due to internal jugular vein stenosis in a hemodialysis patient

    Saha, M. K. / Hamieh, T. / Larkin, B. et al. | British Library Online Contents | 2012
  6.  

    Supra-gingival microbiota in Sjögren’s syndrome

    Leung, K. C. / Leung, W. K. / McMillan, A. S. | British Library Online Contents | 2007
  7.  

    Sjogren's syndrome sufferers have increased oral yeast levels despite regular dental care

    Leung, K. / McMillan, A. / Cheung, B. et al. | British Library Online Contents | 2008
  8.  

    Temporal changes in hamlet communities (hypoplectrus spp., serranidae) over 17 years

    Hench, K. / Mcmillan, W. O. / Betancur‐R, R. et al. | British Library Online Contents | 2017
  9.  

    SPICE-compatible modelling technique for simulating floating-gate transistors

    Rapp, S J / McMillan, K R / Graham, D W | Online Contents | 2011
  10.  

    Ethnolinguistic Diversity, Government, and Growth

    Masters, W. A. / McMillan, M. S. | British Library Conference Proceedings | 2004
    Contributors: Salter, F. K.
  11.  

    The V108M mutation decreases the structural stability of catechol O-methyltransferase

    Rutherford, K. / Alphandéry, E. / McMillan, A. et al. | British Library Online Contents | 2008
  12.  

    Automated Assumption Generation for Compositional Verification

    Gupta, A. / McMillan, K. L. / Fu, Z. | British Library Online Contents | 2007
    Contributors: Damm, W.
  13.  

    Amorphous semiconductors: a review of current theories

    National licence
    REVIEW ARTICLE
    K Hulls / P W McMillan | IOP Institute of Physics | 1972
  14.  

    NETWORK QUALITY AS SERVICE

    WILLIAMS MATTHEW R / MOHAN K VEMULAPALI / HOME MARTIN W et al. | European Patent Office | 2013
  15.  

    Network Quality as a Service

    WILLIAMS MATTHEW R / VEMULAPALI MOHAN K / HORNE MARTIN W et al. | European Patent Office | 2013
  16.  

    Coeliac disease-associated antibodies correlate with psoriasis activity

    Woo, W. K. / Mcmillan, S. A. / Watson, R. G. et al. | British Library Online Contents | 2004

Number of results: 10 | 20 | 50