Moura

Results: 268



#Item
51

Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:04
    52

    PRESERVANDO O SABER EDUCANDO O USUÁRIO: A EXPERIÊNCIA DO SISTEMA DE BIBLIOTECAS DA UFC Ana Lúcia Martins1, Fabíola Maria Pereira Bezerra2, Francisco Feitosa Moura Filho3, Francisco Jonatan Soares 4 1Especialista. Un

    Add to Reading List

    Source URL: www.sibi.ufrj.br

    Language: Portuguese - Date: 2014-09-11 15:36:58
      53

      Ciência para Todos: Novos Talentos no Semiárido Potiguar Felipe de Azevedo Silva Ribeiro, Cristiane de Carvalho Ferreira Lima Moura, Celicina Maria da Silveira Borges Azevedo, Natália Rocha Celedonio, Ana Carla Dióge

      Add to Reading List

      Source URL: seminarios.capes.gov.br

      Language: Portuguese - Date: 2014-11-07 08:39:56
        54

        LEI DE ACESSO À INFORMAÇÃO PÚBLICA E AS BIBLIOTECAS UNIVERSITÁRIAS Novos desafios ao profissional da Informação Maria Aparecida Moura –UFMG

        Add to Reading List

        Source URL: www.bu.ufmg.br

        Language: Portuguese - Date: 2014-12-03 09:40:12
          55

          Deciding Effectively Propositional Logic with Equality Ruzica Piskac EPFL Lausanne Leonardo de Moura

          Add to Reading List

          Source URL: research.microsoft.com

          Language: English - Date: 2008-12-07 19:05:49
            56

            Coroutines in Lua ´ Ana Lucia de Moura , Noemi Rodriguez , Roberto Ierusalimschy Departamento de Inform´atica – PUC-Rio Rua Marques de S˜ao Vicente 225 – Rio de Janeiro, RJ

            Add to Reading List

            Source URL: www.inf.puc-rio.br

            Language: English - Date: 2004-04-14 16:22:59
              57

              Journal of Universal Computer Science, vol. 10, no), submitted: , accepted: , appeared: © J.UCS Coroutines in Lua Ana L´ ucia de Moura

              Add to Reading List

              Source URL: www.jucs.org

              Language: English - Date: 2006-11-02 05:56:46
                58

                Paisagens megalíticas na costa norte do Amapá Paisagens megalíticas na costa norte do Amapá Mariana Petry Cabral1 João Darcy de Moura Saldanha2

                Add to Reading List

                Source URL: www.brasil-turismo.com

                Language: Portuguese - Date: 2015-10-12 17:15:07
                  59

                  Previsão de transporte de partículas naturais com origem em regiões áridas DataEntidade Responsável Agência Portuguesa do Ambiente, IP Prevê-se que Portugal Continental seja influenciado por uma massa

                  Add to Reading List

                  Source URL: www.cm-moura.pt

                  - Date: 2015-05-13 10:33:27
                    60

                      C Â M A R A  M U N I C I P A L  D E  M O U R A  7860  MOURA   

                    Add to Reading List

                    Source URL: www.cm-moura.pt

                    - Date: 2015-03-09 07:03:56
                      UPDATE