A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur André CHAUVIN |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Algorithmes et machines à calculer / B. A. TRAHTENBROT (1963)
Titre : Algorithmes et machines à calculer Type de document : texte imprimé Auteurs : B. A. TRAHTENBROT, Auteur ; André CHAUVIN, Traducteur Editeur : Paris [France] : Dunod Année de publication : 1963 Collection : Monographies Dunod, ISSN 0463-196X num. 46 Importance : X-149 p. Présentation : ill. Langues : Français Langues originales : Russe Résumé : théorie des algorithmes;machine à calculer;machine de Turing Algorithmes et machines à calculer [texte imprimé] / B. A. TRAHTENBROT, Auteur ; André CHAUVIN, Traducteur . - Paris (France) : Dunod, 1963 . - X-149 p. : ill.. - (Monographies Dunod, ISSN 0463-196X; 46) .
Langues : Français Langues originales : Russe
Résumé : théorie des algorithmes;machine à calculer;machine de Turing Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1782 TRA/68/2138 Livre Recherche Salle Exclu du prêt i1705 TRA/68/i1705 a Livre Recherche Salle Disponible i1705b TRA/68/i1705 b Livre Recherche Salle Disponible Leçons sur les fonctions calculables / Vladimir Andreevich OUSPENSKI (1966)
Titre : Leçons sur les fonctions calculables Type de document : texte imprimé Auteurs : Vladimir Andreevich OUSPENSKI, Auteur ; André CHAUVIN, Traducteur Editeur : Paris : Hermann Année de publication : 1966 Collection : Actualités scientifiques et industrielles, ISSN 0365-6861 num. 1317 Importance : 412 p. Langues : Français Langues originales : Russe Catégories : 03D20 Mots-clés : fonction récursive fonction calculable Leçons sur les fonctions calculables [texte imprimé] / Vladimir Andreevich OUSPENSKI, Auteur ; André CHAUVIN, Traducteur . - Paris : Hermann, 1966 . - 412 p.. - (Actualités scientifiques et industrielles, ISSN 0365-6861; 1317) .
Langues : Français Langues originales : Russe
Catégories : 03D20 Mots-clés : fonction récursive fonction calculable Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 205 OUS/02/2844 Livre Recherche Salle Disponible i1575 OUS/02/i1575 Livre Recherche Salle Disponible