Hai cercato la traduzione di formal methods for interactive s... da Inglese a Persiano

Inglese

Traduttore

formal methods for interactive systems

Traduttore

Persiano

Traduttore
Traduttore

Traduci istantaneamente testi, documenti e voce con Lara

Traduci ora

Contributi umani

Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.

Aggiungi una traduzione

Inglese

Persiano

Informazioni

Inglese

methods for producing virus-free plants

Persiano

روش هایی برای تولید گیاهان عاری از ویروس

Ultimo aggiornamento 2022-12-30
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

in computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.

Persiano

در علوم رایانه و مهندسی نرم‌افزار، روش‌های صوری یا روش‌ها رسمی (به انگلیسی formal methods) نوع خاصی از شگردهای ریاضی-پایه برای توصیف، تخصیص، ایجاد، توسعه، و تولید برنامه سامانه‌های سخت‌افزاری و نرم‌افزاری هستند.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

methods for determining the flash point of a liquid are specified in many standards.

Persiano

روشهای تعیین نقطهٔ اشتعال یک مایع در استانداردهای بسیاری تصریح شده‌است.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

courant, r. variational methods for the solution of problems of equilibrium and vibrations.

Persiano

courant, r. variational methods for the solution of problems of equilibrium and vibrations.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

developing methods for conserving water is a rising demand that the saudi government is aspiring to achieve

Persiano

توسعه روش هایی برای حفظ آب، تقاضای روزافزونی است که دولت عربستان سعی در دستیابی به آن دارد

Ultimo aggiornamento 2018-07-13
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

the methods for achieving a technical effect are described by control algorithms, which might or might not utilize formal methods in their design.

Persiano

روشهایی برای دست‌یابی به یک اثر فنی به وسیله الگوریتم‌های کنترل بیان می‌شوند، که ممکن است از روشهای ساخت‌یافته در طرح استفاده شود یا خیر.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

it involves both defining access control to database objects as well as defining security levels and methods for the data itself.

Persiano

این شامل هر دو تعریف کنترل دسترسی به اشیاء پایگاه داده و همچنین تعریف سطوح امنیتی و روش برای داده‌ها است.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

so ham smith and clyde hutchison developed some new methods for making error-free dna at a small level.

Persiano

اين بود که هام اسمیت و کلاید هاتچیسون، یک سری روش‌های جدیدی برای ساخت dna بدون اشکال در سطوح خیلی کوچک ابداع کردند.

Ultimo aggiornamento 2015-10-13
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

==origin==advertising executive alex f. osborn began developing methods for creative problem solving in 1939.

Persiano

مدیر ارشد تبلیغات الکس اف آزبورن، توسعه روش‌های حل خلاقانه مسأله را در سال ۱۹۳۹ شروع کرد.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

meta-synthesis is one of the exploratory research methods for creating and extracting a common reference framework based on the results of previous researches.

Persiano

فراترکیب یکی از روش های تحقیق اکتشافی برای ایجاد و استخراج یک چارچوب مرجع مشترک مبتنی بر نتایج تحقیقات گذشته می¬باشد.

Ultimo aggiornamento 2023-11-27
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

numerical method for fractional bagley torvik equation

Persiano

Ultimo aggiornamento 2021-03-02
Frequenza di utilizzo: 3
Qualità:

Riferimento: Anonimo

Inglese

the most frequently used methods for estimating orotic acid in milk have been variations of a colorimetric procedure. assay here involves the isolation of orotic acid by dialysis and anion exchange and silicic acid chromatography.

Persiano

متداولترین روشها برای تخمین اسید اروتیک در شیر ، تغییرات روش رنگ سنجی بوده است. سنجش در اینجا شامل جداسازی اسید اروتیک توسط دیالیز و تبادل آنیون و کروماتوگرافی اسید سیلیسیک است.

Ultimo aggiornamento 2021-06-10
Frequenza di utilizzo: 2
Qualità:

Riferimento: Anonimo

Inglese

pcr with analysis directed to the 16s rrna gene was confirmed to be a much more sensitive method for the detection of h. pylori in gastric biopsies compared to other methods

Persiano

pcr با تجزیه و تحلیل به ژن 16s rrna تایید شد که روش بسیار حساس تری برای تشخیص هلیکوباکتر پیلوری در بیوپسی معده نسبت به سایر روش ها است.

Ultimo aggiornamento 2024-05-13
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

highly scalable methods for on demand education seem to be the future of education. increasingly, students need to be reached wherever and whenever they are in order to reduce the costs associated with traditional learning methods.

Persiano

به نظر میرسد که روشهای بسیار مقیاس پذیر برای آموزش تقاضا، آینده تحصیل است. دانش آموزان باید هر زمان و هر زمان که بخواهند هزینه های مربوط به شیوه های یادگیری سنتی را کاهش دهند، به طور فزاینده ای بیشتر می شود.

Ultimo aggiornamento 2018-07-07
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

* treatment methods for kidney failure: hemodialysis - (american) national kidney and urologic diseases information clearinghouse, nih.

Persiano

* treatment methods for kidney failure: hemodialysis - (american) national kidney and urologic diseases information clearinghouse، مؤسسات ملی بهداشت.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

universal and simple method for facile fabrication of sustainable high internal phase emulsions solely using meat protein particles with various ph values

Persiano

Ultimo aggiornamento 2020-06-20
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

digital technologies provide materials that can be adopted in self study or organized education settings and provide a method for active learning that more fully engages learners.

Persiano

تکنولوژی های دیجیتال مواد را فراهم می کنند که می توانند در خودآموزی یا تنظیمات آموزشی سازمان یافته اتخاذ شوند و روش ای برای یادگیری فعال فراهم کنند که فراگیر تر فراگیر تر فراگیرد.

Ultimo aggiornamento 2018-07-07
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

* treatment methods for kidney failure - (american) national institute of diabetes and digestive and kidney diseases (niddk), nih.

Persiano

* treatment methods for kidney failure - (american) national institute of diabetes and digestive and kidney diseases (niddk)، مؤسسات ملی بهداشت.

Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

we introduce a self supervised method for learning visual correspondence from unlabeled video. the main idea is to use cycle consistency in time as free supervisory signal for learning visual representations from scratch.

Persiano

ما یک روش خود ناظر را برای یادگیری تطابق بصری در ویدیوی بدون برچسب معرفی می کنیم. ایده اصلی استفاده از ثبات چرخه در زمان به عنوان سیگنال نظارتی رایگان برای یادگیری بازنمایی های بصری از ابتدا است.

Ultimo aggiornamento 2022-07-12
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Inglese

16.2 a password may become known to other users in a variety of ways. is there a simple method for detecting that such an event has occurred? explain your answer

Persiano

16.2 رمز عبور ممکن است به روش های مختلف برای کاربران دیگر شناخته شده است. آیا روش ساده ای برای تشخیص این که چنین رویدادی رخ داده است وجود دارد؟ پاسخ خود را توضیح دهید

Ultimo aggiornamento 2021-11-27
Frequenza di utilizzo: 1
Qualità:

Riferimento: Anonimo

Alcuni contributi umani con scarsa rilevanza sono stati nascosti.
Mostra i risultati con scarsa rilevanza.

Ottieni una traduzione migliore grazie a
8,787,116,160 contributi umani

Ci sono utenti che chiedono aiuto:



I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra. Maggiori informazioni. OK