7 relazioni: Autocarro, Codice aeroportuale IATA, Gabon, ISO 4217, Litas lituano, Lituania, Logica temporale lineare.
Autocarro
L'autocarro, o camion, è un veicolo in grado di trasportare merci autonomamente; si tratta di un mezzo di trasporto singolo e differisce dagli altri veicoli adibiti al trasporto su strada, come i rimorchi o i semirimorchi, perché fornito di motricità propria.
Nuovo!!: LTL e Autocarro · Mostra di più »
Codice aeroportuale IATA
Il codice aeroportuale IATA è un codice di tre lettere che viene attribuito ai diversi aeroporti in tutto il mondo dalla IATA (International Air Transport Association, Associazione Internazionale del Trasporto Aereo).
Nuovo!!: LTL e Codice aeroportuale IATA · Mostra di più »
Gabon
La Repubblica Gabonese, o più semplicemente Gabon, è uno stato (267.667 km²; 1.424.906 abitanti; capitale Libreville) dell'Africa Centrale.
Nuovo!!: LTL e Gabon · Mostra di più »
ISO 4217
L'ISO 4217 è uno standard internazionale che descrive codici di tre lettere per definire i nomi delle valute, stabilito dall'Organizzazione Internazionale per le Standardizzazioni (ISO), che viene usato comunemente nel sistema bancario e nel mondo economico, nonché nella stampa specializzata.
Nuovo!!: LTL e ISO 4217 · Mostra di più »
Litas lituano
Il litas lituano è stata la valuta utilizzata in Lituania fino al 1º gennaio 2015, quando è stata sostituita dall'euro.
Nuovo!!: LTL e Litas lituano · Mostra di più »
Lituania
La Lituania (in lituano: Lietuva), ufficialmente Repubblica di Lituania (in lituano Lietuvos Respublika), è uno Stato membro dell'Unione europea, confinante a nord con la Lettonia, ad est con la Bielorussia, a sud con la Polonia e a sud-ovest con l'exclave russa dell'Oblast' di Kaliningrad, mentre ad ovest è bagnata dal mar Baltico.
Nuovo!!: LTL e Lituania · Mostra di più »
Logica temporale lineare
La logica temporale lineare o LTL (Linear Temporal Logic) è un'estensione della logica modale nella quale i mondi sono organizzati in una struttura lineare infinita: ogni mondo può così rappresentare un istante di tempo discreto.
Nuovo!!: LTL e Logica temporale lineare · Mostra di più »
Riorienta qui:
Ltl.