type XI

Results: 31



#Item
1Human a1b3c2L gamma-aminobutyric acid type A receptors: High-level production and purification in a functional state Zuzana Dostalova,1,2 Xiaojuan Zhou,1 Aiping Liu,1 Xi Zhang,1,2 Yinghui Zhang,1,2 Rooma Desai,1 Stuart A

Human a1b3c2L gamma-aminobutyric acid type A receptors: High-level production and purification in a functional state Zuzana Dostalova,1,2 Xiaojuan Zhou,1 Aiping Liu,1 Xi Zhang,1,2 Yinghui Zhang,1,2 Rooma Desai,1 Stuart A

Add to Reading List

Source URL: www.ncbi.nlm.nih.gov

Language: English
2Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University

Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 1999-11-28 18:07:44
3Alison Welsby, A Textual Study of Family 1 in the Gospel of John, Arbeiten zur neutestamentlichen Textforschung 45, Berlin-Boston: Walter de Gruyter, 2014. Pp. xi + 229. ISBN4. Hardcover, €119,95/$168.

Alison Welsby, A Textual Study of Family 1 in the Gospel of John, Arbeiten zur neutestamentlichen Textforschung 45, Berlin-Boston: Walter de Gruyter, 2014. Pp. xi + 229. ISBN4. Hardcover, €119,95/$168.

Add to Reading List

Source URL: rosetta.reltech.org

Language: English - Date: 2014-06-07 06:17:23
4A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University

A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-08-25 14:30:22
5TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany

TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-01-25 16:18:54
6RIGHT SIDE OF ROADWAY LEFT SIDE OF ROADWAY NOTES 1. TYPE IX OR XI REFLECTIVE SHEETING, 4

RIGHT SIDE OF ROADWAY LEFT SIDE OF ROADWAY NOTES 1. TYPE IX OR XI REFLECTIVE SHEETING, 4" STRIPES, BLACK ON FLUORESCENT

Add to Reading List

Source URL: apps.roads.maryland.gov

Language: English - Date: 2012-08-27 09:33:30
    7Applied Type System? (Extended Abstract) Hongwei Xi Boston University Abstract. The framework Pure Type System (PTS) offers a simple

    Applied Type System? (Extended Abstract) Hongwei Xi Boston University Abstract. The framework Pure Type System (PTS) offers a simple

    Add to Reading List

    Source URL: www.ats-lang.org

    Language: English - Date: 2016-02-11 08:51:07
      8REGISTRATION FORM XI. TIBHAR CUP VETERANS TABLE TENNIS COMPETITION HUNGARY, LAKE BALATON 31st JULY 1,2nd AUGUST 2015 PLEASE TYPE OR PRINT IN BLOCK LETTERS

      REGISTRATION FORM XI. TIBHAR CUP VETERANS TABLE TENNIS COMPETITION HUNGARY, LAKE BALATON 31st JULY 1,2nd AUGUST 2015 PLEASE TYPE OR PRINT IN BLOCK LETTERS

      Add to Reading List

      Source URL: www.otcnederland.com

      Language: English - Date: 2014-12-26 05:30:01
        9MAYO COLLEGE, AJMER SYLLABUS SESSION: CLASS: XI (SUBJECT: Computer Science) Programming Language: C++

        MAYO COLLEGE, AJMER SYLLABUS SESSION: CLASS: XI (SUBJECT: Computer Science) Programming Language: C++

        Add to Reading List

        Source URL: www.mayocollege.com

        Language: English - Date: 2015-03-09 00:12:34
        10Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi

        Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi

        Add to Reading List

        Source URL: cs-www.bu.edu

        Language: English - Date: 2010-01-25 12:25:56