SAN PIETRO, PIERLUIGI
 Distribuzione geografica
Continente #
AS - Asia 69
NA - Nord America 57
SA - Sud America 24
EU - Europa 11
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 0
Totale 162
Nazione #
US - Stati Uniti d'America 48
SG - Singapore 37
BR - Brasile 17
HK - Hong Kong 10
VN - Vietnam 8
CN - Cina 7
FR - Francia 5
AR - Argentina 4
CA - Canada 4
EC - Ecuador 2
GB - Regno Unito 2
NP - Nepal 2
AL - Albania 1
BB - Barbados 1
BE - Belgio 1
DE - Germania 1
HN - Honduras 1
IN - India 1
JO - Giordania 1
MX - Messico 1
NI - Nicaragua 1
PY - Paraguay 1
QA - Qatar 1
RU - Federazione Russa 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 162
Città #
Singapore 21
Hong Kong 10
San Jose 6
Lauterbourg 5
Ashburn 4
Los Angeles 3
Santa Clara 3
Beijing 2
Buffalo 2
Council Bluffs 2
Covina 2
Hanoi 2
Ho Chi Minh City 2
Kathmandu 2
New York 2
Toronto 2
Amman 1
Aracati 1
Bear 1
Bonito 1
Bridgetown 1
Brussels 1
Bukhara 1
Bắc Ninh 1
Caetanópolis 1
Charlotte 1
Chicago 1
Chillanes 1
Ciudad del Este 1
Comodoro Rivadavia 1
Da Nang 1
Dallas 1
Delhi 1
Doha 1
Doncaster 1
Easton 1
El Progreso 1
Elk Grove Village 1
Flushing 1
Fowler 1
Gary 1
Gravataí 1
Guayaquil 1
Hazleton 1
Hải Dương 1
Ibirapitanga 1
Ipatinga 1
Johannesburg 1
Laferrere 1
Managua 1
Manchester 1
Mar del Plata 1
Moscow 1
Nakhon Phanom 1
Nova Russas 1
Parnamirim 1
Pedreira 1
Phoenix 1
Phú Thọ 1
Piaçabuçu 1
Plymouth 1
Port Orange 1
Port of Spain 1
Queens 1
Saint Paul 1
Santa Maria do Pará 1
Santo André 1
Sete Lagoas 1
Solânea 1
Sorocaba 1
São José dos Campos 1
The Bronx 1
Tirana 1
Uberlândia 1
Windsor 1
Woking 1
Xalapa 1
Totale 131
Nome #
Strict local testability with consensus equals regularity, and other properties 42
A scalable formal method for design and automatic checking of user interfaces 37
Associative language descriptions 31
Consensual languages and matching finite-state computations 27
Bounded satisfiability checking of metric temporal logic specifications 25
Totale 162
Categoria #
all - tutte 774
article - articoli 774
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.548


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202556 1 0 9 2 0 0 3 3 0 8 11 19
2025/202687 0 6 9 17 20 3 14 7 1 5 3 2
2026/202719 3 5 11 0 0 0 0 0 0 0 0 0
Totale 162