−1

Results: 1637835



#Item
221Mathematics / Theoretical computer science / Logic / Automated theorem proving / Logic programming / Complex analysis / Logical truth / Propositional calculus / Substitution / Abstract interpretation / Unification / Term

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
222

1 Tony Levier (LAC) Civ 1-Aug-55

Add to Reading List

Source URL: roadrunnersinternationale.com

Language: English - Date: 2018-04-26 00:37:37
    223

    1/7 Bielmeiers Welt Eine Research-Publikation der DZ BANK AG Auf dem Weg in die

    Add to Reading List

    Source URL: bielmeiersblog.dzbank.de

    Language: German - Date: 2018-06-18 05:30:33
      224Compagnies Rpublicaines de Scurit / National Police

      SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le

      Add to Reading List

      Source URL: sheharbano.com

      Language: English - Date: 2017-02-16 07:58:33
      225Mathematics / Infinite loop / Recursion / Function / Computability theory / Computing

      Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨

      Add to Reading List

      Source URL: seahorn.github.io

      Language: English - Date: 2018-08-03 20:31:21
      226

      汇丰银行 2017 年第 1 期个人大额存单产品说明书(发行条款) 产品信息 产品名称 汇丰银行2017年第1期个人大额存单

      Add to Reading List

      Source URL: www.hsbc.com.cn

      Language: Chinese - Date: 2017-01-22 02:35:55
        227Cryptography / Block cipher modes of operation / Message authentication codes / Galois/Counter Mode / Cipher / Cryptographic hash functions / Block cipher / Stream cipher

        Key Recovery Attack against 2.5-round π-Cipher Christina Boura1 , Avik Chakraborti2 , Ga¨etan Leurent3 , Goutam Paul2 , Dhiman Saha4 , Hadi Soleimany5,6 and Valentin Suder7 1 6

        Add to Reading List

        Source URL: who.rocq.inria.fr

        Language: English - Date: 2018-06-14 07:12:37
        228

        Journeys in World Politics Workshop Articles for discussion from the Chronicle of Higher Education 1) How Babies Alter Careers for AcademicsHaving children often bumps women off the tenure track, a new stud

        Add to Reading List

        Source URL: www.saramitchell.org

        Language: English - Date: 2006-09-07 15:45:10
          229Information technology management / Product development / Project management / Business process management / Economy / Business

          JALIOS CASE STUDY 1 New system from KeyedIn® Projects gives French software publisher Jalios room for growth

          Add to Reading List

          Source URL: go.keyedin.com

          Language: English - Date: 2017-10-06 00:53:55
          230

          Microsoft Word - 716_007_f_V6.1-BBL_

          Add to Reading List

          Source URL: www.arbeit.swiss

          Language: French
            UPDATE