-
20241
-
20242
-
20243
-
20244
-
20245
-
20246
-
20247
-
20248
-
20249
-
20250
-
20251
-
20252
-
20253
-
20254
-
20255
-
20256
-
20257por Barrocas, Samuel Lincoln Magalhães., Oliveira, Marcel Vinicius Medeiros., Universidade Federal do Rio Grande do Norte.“...¬pecificações formais para código que recebe uma especificação em Circus como entrada, e traduz a especificação...”
Mais informações
Dissertação -
20258
-
20259
-
20260
-
20261por Pixinguinha, Meneses Filho, Cardoso de., Gonzaga, Francisca, Vieira, Valério., Sacramento, Paulino., Cavalcanti, Aurélio., Medeiros, Anacleto de., Taborda, Amadeu., Pery, Aristóteles de Magalhães., Nazareth, Ernesto, Sandim, Álvaro., Álvares, Mário., Bonafous, Cesare., Almeida, Irineu de., Marques, Felisberto., Júnior, Costa., Sampaio, Luiz Nunes., Hourcades, Zeferino., Dourado, Henrique Nepomuceno., Barbosa, José Soares., Eduardinho Violão., Nascimento, Balduíno R. do., Borges, Aristide., Jacob do BandolinMais informações
Partitura -
20262
-
20263
-
20264
-
20265
-
20266
-
20267
-
20268“...) unidimensional usando o método Monte Carlo, simulando-o para vários tamanhos de rede e diferentes tempos de...”
Mais informações
Dissertação -
20269
-
20270“...Resumo: Neste trabalho será descrita uma arquitetura de agente robótico autônomo projetada para ser...”
Mais informações
Dissertação -
20271
-
20272
-
20273
-
20274
-
20275
-
20276
-
20277
-
20278
-
20279por Reis, Mônica Karina Santos., Almeida, Maria da Conceição Xavier de, Universidade Federal do Rio Grande do Norte.“... Prigogine, Giorgio Agamben, Vandana Shiva, Pierre Levy, Umberto Eco, Roger Chartier, para a construção do...”
Mais informações
Dissertação -
20280