Méthodes de métacalcul et leurs applications
A

Méthodes de métacalcul et leurs applications

Algorithmes
metacomputation program transformation TSG language program analysis verification inverse programming software reliability
Auteur
S. M. Abramov
Éditeur
Direkt-Media
Année
2021
Langue
Russe
138
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Algorithmes : conception et applications. Un classique de l'informatique

Algorithmes : conception et applications. Un classique de l'informatique

J. Kleinberg, E. Tardos

Algorithmes et modèles de calcul

Algorithmes et modèles de calcul

Dmitriy Golubenko, Alexey Kroshnin, Edouard Gorbunov

Qu'est-ce que les mathématiques ? Un aperçu élémentaire des idées et des méthodes

Qu'est-ce que les mathématiques ? Un aperçu élémentaire des idées et des méthodes

R. Courant, G. Robbins

Algorithmes efficaces et complexité des calculs

Algorithmes efficaces et complexité des calculs

N. N. Kouziourine, S. A. Fomine

Résolution de problèmes en langages de programmation C et C++ : directives méthodologiques pour la réalisation des travaux pratiques

Résolution de problèmes en langages de programmation C et C++ : directives méthodologiques pour la réalisation des travaux pratiques

A. Yu. Bykov

Théorie des algorithmes

Théorie des algorithmes

V.I. Igoshin

Méthodes mathématiques de prise de décision

Méthodes mathématiques de prise de décision

A.A. Greshilov

Comprendre SQL. SQL pour les simples mortels

Comprendre SQL. SQL pour les simples mortels

Martin Graber

Analyse des données massives. Technologies et méthodes

Analyse des données massives. Technologies et méthodes

Non spécifié