1
Assuntos:
“...[pt] SAT SOLVER...”
[en] COMPLIANCE REASONING ON LEGAL NORMS: A LOGIC-BASED APPROACH
Tese
2
Assuntos:
“...[pt] PROBLEMA DE SAT...”
[en] COMBINATORIAL GAMES AND THE NEIGHBORHOOD CONJECTURE
Tese
3
Assuntos:
“...SAT...”
Análise da distribuição do número de operações de resolvedores SAT
Dissertação
4
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação
5
Assuntos:
“...Sátira portuguesa...”
O vervo satírico: provérbio e proverbialização na sátira galego-portuguesa
Dissertação
6
7
Assuntos:
“...Sátira brasileira -...”
Humores linguísticos na televisão brasileira : A comédia da vida privada
Tese
8
9
10
Assuntos:
“...Sat...”
Papel da serinoprotease Sat na patogênese da sepse causada por Escherichia coli.
Tese
11
Assuntos:
“...CALIPSO-CloudSat...”
Clouds and their effects on solar radiation in São Paulo
Dissertação
12
13
14
Assuntos:
“...Sátira...”
Sátira e loucura em dois contos: el licenciado vidriera e o alienista
Dissertação
15
Assuntos:
“...Madame Satã...”
Relatos etnográficos à meia-noite: o universo estético dos góticos na cidade de São Paulo
Dissertação
16
Assuntos:
“...Sátira...”
Edição e estudo das Sátiras, epigramas e outras poesias, do Padre José Joaquim Correia de Almeida
Tese
17
Assuntos:
“...Sátira galego-portuguesa – Lourenço...”
O trobar do segrel Lourenço nas tenções galego-portuguesas : uma retórica da impertinência
Tese
18
Assuntos:
“...Humor, sátira, etc....”
Legendas e intermediação : humor e sensibilidade em tradução
Dissertação