الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 006
Affiner la recherche Interroger des sources externes
Logique temporelle / Éric Audureau
Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 234 p. Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 224-232. Index Langues : Français (fre) Mots-clés : Logique temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc. Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur . - Paris : Masson, 1990 . - 234 p. : ill., couv. ill. ; 25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-81967-4
Bibliogr. p. 224-232. Index
Langues : Français (fre)
Mots-clés : Logique temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02184 006-37.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible LTE et les réseaux 4G / Yannick Bouguen
Titre : LTE et les réseaux 4G Type de document : texte imprimé Auteurs : Yannick Bouguen, Auteur ; Éric Hardouin, Auteur ; François-Xavier Wolff, Auteur ; Guy Pujolle (1949-....), Directeur de publication, rédacteur en chef Editeur : Paris : Eyrolles Année de publication : DL 2012 Importance : 1 vol. (XI-548 p.) Présentation : ill., couv. ill. Format : 23 cm Accompagnement : 1 f. d'addendum ISBN/ISSN/EAN : 978-2-212-12990-8 Note générale : LTE = long term evolution
Notes bibliogr. IndexLangues : Français (fre) Mots-clés : réseaux 4G Index. décimale : 006 Résumé : En cours de déploiement dans de nombreux pays, la technologie LTE (Long Term Evolution), aussi connue sous le nom de 4G, représente une évolution majeure dans le domaine des réseaux mobiles. Le LTE constitue le prolongement du GSM (2G) et de l'UMTS/HSPA (3G/3G+), avec pour objectifs : d'accroître les débits offerts aux utilisateurs ; d'augmenter la capacité des réseaux ; d'améliorer l'interactivité grâce à une réduction de la latence. Cet ouvrage propose une synthèse accessible et commentée des spécifications techniques du LTE. II présente notamment les motivations de cette nouvelle technologie, l'architecture LTE/EPC, les principes techniques et les mécanismes normalisés de l'interface radio, les procédures d'appels et de gestion de la mobilité. Les interactions avec le réseau coeur EPC (Evolved Packet Core) sont également décrites. Des développements -sont enfin consacrés aux innovations propres au LTE, telles que les fonctionnalités d'auto-organisation ou encore le support natif des cellules femto. LTE et les réseaux 4G [texte imprimé] / Yannick Bouguen, Auteur ; Éric Hardouin, Auteur ; François-Xavier Wolff, Auteur ; Guy Pujolle (1949-....), Directeur de publication, rédacteur en chef . - Paris : Eyrolles, DL 2012 . - 1 vol. (XI-548 p.) : ill., couv. ill. ; 23 cm + 1 f. d'addendum.
ISBN : 978-2-212-12990-8
LTE = long term evolution
Notes bibliogr. Index
Langues : Français (fre)
Mots-clés : réseaux 4G Index. décimale : 006 Résumé : En cours de déploiement dans de nombreux pays, la technologie LTE (Long Term Evolution), aussi connue sous le nom de 4G, représente une évolution majeure dans le domaine des réseaux mobiles. Le LTE constitue le prolongement du GSM (2G) et de l'UMTS/HSPA (3G/3G+), avec pour objectifs : d'accroître les débits offerts aux utilisateurs ; d'augmenter la capacité des réseaux ; d'améliorer l'interactivité grâce à une réduction de la latence. Cet ouvrage propose une synthèse accessible et commentée des spécifications techniques du LTE. II présente notamment les motivations de cette nouvelle technologie, l'architecture LTE/EPC, les principes techniques et les mécanismes normalisés de l'interface radio, les procédures d'appels et de gestion de la mobilité. Les interactions avec le réseau coeur EPC (Evolved Packet Core) sont également décrites. Des développements -sont enfin consacrés aux innovations propres au LTE, telles que les fonctionnalités d'auto-organisation ou encore le support natif des cellules femto. Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité fsei09990 006-303.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09989 006-303.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09988 006-303.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09987 006-303.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09986 006-303.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09985 006-303.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Maintenance et dépannage d'un PC en réseau / Sylvain Gaumé
Titre : Maintenance et dépannage d'un PC en réseau Type de document : texte imprimé Auteurs : Sylvain Gaumé, Auteur Mention d'édition : 4e éd. Editeur : Saint-Herblain : Éd. ENI Année de publication : cop. 2013 Collection : Ressources informatiques (Nantes), ISSN 1627-8224 Importance : 1 vol. (481 p.) Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-7856-7 Note générale : Contient une adresse internet permettant l'accès à un contenu complémentaire
IndexLangues : Français (fre) Mots-clés : Maintenance dépannage PC réseau Index. décimale : 006 Résumé : "L'objectif de ce livre est de vous permettre de maîtriser la maintenance et le dépannage de PC équipés de systèmes d'exploitation Microsoft, y compris Windows 8, dans un environnement réseau et d'acquérir ainsi toutes les connaissances nécessaires pour devenir le correspondant micro de votre entreprise. Après une description des composants matériels, vous apprendrez à apprivoiser le fonctionnement du Bios, de l'UEFI et à diagnostiquer l'origine d'une panne. Vous connaîtrez les différentes procédures d'installation et les étapes de démarrage des systèmes d'exploitation Microsoft. Vous verrez ensuite comment utiliser l'Invite de commande, Windows PowerShell, les permissions NTFS et le Registre Windows. Dans les chapitres suivants, vous découvrirez les procédures de maintenance et de dépannage : gérer les comptes des utilisateurs, réparer le Registre, réinitialiser un mot de passe, réparer le secteur de démarrage, utiliser les outils de dépannage avancés comme la Console de récupération et les fonctionnalités WinRE. Vous découvrirez également le fonctionnement du Gestionnaire de périphériques et toutes les astuces permettant d'installer et de réparer les périphériques USB. Le fonctionnement d'Internet Explorer 10 sera détaillé ainsi que l'architecture du pare-feu intégré à Windows et les solutions les plus efficaces pour éradiquer les virus et les spywares. Vous pourrez ensuite vous familiariser avec les concepts réseaux fondamentaux et découvrir l'aspect gestion et administration des ressources dans un environnement réseau ainsi que les pannes les plus courantes rencontrées sur les réseaux mixtes, sans fil, etc. Les solutions proposées dans cet ouvrage ont toutes été testées de nombreuses fois dans des sociétés disposant de réseaux très importants comme auprès de particuliers dans le cadre de réseaux de type familial. Les chapitres du livre : Avant-propos - Le matériel - Installer le système d'exploitation - Quatre outils système - Les comptes d'utilisateurs - Maintenance du système - Dépanner le système d'exploitation - Les périphériques - Connexion Internet - Le réseau - Dépanner les réseaux" Maintenance et dépannage d'un PC en réseau [texte imprimé] / Sylvain Gaumé, Auteur . - 4e éd. . - Saint-Herblain : Éd. ENI, cop. 2013 . - 1 vol. (481 p.) : ill., couv. ill. ; 21 cm. - (Ressources informatiques (Nantes), ISSN 1627-8224) .
ISBN : 978-2-7460-7856-7
Contient une adresse internet permettant l'accès à un contenu complémentaire
Index
Langues : Français (fre)
Mots-clés : Maintenance dépannage PC réseau Index. décimale : 006 Résumé : "L'objectif de ce livre est de vous permettre de maîtriser la maintenance et le dépannage de PC équipés de systèmes d'exploitation Microsoft, y compris Windows 8, dans un environnement réseau et d'acquérir ainsi toutes les connaissances nécessaires pour devenir le correspondant micro de votre entreprise. Après une description des composants matériels, vous apprendrez à apprivoiser le fonctionnement du Bios, de l'UEFI et à diagnostiquer l'origine d'une panne. Vous connaîtrez les différentes procédures d'installation et les étapes de démarrage des systèmes d'exploitation Microsoft. Vous verrez ensuite comment utiliser l'Invite de commande, Windows PowerShell, les permissions NTFS et le Registre Windows. Dans les chapitres suivants, vous découvrirez les procédures de maintenance et de dépannage : gérer les comptes des utilisateurs, réparer le Registre, réinitialiser un mot de passe, réparer le secteur de démarrage, utiliser les outils de dépannage avancés comme la Console de récupération et les fonctionnalités WinRE. Vous découvrirez également le fonctionnement du Gestionnaire de périphériques et toutes les astuces permettant d'installer et de réparer les périphériques USB. Le fonctionnement d'Internet Explorer 10 sera détaillé ainsi que l'architecture du pare-feu intégré à Windows et les solutions les plus efficaces pour éradiquer les virus et les spywares. Vous pourrez ensuite vous familiariser avec les concepts réseaux fondamentaux et découvrir l'aspect gestion et administration des ressources dans un environnement réseau ainsi que les pannes les plus courantes rencontrées sur les réseaux mixtes, sans fil, etc. Les solutions proposées dans cet ouvrage ont toutes été testées de nombreuses fois dans des sociétés disposant de réseaux très importants comme auprès de particuliers dans le cadre de réseaux de type familial. Les chapitres du livre : Avant-propos - Le matériel - Installer le système d'exploitation - Quatre outils système - Les comptes d'utilisateurs - Maintenance du système - Dépanner le système d'exploitation - Les périphériques - Connexion Internet - Le réseau - Dépanner les réseaux" Réservation
Réserver ce document
Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité fsei10131/2 006-301.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10133/2 006-301.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09991 006-301.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10132/2 006-301.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10644/2 006-301.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10645/2 006-301.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10646/2 006-301.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Maîtriser son PC (sous Windows) / Éric Thomas
Titre : Maîtriser son PC (sous Windows) : entretien, dépannage, mise à niveau Type de document : texte imprimé Auteurs : Éric Thomas (1971-....), Auteur Editeur : Saint-Herblain : Éd. ENI Année de publication : cop. 2010 Collection : Solutions informatiques, ISSN 1950-2230 Importance : 1 vol. (353 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-5568-1 Note générale : Index Langues : Français (fre) Mots-clés : Maîtriser PC sous Windows Index. décimale : 006 Résumé : Ce livre se propose de fournir un maximum de connaissances théoriques et pratiques permettant au lecteur d'acquérir une autonomie suffisante pour entretenir, dépanner, mettre à niveau un PC ou un PC portable. Il s'adresse plus particulièrement à des utilisateurs initiés souhaitant acquérir cette autonomie. Les utilisateurs plus expérimentés seront intéressés par les nombreux conseils, solutions originales, retours d'expérience, proposés par l'auteur. Les nombreux aspects de l'entretien tant logiciel que matériel pour maintenir un PC ou un PC portable dans des conditions de fonctionnement optimales sont détaillés. Une large place est aussi laissée au dépannage. D'ailleurs, pour guider le lecteur, l'auteur propose des conseils pour établir un diagnostic et des procédures de dépannage pour les pannes les plus courantes. En vous permettant de bien maîtriser votre PC (connaître les composants, faire le meilleur choix lors de l'achat, déjouer les pièges et les problèmes d'installation), ce livre vous permettra également d'en améliorer les performances. Les manipulations de mise à niveau sont soigneusement décrites et ponctuées de conseils vous permettant de mener à bien cette opération. Dans le souci de proposer des informations les plus à jour possible, l'ensemble des manipulations sont proposées sous Windows 7. Toujours dans cette optique, les matériels et les technologies les plus récents sont présentés tout au long du livre. Les chapitres du livre : Avant-propos - Installer un PC - Entretenir son PC - Sécuriser son PC - Faire un diagnostic - Dépanner Windows - Dépanner et faire évoluer son matériel - La carte mère - Le processeur - La mémoire vive - Le disque dur - Les graveurs et les lecteurs optiques - La carte graphique - L'alimentation - Les boîtiers - Les cartes son - Les écrans Maîtriser son PC (sous Windows) : entretien, dépannage, mise à niveau [texte imprimé] / Éric Thomas (1971-....), Auteur . - Saint-Herblain : Éd. ENI, cop. 2010 . - 1 vol. (353 p.) : ill., couv. ill. en coul. ; 21 cm. - (Solutions informatiques, ISSN 1950-2230) .
ISBN : 978-2-7460-5568-1
Index
Langues : Français (fre)
Mots-clés : Maîtriser PC sous Windows Index. décimale : 006 Résumé : Ce livre se propose de fournir un maximum de connaissances théoriques et pratiques permettant au lecteur d'acquérir une autonomie suffisante pour entretenir, dépanner, mettre à niveau un PC ou un PC portable. Il s'adresse plus particulièrement à des utilisateurs initiés souhaitant acquérir cette autonomie. Les utilisateurs plus expérimentés seront intéressés par les nombreux conseils, solutions originales, retours d'expérience, proposés par l'auteur. Les nombreux aspects de l'entretien tant logiciel que matériel pour maintenir un PC ou un PC portable dans des conditions de fonctionnement optimales sont détaillés. Une large place est aussi laissée au dépannage. D'ailleurs, pour guider le lecteur, l'auteur propose des conseils pour établir un diagnostic et des procédures de dépannage pour les pannes les plus courantes. En vous permettant de bien maîtriser votre PC (connaître les composants, faire le meilleur choix lors de l'achat, déjouer les pièges et les problèmes d'installation), ce livre vous permettra également d'en améliorer les performances. Les manipulations de mise à niveau sont soigneusement décrites et ponctuées de conseils vous permettant de mener à bien cette opération. Dans le souci de proposer des informations les plus à jour possible, l'ensemble des manipulations sont proposées sous Windows 7. Toujours dans cette optique, les matériels et les technologies les plus récents sont présentés tout au long du livre. Les chapitres du livre : Avant-propos - Installer un PC - Entretenir son PC - Sécuriser son PC - Faire un diagnostic - Dépanner Windows - Dépanner et faire évoluer son matériel - La carte mère - Le processeur - La mémoire vive - Le disque dur - Les graveurs et les lecteurs optiques - La carte graphique - L'alimentation - Les boîtiers - Les cartes son - Les écrans Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei10913 006-334.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10914 006-334.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10915 006-334.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Malwares / Paul Rascagnères
Titre : Malwares : identification, analyse et éradication Type de document : texte imprimé Auteurs : Paul Rascagnères, Auteur Editeur : Saint-Herblain : ENI éd. Année de publication : cop. 2013 Collection : Epsilon (Saint-Herblain), ISSN 1960-3444 Importance : 1 vol. (334 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-7965-6 Note générale : Notice réd. d'après la couv.
Le livre contient une adresse internet permettant l'accès à un contenu complémentaire
IndexLangues : Français (fre) Mots-clés : Malwares Index. décimale : 006 Résumé : "Ce livre décrit les techniques et la méthodologie utilisées par les professionnels de l'analyse de malwares (ou logiciels malveillants). Il s'adresse à des informaticiens passionnés de sécurité, à des professionnels dans le domaine de la sécurité informatique, qui souhaitent une approche opérationnelle et hautement technique. L'auteur commence par l'identification et la classification des malwares, il décrit ensuite les collectes rapportées par des investigations numériques légales (inforensiques) puis les analyse. Ces collectes comportent des images disque, des journaux d'évènements, mais aussi des images mémoire. Les outils et techniques permettant d'analyser ces données sont décrits avec de nombreux exemples. Après avoir identifié le malware, il convient de l'analyser. L'auteur explique le fonctionnement des outils de sandboxes et décrit des formats de fichier comme les documents pdf ou encore les binaires Windows. Afin de réaliser des analyses extrêmement techniques, le livre contient un chapitre entier sur le reverse engineering (ou rétro-ingénierie), l'auteur y explique les bases de l'assembleur (x86) et l'utilisation d'outils d'analyse statique tel que IDA Pro ou de debuggers tel que OllyDbg. En complément sur ce sujet du reverse engineering, un chapitre explique les techniques d'obfuscation utilisées par les malwares, telles que l'obfuscation de chaînes de caractères ou l'utilisation de packers. L'auteur détaille les techniques permettant de dépacker des binaires packés. La dernière partie de ce livre parcourt les méthodes permettant d'éradiquer les malwares précédemment identifiés et analysés. Le livre est illustré d'exemples d'analyses de véritables malwares et les techniques présentées ont toutes été validées sur des cas réels. Tous les codes sources du livre sont en téléchargement sur le site www.editions-eni.fr. Les chapitres du livre : Avant-propos - Identification d'un malware - Analyse de base - Reverse engineering - Techniques d'obfuscation - Détection, confinement et éradication" Malwares : identification, analyse et éradication [texte imprimé] / Paul Rascagnères, Auteur . - Saint-Herblain : ENI éd., cop. 2013 . - 1 vol. (334 p.) : ill., couv. ill. en coul. ; 21 cm. - (Epsilon (Saint-Herblain), ISSN 1960-3444) .
ISBN : 978-2-7460-7965-6
Notice réd. d'après la couv.
Le livre contient une adresse internet permettant l'accès à un contenu complémentaire
Index
Langues : Français (fre)
Mots-clés : Malwares Index. décimale : 006 Résumé : "Ce livre décrit les techniques et la méthodologie utilisées par les professionnels de l'analyse de malwares (ou logiciels malveillants). Il s'adresse à des informaticiens passionnés de sécurité, à des professionnels dans le domaine de la sécurité informatique, qui souhaitent une approche opérationnelle et hautement technique. L'auteur commence par l'identification et la classification des malwares, il décrit ensuite les collectes rapportées par des investigations numériques légales (inforensiques) puis les analyse. Ces collectes comportent des images disque, des journaux d'évènements, mais aussi des images mémoire. Les outils et techniques permettant d'analyser ces données sont décrits avec de nombreux exemples. Après avoir identifié le malware, il convient de l'analyser. L'auteur explique le fonctionnement des outils de sandboxes et décrit des formats de fichier comme les documents pdf ou encore les binaires Windows. Afin de réaliser des analyses extrêmement techniques, le livre contient un chapitre entier sur le reverse engineering (ou rétro-ingénierie), l'auteur y explique les bases de l'assembleur (x86) et l'utilisation d'outils d'analyse statique tel que IDA Pro ou de debuggers tel que OllyDbg. En complément sur ce sujet du reverse engineering, un chapitre explique les techniques d'obfuscation utilisées par les malwares, telles que l'obfuscation de chaînes de caractères ou l'utilisation de packers. L'auteur détaille les techniques permettant de dépacker des binaires packés. La dernière partie de ce livre parcourt les méthodes permettant d'éradiquer les malwares précédemment identifiés et analysés. Le livre est illustré d'exemples d'analyses de véritables malwares et les techniques présentées ont toutes été validées sur des cas réels. Tous les codes sources du livre sont en téléchargement sur le site www.editions-eni.fr. Les chapitres du livre : Avant-propos - Identification d'un malware - Analyse de base - Reverse engineering - Techniques d'obfuscation - Détection, confinement et éradication" Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei10708 006-325.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10709 006-325.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10710 006-325.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10711 006-325.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10712 006-325.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Méthodes d'évaluation des systemes informatiques a travers les modèles de simulation et de benchmarking / Djamel Messadene
PermalinkLe micro / Christian Schüller
PermalinkMicrosoft Exchange server 2003 administrator's companion / Walter J. Glenn
PermalinkMicrosoft SQL Server 2000 / Microsoft Corporation
PermalinkMicrosoft SQL Server 2000 au quotidien
PermalinkMise en reseau : notions fondamentales / Kocher Georges-Louis
PermalinkModélisation et simulation à base d'agents / Jean-Pierre Treuil
PermalinkMon système Linux / Philippe Lalevée
PermalinkMonter son réseau / Olivier Pavie
PermalinkMultimédias et réseaux / Entretiens de la Villette
PermalinkMySQL 5 / Michael Kofler
PermalinkLe mythe du mois-homme / Frederick Phillips Brooks
PermalinkLe noyau Linux / Daniel P. Bovet
PermalinkObjectif Cloud / Jean-Louis Caire
PermalinkOracle 9i sous windows / Gilles Briard
PermalinkLes ordinateurs massivement parallèles / Cécile Germain-Renaud
PermalinkOrganisation et architecture de l'ordinateur / William Stallings
PermalinkOutils d'administration Linux en entreprise / Jérôme Henry
PermalinkOutils logiciels pour la programmation système / Ted J. Biggerstaff
Permalinkouvelles technologies d'accès aux données
PermalinkPasser à Linux 100 % facile / Rickford Grant
PermalinkLe PC / Scott Mueller
PermalinkLe PC / Scott Mueller
PermalinkPlanification et simulation des réseaux / Mounir Frikha
PermalinkPortez vos bases Access sur le web / Lentzner
PermalinkPratique des tests logiciels : Améliorer la qualité par les tests, Gérer une campagne de tests,Préparer la certification ISTQB / Jean-François Pradat-Peyre
PermalinkPréparation à la certification CCNA / Wendell Odom
PermalinkPrincipes des systèmes d'exploitation avec Java / Abraham Silberschatz
PermalinkProblèmes d'ordonnancement / Jacques Carlier
PermalinkProcessus décisionnels de Markov en intelligence artificielle
PermalinkProtocoles et reseaux locaux / Michel Kadoch
PermalinkRéférencement de votre site web / Marie Prat
PermalinkLe réseau Internet / Stéphane Lohier
PermalinkLe réseau sans fil chez soi / Olivier Pavie
PermalinkLes réseaux / Guy Pujolle
PermalinkRéseaux / Andrew S. Tanenbaum
PermalinkLes réseaux / Guy Pujolle
PermalinkLes réseaux / Guy Pujolle
PermalinkLes réseaux / Joe Habraken
PermalinkLes réseaux / José Dordoigne
PermalinkRéseaux ATM / Marc Boisseau
PermalinkLes réseaux avec Cisco / André Vaucamps
PermalinkPermalinkRéseaux / Andrew S. Tanenbaum
PermalinkLes réseaux / Guy Pujolle
Permalink