Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
![]() |
The weak-reference interfaceMarcus Amorin Leal Roberto IerusalimschyRio de Janeiro PUC 2004Localização: IME - Inst. Matemática e Estatística (S M751 2004 v.30 )(Acessar) |
2 |
Material Type: Relatório Técnico
|
![]() |
A formal semantics for finalizersMarcus Amorin Leal Roberto IerusalimschyRio de Janeiro PUC 2005Localização: IME - Inst. Matemática e Estatística (S M751 2005 v.19 )(Acessar) |
3 |
Material Type: Relatório Técnico
|
![]() |
Towards verification and validation of choreographiesFelipe M. Besson Pedro M. B Leal; Fábio Kon 1969-São Paulo IME-USP 2011Localizaçã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
|
![]() |
Rehearsal a framework for automated testing of choreographiesFelipe M Besson Pedro M. B Leal; Fábio Kon 1969-São Paulo IME-USP 2012Localização: IME - Inst. Matemática e Estatística (RT-MAC 2011 v.5 )(Acessar) |
5 |
Material Type: Relatório Técnico
|
![]() |
Transport barriers in symplectic mapsR. 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 CaldasSão Paulo 2021Item não circula. Consulte sua biblioteca.(Acessar) |
6 |
Material Type: Relatório Técnico
|
![]() |
Water in Urban Regions building Future Knowledge to Integrate Land Use, Ecosystem Services and Human HealthCarmen 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 ZasadaScience policy report Deutsche Akademie der Naturforscher Leopoldina e.V. 32 p, November 2014Berlin Deutsche Akademie der Naturforscher Leopoldina e.V. 2014Acesso online |