Taha

Results: 151



#Item
41

DEPARTMENT OF EDUCATION AND COMMUNITIES Tangi ‘i ha tu’utu’uni ke tuli-fakataimi pe tuli-‘aupito ha toko taha ako mei ha ‘apiako ‘a e Pule’anga NSW Appeal against a decision to suspend or expel a student fr

Add to Reading List

Source URL: www.schools.nsw.edu.au

Language: Estonian - Date: 2014-11-02 01:10:08
    42Islam / Religious education / Aljunied / Education / Madrasah / Abu Bakar bin Taha / Madrasah Al-Maarif Al-Islamiah / Deobandi / Madrasah Al-Irsyad Al-Islamiah / Madrassas

    DOC Document

    Add to Reading List

    Source URL: moe.gov.sg

    Language: English - Date: 2015-04-13 00:20:05
    43Computer science / Models of computation / Theoretical computer science / Formal methods / Computability theory / Lambda calculus / Actor model / Type safety / Programming language / Software engineering / Computing / Programming paradigms

    Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University.

    Add to Reading List

    Source URL: www.cs.rice.edu

    Language: English - Date: 2004-09-07 10:26:57
    44Computability theory / Theoretical computer science / Models of computation / Type theory / Logic in computer science / Monad / Lambda calculus / Functional programming / Type system / Software engineering / Computing / Computer programming

    Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu

    Add to Reading List

    Source URL: www.cs.rice.edu

    Language: English - Date: 2002-02-25 08:31:05
    45Digital typography / Orthography / World glyph set / Latin-derived alphabet / Latin alphabets / Character encoding / Latin script

    A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial Extended Abstract Walid Taha Department of Computing Science

    Add to Reading List

    Source URL: www.cs.rice.edu

    Language: English - Date: 2001-11-29 21:10:43
    46Programming language semantics

    Gradual Typing: Isabelle/Isar Formalization Jeremy Siek and Walid Taha April 7, 2006 theory GradualTyping = Main + LaTeXsugar + OptionalSugar : datatype base-ty

    Add to Reading List

    Source URL: www.cs.colorado.edu

    Language: English - Date: 2006-08-17 16:43:12
      47

      Real-Time FRP Zhanyong Wan Walid Taha 

      Add to Reading List

      Source URL: www.cs.rice.edu

      Language: English - Date: 2001-11-29 21:10:11
        48Politics / Abyei / Comprehensive Peace Agreement / John Garang / Ali Osman Taha / War in Darfur / National Congress / Salva Kiir Mayardit / Southern Sudanese independence referendum / Second Sudanese Civil War / Africa / Sudan

        KEYNOTE SPEECH OF H. E. GEN. SLAVA KIIR MAYARDIT, FIRST VICE PRESIDENT OF THE REPUBLIC OF THE SUDAN AND PRESIDENT OF THE GOVERNMENT OF SOUTHERN SUDAN ON THE OCCASION OF THE CELEBERATIONS OF THE 4TH ANNIVERSARY OF THE SIG

        Add to Reading List

        Source URL: www.splmtoday.com

        Language: English - Date: 2012-02-20 18:19:28
        49

        Standardboks sisaldab stendi külgseinaelemendid otsalaud (sh. kaarotsalaud) vaipkate kohtvalgustus (otsalaua taha 1 kohtvalgusti stendipinna iga 4m2 kohta, 2m2 stendi korral 1 kohtvalgusti ja 6 m2 stendi korral 2 kohtv

        Add to Reading List

        Source URL: www.teeviit.ee

        - Date: 2014-09-25 04:36:44
          50Human–computer interaction / Google Trends / Twitter / Wikipedia / Google / Liberal Democrats / United Kingdom general election / Pirate Party / World Wide Web / Computing / Technology

          Can electoral popularity be predicted using socially generated big data? Taha Yasseri Oxford Internet Institute, University of Oxford, 1 St Giles’, OX1 3JS Oxford, UK

          Add to Reading List

          Source URL: arxiv.org

          Language: English - Date: 2013-12-10 20:21:51
          UPDATE