Verificación formal de algoritmos : ejercicios resueltos /
সংরক্ষণ করুন:
| প্রধান লেখক: | Silva Ramírez, Esther Lydia |
|---|---|
| অন্যান্য লেখক: | López Coello, Manuel (autor.) |
| বিন্যাস: | বৈদ্যুতিন গ্রন্থ |
| ভাষা: | স্প্যানিশ |
| প্রকাশিত: |
Cádiz :
Universidad de Cádiz,
2018.
|
| মালা: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Click to View |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Corrección de algoritmos complejos : verificación formal /
অনুযায়ী: Silva Ramírez, Esther Lydia
প্রকাশিত: (2017) -
Algoritmo óptimo para planificación de búsqueda en disco
অনুযায়ী: Castillo, Enrique F., অন্যান্য
প্রকাশিত: (2005) -
Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
প্রকাশিত: (2008) -
Algoritmos y estructuras de datos /
অনুযায়ী: Fritelli, Valerio
প্রকাশিত: (2020) -
Algoritmos y programación : mejores prácticas /
অনুযায়ী: Ayala San Martín, Gerardo
প্রকাশিত: (2020)