skip to main content
Mostrar Somente
Refinado por: idioma: Inglês remover tipo de recurso: Produções Técnicas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

The weak-reference interface

Marcus Amorin Leal Roberto Ierusalimschy

Rio de Janeiro PUC 2004

Localização: IME - Inst. Matemática e Estatística    (S M751 2004 v.30 )(Acessar)

2
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

A formal semantics for finalizers

Marcus Amorin Leal Roberto Ierusalimschy

Rio de Janeiro PUC 2005

Localização: IME - Inst. Matemática e Estatística    (S M751 2005 v.19 )(Acessar)

3
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Towards verification and validation of choreographies

Felipe M. Besson Pedro M. B Leal; Fábio Kon 1969-

São Paulo IME-USP 2011

Localização: IME - Inst. Matemática e Estatística    (IME-RT-MAC 2011 v.1 ) e outros locais(Acessar)

4
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Rehearsal a framework for automated testing of choreographies

Felipe M Besson Pedro M. B Leal; Fábio Kon 1969-

São Paulo IME-USP 2012

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2011 v.5 )(Acessar)

5
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Transport barriers in symplectic maps

R. L. Viana A. M Batista; C. V Abud; A. B Schelin; M Mugnaine; M. S Santos; Bruno Borges Leal; Bruno Figueiredo Bartoloni; Jose D Szezech Jr.; A. C Mathias; J. V Gomes; P. J Morrison; Iberê Luiz Caldas

São Paulo 2021

Item não circula. Consulte sua biblioteca.(Acessar)

6
Water in Urban Regions building Future Knowledge to Integrate Land Use, Ecosystem Services and Human Health
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Water in Urban Regions building Future Knowledge to Integrate Land Use, Ecosystem Services and Human Health

Carmen Anthonj Samuel Beskow; Fernando Dornelles; Angela Terumi Fujita; Caroline Alves Galharte; Petrus Galvão; Daniel Grabner; Pedro Gatti Junior; Björn Gücker; Anke Hildebrandt; Daniel Karthe; Saskia Knillmann; Panagiota Kotsila; Kinga Krauze; Antonio Kledson Leal Silva; Paul Lehmann; Priscilla Moura; Natalia Andricioli Periotto; Jorge Luiz Rodrigues Filho; Debora Regina Lopes dos Santos; Florian Selge; Talita Silva; Raquel M Soares; Michael Strohbach; Alexandra Vieira Suhogusoff 1981-; Ingo Wahnfried; Eugenia Zandonà; Ingo Zasada

Science policy report Deutsche Akademie der Naturforscher Leopoldina e.V. 32 p, November 2014

Berlin Deutsche Akademie der Naturforscher Leopoldina e.V. 2014

Acesso online

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)
  2. Disponível na Biblioteca (4)

Data de Publicação 

De até
  1. Antes de2005  (1)
  2. 2005Até2010  (1)
  3. 2011Até2011  (1)
  4. 2012Até2014  (2)
  5. Após 2014  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Kon, F
  2. Besson, F
  3. Ierusalimschy, R
  4. Leal, P
  5. Leal, M

Buscando em bases de dados remotas. Favor aguardar.