Search Results for Algorithms.

2 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00DEFAULTTR

Yazdır

1.

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings için kapak resmi

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Yazar

Thachuk, Chris. editor.

https://doi.org/10.1007/978-3-030-26807-7

Format:

Electronic Resources

Alıntı:

biomolecular computing such as algorithms and models for computation on biomolecular systems; computational

2.

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author.

https://doi.org/10.1007/978-3-319-51653-0

Format:

Electronic Resources

Alıntı:

simple examples of formalizations of the correctness of algebraic functions and algorithms in PVS

Tümünü Seç

1

2 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2