Présentation de l'auteur David Harel :

Livres publiés jusqu'à présent par David Harel :

Algorithmique : L'esprit de l'informatique - Algorithmics: The Spirit of Computing
Springer Nature
L'informatique est la science de l'avenir et sous-tend déjà toutes les...
Algorithmique : L'esprit de l'informatique - Algorithmics: The Spirit of Computing
Algorithmique - L'esprit de l'informatique - Algorithmics - The Spirit of Computing
Pearson Education
L'algorithmique présente les concepts, méthodes et résultats les...
Algorithmique - L'esprit de l'informatique - Algorithmics - The Spirit of Computing
Algorithmique : L'esprit de l'informatique - Algorithmics: The Spirit of Computing
Springer Nature
Préliminaires. - et historique. - Algorithmes et données. - Langages et...
Algorithmique : L'esprit de l'informatique - Algorithmics: The Spirit of Computing
Logique dynamique - Dynamic Logic
Mit Pr
Ce livre est la première introduction complète à la logique dynamique .Parmi les nombreuses approches du raisonnement formel sur les programmes, la...
Logique dynamique - Dynamic Logic
<<
1
>>