الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 006
Affiner la recherche Interroger des sources externes
Ingénierie du logiciel avec ADA / Grady Booch
Titre : Ingénierie du logiciel avec ADA : de la conception à la réalisation Type de document : texte imprimé Auteurs : Grady Booch (1955-....), Auteur ; Jean-Pierre Rosen, Traducteur Editeur : Paris : InterÉditions Année de publication : 1988 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 num. 12 Importance : 680 p. Présentation : ill., couv. ill. en coul. Format : 16*23 cm ISBN/ISSN/EAN : 978-2-7296-0192-8 Prix : 348 F Note générale : Bibliogr. p. 660-671. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : phase d'analyse, tendances du logiciel, identifier les objets, developpement de systemes Index. décimale : 006 Ingénierie du logiciel avec ADA : de la conception à la réalisation [texte imprimé] / Grady Booch (1955-....), Auteur ; Jean-Pierre Rosen, Traducteur . - Paris : InterÉditions, 1988 . - 680 p. : ill., couv. ill. en coul. ; 16*23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416; 12) .
ISBN : 978-2-7296-0192-8 : 348 F
Bibliogr. p. 660-671. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : phase d'analyse, tendances du logiciel, identifier les objets, developpement de systemes Index. décimale : 006 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-001028 006-071.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt L'ingénierie des protocoles
Titre : L'ingénierie des protocoles Type de document : texte imprimé Auteurs : Paul Angosto, Auteur ; Groupe Argoat, Editeur scientifique ; Groupe armoricain en informatique et en télécommunication, Editeur scientifique Editeur : Paris : InterEd. Année de publication : 1993 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 Importance : 222 p. Présentation : ill., couv. ill. en coul. Format : 16*23 cm ISBN/ISSN/EAN : 978-2-7296-0429-5 Prix : 195 F Note générale : Bibliogr. p. 213-217. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : les couches basses, logique temporelle, terminologie, le test de conformité, les outils des réseaux Index. décimale : 006 Résumé : Le point sur le développement des protocoles de communication, en abordant à la fois les aspects théoriques, liés aux langages de description formelle, et les problèmes pratiques posés par les tests de conformité et l'analyse des performances
L'ingénierie des protocoles [texte imprimé] / Paul Angosto, Auteur ; Groupe Argoat, Editeur scientifique ; Groupe armoricain en informatique et en télécommunication, Editeur scientifique . - Paris : InterEd., 1993 . - 222 p. : ill., couv. ill. en coul. ; 16*23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416) .
ISBN : 978-2-7296-0429-5 : 195 F
Bibliogr. p. 213-217. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : les couches basses, logique temporelle, terminologie, le test de conformité, les outils des réseaux Index. décimale : 006 Résumé : Le point sur le développement des protocoles de communication, en abordant à la fois les aspects théoriques, liés aux langages de description formelle, et les problèmes pratiques posés par les tests de conformité et l'analyse des performances
Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité CF2-000981 006-021.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001507 006-021.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001508 006-021.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001509 006-021.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Installer et configurer un routeur Cisco / Chris Lewis
Titre : Installer et configurer un routeur Cisco Type de document : texte imprimé Auteurs : Chris Lewis (19..-....), Auteur ; Colette Miller, Traducteur Editeur : Paris : Eyrolles Année de publication : 2000 Importance : 428 p. Présentation : ill., couv. ill. en coul. Format : 19*24 cm ISBN/ISSN/EAN : 978-2-212-09102-1 Prix : 265 F Note générale : Index. Résumés Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : qu'est que TCP/IP, construire un réseau TCP/IP, l'interface utilisateur cisco Index. décimale : 006 Installer et configurer un routeur Cisco [texte imprimé] / Chris Lewis (19..-....), Auteur ; Colette Miller, Traducteur . - Paris : Eyrolles, 2000 . - 428 p. : ill., couv. ill. en coul. ; 19*24 cm.
ISBN : 978-2-212-09102-1 : 265 F
Index. Résumés
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : qu'est que TCP/IP, construire un réseau TCP/IP, l'interface utilisateur cisco Index. décimale : 006 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité cf2-001013 006-053.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt Intelligence artificielle et informatique théorique / jean-marc alliot
Titre : Intelligence artificielle et informatique théorique Type de document : texte imprimé Auteurs : jean-marc alliot, Auteur Mention d'édition : 2e éd. Editeur : Toulouse : Cépaduès-éd. Année de publication : 2002 Importance : 543 p. Présentation : ill., couv. ill. Format : 17*24 cm ISBN/ISSN/EAN : 978-2-85428-578-9 Prix : 42 EUR Note générale : Bibliogr. p. 501-531. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : les arbres sémantiques, algorithme de réduction, problèmes NP Index. décimale : 006 Résumé :
Petites Entreprises
Ce produit est proposé par une petite ou moyenne entreprise propriétaire de marque inscrite au registre des marques d'Amazon ou un artisan inscrit à Handmade, basé en France. Soutenez les petites entreprises. En savoir plusCe produit est proposé par une petite ou moyenne entreprise propriétaire de marque inscrite au registre des marques d'Amazon ou un artisan inscrit à Handmade, basé en France. Soutenez les petites entrepris… En savoir plus
Le but de cet ouvrage, à vocation pédagogique, est de dégager les contours souvent flous de ce que l'on appelle Intelligence Artificielle et d'aider à mieux comprendre quelle est sa place dans l'informatique moderne. Pour bien saisir l'ensemble des enjeux, il est bon de poser le problème en termes précis.
C'est pourquoi les bases théoriques de l'Intelligence Artificielle (logique et résolution) et les fondements de l'Informatique théorique (calculabilité, complexité, lambda-calcul) sont développés dans la première et la deuxième partie de ce livre. Puis les principales techniques de l'Intelligence Artificielle sont exposées de façon détaillé dans la troisième partie : programmation des jeux (du classique alpha-beta aux jeux Conway en passant par SSS*), problèmes de satisfaction de contraintes, algorithmes de parcours d'arbres ou de graphes (A*,.).
Les langages modernes de l'Intelligence Artificielle, qu'ils fassent partie de la programmation logique (Prolog) ou de la programmation fonctionnelle (Caml) sont présentés dans la quatrième partie. La cinquième partie est consacrée aux méthodes d'apprentissage symbolique, neuromimétiques et par renforcement, ainsi qu'aux algorithmes génétiques. La conclusion tente de replacer l'Intelligence Artificielle dans son contexte social et philosophique, et de comprendre comment elle a pu susciter tant de discours différents et tant de polémiques.
Cet ouvrage offre un panorama des connaissances théoriques et techniques indispensables pour bien comprendre l'informatique d'aujourd'hui et évoluer vers ce que sera l'informatique de demain.
Intelligence artificielle et informatique théorique [texte imprimé] / jean-marc alliot, Auteur . - 2e éd. . - Toulouse : Cépaduès-éd., 2002 . - 543 p. : ill., couv. ill. ; 17*24 cm.
ISBN : 978-2-85428-578-9 : 42 EUR
Bibliogr. p. 501-531. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : les arbres sémantiques, algorithme de réduction, problèmes NP Index. décimale : 006 Résumé :
Petites Entreprises
Ce produit est proposé par une petite ou moyenne entreprise propriétaire de marque inscrite au registre des marques d'Amazon ou un artisan inscrit à Handmade, basé en France. Soutenez les petites entreprises. En savoir plusCe produit est proposé par une petite ou moyenne entreprise propriétaire de marque inscrite au registre des marques d'Amazon ou un artisan inscrit à Handmade, basé en France. Soutenez les petites entrepris… En savoir plus
Le but de cet ouvrage, à vocation pédagogique, est de dégager les contours souvent flous de ce que l'on appelle Intelligence Artificielle et d'aider à mieux comprendre quelle est sa place dans l'informatique moderne. Pour bien saisir l'ensemble des enjeux, il est bon de poser le problème en termes précis.
C'est pourquoi les bases théoriques de l'Intelligence Artificielle (logique et résolution) et les fondements de l'Informatique théorique (calculabilité, complexité, lambda-calcul) sont développés dans la première et la deuxième partie de ce livre. Puis les principales techniques de l'Intelligence Artificielle sont exposées de façon détaillé dans la troisième partie : programmation des jeux (du classique alpha-beta aux jeux Conway en passant par SSS*), problèmes de satisfaction de contraintes, algorithmes de parcours d'arbres ou de graphes (A*,.).
Les langages modernes de l'Intelligence Artificielle, qu'ils fassent partie de la programmation logique (Prolog) ou de la programmation fonctionnelle (Caml) sont présentés dans la quatrième partie. La cinquième partie est consacrée aux méthodes d'apprentissage symbolique, neuromimétiques et par renforcement, ainsi qu'aux algorithmes génétiques. La conclusion tente de replacer l'Intelligence Artificielle dans son contexte social et philosophique, et de comprendre comment elle a pu susciter tant de discours différents et tant de polémiques.
Cet ouvrage offre un panorama des connaissances théoriques et techniques indispensables pour bien comprendre l'informatique d'aujourd'hui et évoluer vers ce que sera l'informatique de demain.
Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-001045 006-090.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001567 006-090.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible L'Intelligence artificielle / Bonnet, Alain
Titre : L'Intelligence artificielle : promesses et réalités Type de document : texte imprimé Auteurs : Bonnet, Alain, Auteur Editeur : Paris : InterÉditions Année de publication : 1984 Importance : 271 p. Présentation : ill. Format : 16*23 cm ISBN/ISSN/EAN : 978-2-7296-0077-8 Prix : 125 F Note générale : Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : la logique du premier ordre, les réseaux sémantiques, les programmes capables d'apprentissage Index. décimale : 006 L'Intelligence artificielle : promesses et réalités [texte imprimé] / Bonnet, Alain, Auteur . - Paris : InterÉditions, 1984 . - 271 p. : ill. ; 16*23 cm.
ISBN : 978-2-7296-0077-8 : 125 F
Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : la logique du premier ordre, les réseaux sémantiques, les programmes capables d'apprentissage Index. décimale : 006 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-001043 006-088.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt L'interface graphique / Jean-Michel Gillet
PermalinkInternet et le World Wide Web secrets / Paul J Perry
PermalinkIntroduction à la spécification / Henri Habrias
PermalinkIntroduction aux systèmes VLSI: [very large scale integration]: / Carver A. Mead
PermalinkIntroductory engineering modeling emphasizing differential models and computer simulations / William G. Rieder
PermalinkJava & databases / Akmal B. Chaudhri
PermalinkLinux ou Windows / Philippe Logerot
PermalinkMac OS X Server / Jacques Foucry
PermalinkManifeste pour un système d'information / James Martin
PermalinkManuel d'informatique.. Logique et automates / Patrick Bellot
Permalink