Ė

Results: 760130



#Item
141Declarative programming / Software engineering / Theoretical computer science / Constraint programming / Logic programming / Programming paradigms / Formal methods / Constraint logic programming / Loop invariant / Interpolation / Abstract interpretation / CLP

Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
142

(Microsoft Word - Erläuterungen Kennzahlen E Oktober 2018_20180925)

Add to Reading List

Source URL: www.sif.admin.ch

Language: English
    143

    Exposição Navigator Arte em Papel aberta ao público A The Navigator Company criou este ano, em parceria com o jornal Expresso, o primeiro prémio em Portugal e o maior internacionalmente a valorizar o papel como ferra

    Add to Reading List

    Source URL: www.thenavigatorcompany.com

    Language: Portuguese - Date: 2018-07-18 12:29:41
      144

      Mathers Way Dr Illinois Av e

      Add to Reading List

      Source URL: www.summitcountyboe.com

      Language: English - Date: 2017-09-01 09:50:18
        145

        CA P I TOL E X T ENSION - E 2 ( U N D ERGRO U N D) STAIRS TO LEVEL E1

        Add to Reading List

        Source URL: www.texasbookfestival.org

        - Date: 2018-10-15 11:20:02
          146Computer security / Security engineering / Cyberwarfare / Prevention / Cybercrime / National security / Computer network security / Cyberattack / Capture the flag / Information security / Denial-of-service attack

          Poster: Shell We Play A Game? CTF-as-a-service for Security Education Adam Doup´e and Giovanni Vigna Arizona State University and UC Santa Barbara ,

          Add to Reading List

          Source URL: www.ieee-security.org

          Language: English - Date: 2017-05-13 00:24:26
          147

          m_pi.AOODGEFID.REGISTRO UFFICIALE.U2018 Ministero dell’Istruzione, dell’Università e della Ricerca Dipartimento per la programmazione e gestione delle risorse umane, finanziarie e strumentali Direzio

          Add to Reading List

          Source URL: www.istruzione.it

          Language: Italian - Date: 2018-09-28 04:51:24
            148Benchmark / Standard Performance Evaluation Corporation / European BEST Engineering Competition / Computing / Information and communications technology

            Third International Competition on Runtime Verification (CRV16) Giles Reger, Sylvain Hall´e, Yli`es Falcone RV 2016

            Add to Reading List

            Source URL: www.cs.man.ac.uk

            Language: English - Date: 2016-09-29 14:24:12
            149

            O C T O BE R 2018 V O LU ME 76, N U MB E R 10 MISSISSIPPI’S BUSINESS Monitoring the State’s Economy

            Add to Reading List

            Source URL: www.mississippi.edu

            Language: English - Date: 2018-10-04 10:36:21
              150

              w a d s a c k t r e u h a n d g e s e l l s c h a f t Steuertipps juristische PersonenDarlehen an Aktionäre oder nahestehende Personen: Solange die Gesellschaft das

              Add to Reading List

              Source URL: www.treuhand-zug.com

              Language: German - Date: 2018-03-05 02:45:43
                UPDATE