BRICS

Results: 891



#Item
421

BRICS Basic Research in Computer Science BRICS RS-00-5 Damg˚ard & Jurik: Efficient Protocols based on Probabilistic Encryption

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2000-03-10 05:29:11
    422

    BRICS Basic Research in Computer Science BRICS RSA. Ing´olfsd´ottir: A Semantic Theory for Value–Passing Processes Based on the Late Approach A Semantic Theory for

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2003-04-12 05:45:30
      423

      http://www.brics.dk/~amoeller/WWW/print/pages.html

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2002-06-28 09:15:04
        424

        BRICS RS-07-2 Aceto & Ing´olfsd´ottir: Characteristic Formulae: From Automata to Logic BRICS Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2007-01-18 02:32:43
          425

          BRICS RSBRICS Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2005-10-07 07:49:50
            426

            BRICS NS-05-5 Cousot et al. (eds.): GETCO ’05 Preliminary Proceedings BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2005-08-03 09:04:08
              427

              BRICS RS-07-3 Aceto et al.: Ready To Preorder: Get Your BCCSP Axiomatization for Free! BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2007-03-26 16:46:25
                428

                BRICS Basic Research in Computer Science BRICS RSDanvy & Nielsen: A First-Order One-Pass CPS Transformation A First-Order One-Pass

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2002-01-21 10:15:50
                  429

                  BRICS Basic Research in Computer Science BRICS RS-98-9 Z. Yang: Encoding Types in ML-like Languages

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1998-07-27 08:15:59
                    430

                    DRAFT ARTICLE FOR THE DIPLOMAT EMBASSY IN ASTANA CONVENES A BRICS FEEDBACK SEMINAR ON 23 APRIL 2013 On 23 April 2013 the South African Embassy in Astana, Kazakhstan, convened a Seminar in Astana to give feedback to embas

                    Add to Reading List

                    Source URL: www.dirco.gov.za

                    Language: English - Date: 2013-11-20 04:59:42
                      UPDATE