Resultados da busca por Autor

81

Refinement by interpretation in a general setting

por Martins, Manuel A.

Publicado em 2009

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

82

Superior mesenteric artery syndrome in a young woman

por Oliveira, CA

Publicado em 2017

Outros Autores: “...Barbosa, L...”
Acessar documento

Artigo

83

A hilbert-style axiomatisation for equational hybrid logic

por Carreteiro, Marta

Publicado em 2014

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

84

Generalising KAT to verify weighted computations

por Gomes, Leandro

Publicado em 2019

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

85

Introducing synchrony in fuzzy automata

por Gomes, Leandro Rafael Moreira

Publicado em 2020

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

86

Towards an engine for coordination-based architectural reconfigurations

por Rodrigues, Flávio Gonçalves

Publicado em 2015

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

87

The role of logical interpretations on program development

por Martins, Manuel A.

Publicado em 2014

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

88

A taxonomy for planning and designing smart mobility services

por Cledou, Guillermina

Publicado em 2018

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

89

FLOSS communities as learning networks

por Fernandes, Sara

Publicado em 2013

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

90

An exercise on transition systems

por Ribeiro, Paula R.

Publicado em 2008

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

91

Tratamento de macroprolactinoma com cabergolina em adolescente

por Warszawski,Leila

Publicado em 2011

Outros Autores: “...Coelho,Daniela Barbosa L...”
Acessar documento

Artigo

92

Fresh and hardened properties of self-compacting concrete modified with lightweight and recycled aggregates

por ANGELIN,A. F.

Publicado em 2018

Outros Autores: “...BARBOSA,L. A. G....”
Acessar documento

Artigo

93

Foliar anatomy of the species Lantana camara and L. radula (Verbenaceae)

por Passos,J.L.

Publicado em 2009

Outros Autores: “...Barbosa,L.C.A....”
Acessar documento

Artigo

94

STATUS OF THE INVASION OF A POACEAE SPECIES IN TROPICAL SEMIARID RESERVOIRS

por ALVES,R.M.A.

Publicado em 2017

Outros Autores: “...BARBOSA,L.G....”
Acessar documento

Artigo

95

Foliar anatomy of the species Lantana camara and L. radula (Verbenaceae)

por Passos, J.L.

Publicado em 2009

Outros Autores: “...Barbosa, L.C.A....”
Acessar documento (1)
Acessar documento (2)

Artigo

96

Comparative responses of common bean to different sowing dates of green manures.

por FERREIRA, E. P. de B.

Publicado em 2009

Outros Autores: “...BARBOSA, L. H. A....”
Acessar documento

Artigo

97

Thaumastocoris peregrinus.

por SOLIMAN, E. P.

Publicado em 2021

Outros Autores: “...BARBOSA, L. R....”
Acessar documento

Capítulo de livro

98

Teca (Tectona grandis L. f.): principais perguntas do futuro empreendedor florestal.

por FIGUEIREDO, E. O.

Publicado em 2005

Outros Autores: “...BARBOSA, L. K. F....”
Acessar documento

Livro

99

Quantum tree-based planning

por Sequeira, Andre

Publicado em 2021

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo

100

Proof theory for hybrid(ised) logics

por Neves, Renato

Publicado em 2016

Outros Autores: “...Barbosa, L. S....”
Acessar documento

Artigo