A partir de cette page vous pouvez :
collection
| Retourner au premier écran avec les étagères virtuelles... |
Détail d'une collection
|
|
Documents disponibles dans la collection
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesCalculabilité et décidabilité une introduction / Autebert, Jean-Michel (DL 1992)
Titre : Calculabilité et décidabilité une introduction Type de document : texte imprime Auteurs : Autebert, Jean-Michel Editeur : Paris : Masson Année de publication : DL 1992 Collection : Manuels informatiques, ISSN 0249-6992 Importance : 118 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82632-0 Note générale :
Bibliogr. p. 115. IndexLangues : Français Mots-clés : Complexité de calcul (informatique) Automates mathématiques, Théorie des Calcul formel Logique mathématique Fonctions calculables Décidabilité (logique mathématique) Index. décimale : 511.35 Résumé :
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2021Permalink : ./index.php?lvl=notice_display&id=13549 Calculabilité et décidabilité une introduction [texte imprime] / Autebert, Jean-Michel . - Paris : Masson, DL 1992 . - 118 p. : ill. ; 24 cm.. - (Manuels informatiques, ISSN 0249-6992) .
ISBN : 978-2-225-82632-0
Bibliogr. p. 115. Index
Langues : Français
Mots-clés : Complexité de calcul (informatique) Automates mathématiques, Théorie des Calcul formel Logique mathématique Fonctions calculables Décidabilité (logique mathématique) Index. décimale : 511.35 Résumé :
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2021Permalink : ./index.php?lvl=notice_display&id=13549 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP18/1 COMP18 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP18/2 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP18/3 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP18/4 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Initiation au parallélisme : concepts architectures et algorithmes Type de document : texte imprime Auteurs : Marc Gengler, Auteur ; Desprez, Frédéric, Auteur ; Ubeda, Stéphane, Auteur ; Cosnard, Michel, Préfacier, etc. Editeur : Paris : Masson Année de publication : DL 1996, cop. 1996 Collection : Manuels informatiques, ISSN 0249-6992 Importance : (XIV-223 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-85014-1 Note générale : Bibliographie p. [217]-220. Index
Langues : Français Mots-clés : Parallélisme (informatique) Ordinateurs parallèles Architecture des réseaux d'ordinateurs Programmation parallèle (informatiqu Algorithmee Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=13350 Initiation au parallélisme : concepts architectures et algorithmes [texte imprime] / Marc Gengler, Auteur ; Desprez, Frédéric, Auteur ; Ubeda, Stéphane, Auteur ; Cosnard, Michel, Préfacier, etc. . - Paris : Masson, DL 1996, cop. 1996 . - (XIV-223 p.) : ill., couv. ill. en coul. ; 24 cm. - (Manuels informatiques, ISSN 0249-6992) .
ISBN : 978-2-225-85014-1
Bibliographie p. [217]-220. Index
Langues : Français
Mots-clés : Parallélisme (informatique) Ordinateurs parallèles Architecture des réseaux d'ordinateurs Programmation parallèle (informatiqu Algorithmee Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=13350 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité AFO53/1 AFO53 Livre Magasin d'Ouvrages / INF Architecture et Fonctionnement des Ordinateurs Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Occam 2 Type de document : texte imprime Auteurs : Alain-Bernard Fontaine, Traducteur ; INMOS Editeur : Paris : Masson Année de publication : 1989 Collection : Manuels informatiques, ISSN 0249-6992 Importance : 195 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81841-7 Note générale : Index Langues : Français Mots-clés : Langages de programmation Occam 1 (langage de programmation) Permalink : ./index.php?lvl=notice_display&id=13753 Occam 2 [texte imprime] / Alain-Bernard Fontaine, Traducteur ; INMOS . - Paris : Masson, 1989 . - 195 p. : ill. ; 24 cm. - (Manuels informatiques, ISSN 0249-6992) .
ISBN : 978-2-225-81841-7
Index
Langues : Français
Mots-clés : Langages de programmation Occam 1 (langage de programmation) Permalink : ./index.php?lvl=notice_display&id=13753 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité L140/1 L140 Livre Magasin d'Ouvrages / INF Langage Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
