FCT

Results: 1318



#Item
291

Microsoft Word - flyer_f.docx

Add to Reading List

Source URL: www.fct.pt

- Date: 2015-04-15 07:27:01
    292

    Concurso para a criação de um Roteiro Nacional de Infraestruturas de Investigação de Interesse Estratégico 2013 Resultados após Audiência Prévia São objetivos deste concurso avaliar as propostas recebidas com vi

    Add to Reading List

    Source URL: www.fct.pt

    - Date: 2014-07-01 10:15:18
      293

          Certified  INTERFACES   for  Integrity  and   Security  in  Extensible  

      Add to Reading List

      Source URL: ctp.di.fct.unl.pt

      - Date: 2014-03-15 14:49:03
        294

        SICTRelatório Científico Page 1 of 6 FCT Relatório Científico 2011 Print: :50:34 [CENTRO ALGORITMI]

        Add to Reading List

        Source URL: algoritmi.uminho.pt

        - Date: 2012-04-29 12:50:42
          295

          Workshop on “Assessing the Impacts of Public Research Systems” Organisers: FCT and OECD Date: 27-28 April 2015 Venue: Olissippo Oriente Hotel, Av. Dom João II, Parque das Nações Lisboa, Portugal

          Add to Reading List

          Source URL: www.fct.pt

          - Date: 2015-05-11 11:42:21
            296

            Guide for writing and submitting applications for the FCT Investigator Grants Introduction This guide for writing and submitting an application for the FCT Investigator Grants is intended to guide you through the applica

            Add to Reading List

            Source URL: www.fct.pt

            - Date: 2013-11-15 11:34:09
              297

              DTerMed_2015_142_Deleg_fct_courant_20150511_vp

              Add to Reading List

              Source URL: www.cerema.fr

              - Date: 2015-05-11 07:56:36
                298

                Logical Semantics of Types for Concurrency Lu´ıs Caires CITI / Departamento de Inform´ atica, Universidade Nova de Lisboa, Portugal Abstract. We motivate and present a logical semantic approach to

                Add to Reading List

                Source URL: ctp.di.fct.unl.pt

                - Date: 2012-12-27 17:00:49
                  299

                  Linear Logical Relations for Session-Based Concurrency Jorge A. P´erez1 , Lu´ıs Caires1 , Frank Pfenning2 , and Bernardo Toninho1,2 1 CITI and Departamento de Inform´atica, FCT, Universidade Nova de Lisboa 2

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2012-01-18 10:09:16
                    300

                    ESF - External Peer Review SupportEvaluation of FCT Research and Development Units Review process - Stage 1 ESF internal Project Ref Number:

                    Add to Reading List

                    Source URL: www.idmec.ist.utl.pt

                    - Date: 2014-10-08 06:00:46
                      UPDATE