প্রদর্শন
1 - 1
ফলাফল এর
1
অনুসন্ধানের জন্য '
"Coq (Electronic resource)."
'
বিষয়বস্তু এড়িয়ে যান
VuFind
Portail des bu
0
উপাদানগুলি
(সম্পূর্ণ)
আপনার আকাউন্ট
লগ আউট করুন
লগ ইন করুন
ভাষা
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
সমস্ত ক্ষেত্রসমূহ
আখ্যা
পত্রিকা আখ্যা
লেখক
বিষয়
বিস্তৃত
অনুসন্ধান ফলাফলগুলি - "Coq (Electronic resource)."
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
Arithmétique en virgule flottante
1
Arithmétique interne des ordinateurs
1
Computer algorithms
1
Computer arithmetic
1
Floating-point arithmetic
1
প্রদর্শন
1 - 1
ফলাফল এর
1
অনুসন্ধানের জন্য '
"Coq (Electronic resource)."
'
ফলাফল পরিমার্জন করুন
পৃষ্ঠা প্রতি ফলাফল
25
50
75
100
শ্রেণী করন
প্রাসঙ্গিকতা
তারিখ অধোগামী অনুযায়ী সাজান
তারিখ ঊর্ধ্বগামী অনুযায়ী সাজান
ডাকসংখ্যা
লেখক
আখ্যা
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
অনুযায়ী
Boldo, Sylvie.
প্রকাশিত 2017
Accès à l'E-book
E-Book
গ্রন্থসম্ভারে রাখুন
গ্রন্থসম্ভার থেকে মুছুন
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
অনুসন্ধান সাধনীগুলি:
আরএসএস প্রতিক্রিয়া পাওয়ার জন্য
—
এই ই-মেইলটি অনুসন্ধান করুন
—
অনুসন্ধান সংরক্ষণ করুন
পেছনে
সংকীর্ণ অনুসন্ধান
গ্রন্থাগার
Bibliothèque numérique
1
বিন্যাস
E-Book
1
লেখক
Boldo, Sylvie
1
Melquiond, Guillaume (19..-....)
1
ভাষা
Anglais
1
প্রকাশনার বছর
থেকে:
অবধি:
লোডিং...