Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
as the lambda
Examples with "as the lambda" and their translation in Frans
I still have use for you as the Lambda project's sample.
the Kappa Taus aren't as much of a threat as the lambda sigs, but that doesn't mean we shouldn't bring our best game.
Les Kappa Taus ne sont pas une aussi grande menace que les Lambda Sigs, mais cela ne veut pas dire que nous devons prendre ça à la légère.
FIXED: Error checking bug in lambda expressions using 'true/0' as the lambda goal.
FIXE: Erreur lors de la vérification de l'erreur dans les expressions lambda à l'aide de 'true / 0' comme lambda
Andere resultaten
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
The standard cosmological model is known as the Lambda-CDM model.
Le modèle standard de la cosmologique est de type ΛCDM.
We follow a general approach where computing with coercions can be seen as computing in the lambda-calculus but keeping track of which parts of terms are coercions.
Nous suivons une approche générale où le calcul avec des coercions peut être vu comme une réduction dans le lambda-calcul gardant trace de la partie des termes qui sont des coercions.
Abstract: Explicit substitutions have been introduced as a refinement of the lambda-calculus - the usual formalismused to study the semantic of programming languages.
Résumé : Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant leformalisme utilisé pour étudier la sémantique des langages de programmation.
All the primitive notions of first-order logic and set theory, including truth values, connectives and quantifiers, set-membership and set-equality, get a canonical interpretation as terms of the lambda-calculus with only a few term constants added.
Toutes les notions primitives de la logique du premier ordre et de la théorie des ensembles, valeurs de vérité, connecteurs, quantificateurs, appartenance et égalité, y sont traduites par des termes du lambda-calcul enrichi de quelques constantes.
As regards the lambda calculation, the generally used "shortened Brettschneider formula" has been proposed, for which the above-mentioned gas constituents are necessary.
En ce qui concerne le calcul des valeurs lambda, il a été proposé d'appliquer la formule abrégée de Brettschneider, qui est généralement utilisée, ce qui implique de connaître les valeurs correspondant aux constituants gazeux susmentionnés.
If you use a WinjNet sensor (connected to the ECU by CAN-bus), as for example the Lambda controller DigiLSU, it is mandatory to update your ECU.
An employee at Sony made a gesture to a disabled player and made a special controller, to allow him to play as the players lambda.
Un employé de chez Sony a fait un geste envers un joueur handicapé et a fabriqué une manette spéciale, pour lui permettre de jouer comme les joueurs lambda.
We defined and estimated a loss parameter lambda as the proportion of the lake's April P concentration lost through sedimentation and outflow during the following year.
Nous avons défini et estimé un paramètre de perte lambda correspondant à la proportion de la teneur du lac en P au mois d'avril qui est perdue par sédimentation et par évacuation au cours de l'année suivante.
Cloudbees makes it easy to use AWS Lambda as the endpoint of a Continuous Delivery pipeline using Jenkins.
Cloudbees permet d'utiliser facilement AWS Lambda comme point de terminaison d'un pipeline de livraison continue à l'aide de Jenkins.
Synoniemen voor as the lambda in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 4060. Exact: 3. Verstreken tijd: 4309 ms.
