Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Langage TTCN
Langage algébrique
Langage de calcul
Langage de calcul formel
Langage de spécification formelle
Langage du calcul logique
Langage du type calcul à variables nuplets
Langage formel
Langage formel de spécification TTCN
Langage phonémique calculable
Notation logique

Translation of "langage de calcul formel " (French → English) :

TERMINOLOGY
see also In-Context Translations below
langage de calcul formel

formula manipulation language
Langages de programmation
Programming Languages


langage de spécification formelle

formal specification language
IATE - Information technology and data processing
IATE - Information technology and data processing


langage algébrique [ langage de calcul ]

algebraic language
Mathématiques informatiques | Langages de programmation
Computer Mathematics | Programming Languages


langage du calcul logique | notation logique

logical notation
IATE - Information technology and data processing
IATE - Information technology and data processing


langage phonémique calculable

phonemic computable language
Langages de programmation | Informatisation des données linguistiques
Programming Languages | Computer Processing of Language Data


langage de manipulation de type calcul à variables nuplets | langage du type calcul à variables nuplets

tuple relational calculus language
IATE - Information technology and data processing
IATE - Information technology and data processing


langage formel de spécification TTCN | langage TTCN

Tree and Tabular Combined Notation | TTCN
informatique
informatique


langage formel

formal language
informatique > langage de programmation informatique
informatique > langage de programmation informatique


IN-CONTEXT TRANSLATIONS
Si nous en savions plus sur l'effet réel de ce projet sur tout le monde, dans un langage pas trop formel et que nous puissions comprendre : voilà quels vont probablement être les effets sur vous.

' Maybe if we had more education about what this bill will actually mean to everyone, in a language that is not formal but that we could actually understand: ``This will affect you probably in these ways.


Marc Gaudry: Cet argument est indéfendable et insoutenable puisqu'il ne cadre pas avec les calculs formels de la commission royale canadienne. Il serait démoli en cinq minutes par cinq économistes choisis au hasard à l'échelle du pays.

Prof. Marc Gaudry: It is untenable, indefensible, and contrary to the formal computations of the Canadian royal commission, and it would not stand examination for five minutes by five economists taken at random from across the country.


La manière de procéder y est décrite dans un langage plus formel.

It contains more formal language for how to do this.


Le caractère informel du langage et de communication dans le Web 2.0 ne s'inscrit pas dans le type de communications structurées et formelles auquel s'attend le gouvernement.

That informality of speech and communication within Web 2.0 does not fit the formal structured type of communications that government expects.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
(d) les informations sur la façon de calculer la composante variable doivent être fournies aux investisseurs de manière concise et dans un langage non technique, à la fois dans le prospectus et dans les informations clés pour l’investisseur et ces informations doivent démontrer comment la composante variable est touchée de façon symétrique aussi bien par des bonnes performances que par des performances médiocres de l'OCPVM, comment ...[+++]

(d) information on the means by which any variable component is calculated must be provided to investors in a concise manner and in non-technical language, both in the prospectus and in the key investor information and that information must demonstrate how the variable component is affected symmetrically by both good and poor performance of the UCITS, how it is calculated and contain realistic examples of absolute amounts accumulated during a one year period.


68. reconnaît que, dans tous les États membres de l'Union européenne, des niveaux satisfaisants de compétences en maîtrise de la langue et du calcul sont rarement atteints par tous les élèves, ce qui contribue à l'abandon scolaire; souligne que les États membres devraient d'urgence fixer des objectifs afin que tous les élèves terminent l'école primaire en étant capables de lire, d'écrire et de faire des mathématiques à un niveau approprié pour leur âge; estime en outre que les États membres devraient également élaborer des programmes visant l'aptitude à la lecture, à l'écriture et au calcul ...[+++]

68. Recognises that in all EU Member States adequate levels of literacy and numeracy are rarely reached by all school students, which contributes to ESL; emphasises that Member States should, as a matter of urgency, set targets to ensure that all pupils leave primary school with the ability to read, write and perform arithmetic at an appropriate level for their age; takes the view, moreover, that Member States should also establish literacy and numeracy schemes to allow students who have missed out on these essential skills during their formal education to catch up as quickly as possible;


- (IT) Monsieur le Président, Mesdames et Messieurs, je me rends compte que, vu d’ici, de Strasbourg ou de Bruxelles, au cœur du continent européen, le problème de l’immigration illégale dans la Méditerranée peut sembler à beaucoup n’être qu’une question marginale à traiter avec le langage froid et formel de la bureaucratie ainsi qu’avec la complicité de la politique communautaire qui, par moments, peut être cynique et hypocrite.

– (IT) Mr President, Commissioner, ladies and gentlemen, I realise that the problem of illegal immigration in the Mediterranean, seen from here, Strasbourg or Brussels, in the heart of the European continent, may appear to many to be a marginal issue to be addressed with the cold, formal language of bureaucracy and with the complicity of Community policy, which, at times, can be cynical and hypocritical.


- Logiciels, grilles de calcul, architecture de distribution de services, sécurité et fiabilité: technologies, outils et méthodes pour la conception et la validation de logiciels, architectures et systèmes de couches intermédiaires de grande qualité, dynamiques et sûrs, constituant la base de services à forte intensité de connaissances, y compris leur fourniture en tant que ressources de base et pour des services de distribution et des technologies, des outils et des méthodes de conception et de validation de grande qualité ; infrast ...[+++]

- Software, Grids, service-distribution architecture, security and dependability: technologies, tools and methods for developing and validating high-quality dynamic and trusted software, architectures and middleware systems that underpin knowledge-intensive services, including their provision as utilities and for high-quality distribution services and technologies, tools and methods for development and validation ; service-oriented, interoperable and scale-free infrastructures, grid-like virtualisation of resources, including domain-specific platforms, network-centric operating systems; open source software; open platforms and collabo ...[+++]


- Logiciels, grilles de calcul, architecture de distribution de services, sécurité et fiabilité: technologies, outils et méthodes pour la conception et la validation de logiciels, architectures et systèmes de couches intermédiaires de grande qualité, dynamiques et sûrs, constituant la base de services à forte intensité de connaissances, y compris leur fourniture en tant que ressources de base et pour des services de distribution et des technologies, des outils et des méthodes de conception et de validation de grande qualité; infrastr ...[+++]

- Software, Grids, service-distribution architecture, security and dependability: technologies, tools and methods for developing and validating high-quality dynamic and trusted software, architectures and middleware systems that underpin knowledge-intensive services, including their provision as utilities and for high-quality distribution services and technologies, tools and methods for development and validation; service-oriented, interoperable and scale-free infrastructures, grid-like virtualisation of resources, including domain-specific platforms, network-centric operating systems; open source software; open platforms and collabor ...[+++]


En Europe, le coût financier global des troubles de l'audition a été estimé à 78 milliards d'euros par an (calculé sur la base d'un coût annuel moyen de 3 500 euros par patient, ce qui comprend enseignement spécialisé, thérapie du langage, prothèses auditives, honoraires de médecins généralistes et de spécialistes, et autres frais).

In Europe, 22.5 million individuals suffer form hearing impairment, with 2 million being profoundly deaf. In children, deafness impedes language acquisition and generates learning difficulties.




www.wordscope.com (v4.0.br.77)

langage de calcul formel

Date index:2021-11-19 -

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)