From professional translators, enterprises, web pages and freely available translation repositories.
temporal lobe
penumbra
Last Update: 2022-05-24
Usage Frequency: 1
Quality:
Reference:
schnoebelen: the complexity of temporal logic model checking.
schnoebelen: the complexity of temporal logic model checking.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Reference:
autorització temporal (προσωρινή άδεια μετανάστευσης – πράσινου χρώματος).
autorització temporal (temporary immigration permit – green).
Last Update: 2017-04-06
Usage Frequency: 1
Quality:
Reference:
tarjeta temporal de residencia (δελτίο προσωρινής κατοικίας) (ροζ χρώματος).
tarjeta temporal de residencia (temporary residence permit) (pink).
Last Update: 2017-04-06
Usage Frequency: 2
Quality:
Reference:
• tarjeta temporal de residencia (δελτίο προσωρινής παραμονής) (ροζ χρώματος).
m tarjeta temporal de residencia (temporary residence permit) (pink).
Last Update: 2014-02-06
Usage Frequency: 2
Quality:
Reference:
autorización temporal de residencia y de trabajo (άδεια προσωρινής κατοικίας και εργασίας (ροζ χρώματος).
autorización temporal de residencia y de trabajo (temporary residence and work authorisation) (pink).
Last Update: 2017-04-06
Usage Frequency: 2
Quality:
Reference:
autorització temporal en pràctiques formatives (προσωρινή άδεια μετανάστευσης για πρακτική άσκηση και επιμόρφωση – πράσινου χρώματος).
autorització temporal en pràctiques formatives (temporary immigration permit for internships and trainings – green).
Last Update: 2017-04-06
Usage Frequency: 1
Quality:
Reference:
Η γραμμική χρονική λογική (linear temporal logic, ltl) είναι μια τροπική χρονική λογική με τροπικότητες που αναφέρονται στο χρόνο.
in logic, linear temporal logic or linear-time temporal logic (ltl) is a modal temporal logic with modalities referring to time.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Reference:
• autorización temporal de residencia y de trabajo (άδεια προσωρινής παραμονής και εργασίας) (ροζ χρώματος).
m autorizacio´n temporal de residencia y de trabajo (temporary residence and work authorisation) (pink).
Last Update: 2014-02-06
Usage Frequency: 2
Quality:
Reference:
autorització temporal per a treballadors d’empreses estrangeres (προσωρινή άδεια μετανάστευσης για υπαλλήλους αλλοδαπών επιχειρήσεων – πράσινου χρώματος).
autorització temporal per a treballadors d’empreses estrangeres (temporary immigration permit for employees of foreign enterprises – green).
Last Update: 2017-04-06
Usage Frequency: 1
Quality:
Reference:
la mayoría de los inmigrantes económicos son admitidos inicialmente con un permiso de residencia temporal, entre uno y cinco años.Οι περισσότεροι οικονομικοί μετανάστες γίνονται αρχικά δεκτοί με προσωρινή άδεια παραμονής, διάρκειας ενός έως πέντε ετών.
most economic migrants are initially admitted on a temporary residence permit, which may last from between one to five years.
Last Update: 2017-04-06
Usage Frequency: 1
Quality:
Reference:
Warning: Contains invisible HTML formatting
doi= 10.1109/sfcs.1977.32* e. allen emerson, joseph y. halpern: “sometimes” and “not never” revisited: on branching versus linear time temporal logic.
doi= 10.1109/sfcs.1977.32* e. allen emerson, joseph y. halpern: "sometimes" and "not never" revisited: on branching versus linear time temporal logic.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Reference:
Warning: Contains invisible HTML formatting