Uppsala

Results: 2390



#Item
1Computer programming / Declarative programming / Theoretical computer science / Logic in computer science / Cryptography / Satellite broadcasting / Scrambler / Telecommunications equipment / Satisfiability modulo theories / Scrambling / Monad / Benchmark

Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2016-07-01 09:29:03
2Software engineering / Computing / Programming language theory / Type theory / Formal methods / Functional languages / Procedural programming languages / Data types / Type system / F Sharp / HindleyMilner type system / First-order logic

Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2012-02-28 13:28:34
3

PDF Document

Add to Reading List

Source URL: uppsala.pwch.dk

- Date: 2017-07-05 07:38:48
    4

    PDF Document

    Add to Reading List

    Source URL: uppsala.pwch.dk

    - Date: 2011-01-06 14:08:28
      5

      PDF Document

      Add to Reading List

      Source URL: uppsala.pwch.dk

      - Date: 2011-01-06 14:08:25
        6

        PDF Document

        Add to Reading List

        Source URL: uppsala.pwch.dk

        - Date: 2011-01-06 14:08:31
          7

          PDF Document

          Add to Reading List

          Source URL: uppsala.pwch.dk

          - Date: 2011-01-06 14:08:25
            8

            Statement in Durban, October 12, 2004 By Marianne Lidskog, Nordic Africa Institute in Uppsala, Sweden Mrs Chairperson, dear Friends!

            Add to Reading List

            Source URL: scnc.ukzn.ac.za

            Language: English - Date: 2005-08-01 08:14:41
              9

              SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up

              Add to Reading List

              Source URL: user.it.uu.se

              Language: English - Date: 2010-08-07 21:45:25
                10

                Following internal resistance changes in batteries with a versatile intermittent current interruption technique a Matthew J. Lacey Department of Chemistry – Ångström Laboratory, Uppsala University, Box 538,

                Add to Reading List

                Source URL: www.imlb2018.org

                Language: English - Date: 2018-03-29 22:36:10
                  UPDATE