الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
. Faculté des Sciences Exactes et Informatique
1286 résultat(s)
Affiner la recherche
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Titre : Le langage de programmation PL/1 Type de document : texte imprimé Auteurs : Charles Berthet Mention d'édition : 3e éd. -- Editeur : Paris : Dunod Année de publication : 1977 Importance : xiii, 194 p. Format : 24 cm. - ISBN/ISSN/EAN : 978-2-04-010029-2 Mots-clés : langage programmation Index. décimale : 005 Résumé : Le langage de programmation PL/1 [texte imprimé] / Charles Berthet . - 3e éd. -- . - Paris : Dunod, 1977 . - xiii, 194 p. ; 24 cm. -.
ISBN : 978-2-04-010029-2
Mots-clés : langage programmation Index. décimale : 005 Résumé : Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei00316 005-249.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00315 005-249.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01394 005-249.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01393 005-249.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Le langage Python : Python 3 par la pratique avec exercices corrigés Type de document : texte imprimé Auteurs : Pierre Puiseux (1953-....), Auteur Editeur : Paris : Ellipses Année de publication : DL 2012 Collection : Technosup (Paris), ISSN 1275-3955. Importance : 1 vol. (234 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7230-4 Note générale : La p. de titre et la couv. portent en plus : "programmation"
Contient une adresse Internet permettant l'accès à un contenu complémentaire
Bibliogr., 1 p. IndexLangues : Français (fre) Mots-clés : Python Index. décimale : 005 Résumé : Ouvrage essentiellement pratique, avec exercices corrigés, couvrant notions de base et concepts spécifiques plus élaborés, pour apprendre le langage qui réalise le meilleur compromis entre performance, lisibilité et vitesse de développement. Le langage Python : Python 3 par la pratique avec exercices corrigés [texte imprimé] / Pierre Puiseux (1953-....), Auteur . - Paris : Ellipses, DL 2012 . - 1 vol. (234 p.) : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955.) .
ISBN : 978-2-7298-7230-4
La p. de titre et la couv. portent en plus : "programmation"
Contient une adresse Internet permettant l'accès à un contenu complémentaire
Bibliogr., 1 p. Index
Langues : Français (fre)
Mots-clés : Python Index. décimale : 005 Résumé : Ouvrage essentiellement pratique, avec exercices corrigés, couvrant notions de base et concepts spécifiques plus élaborés, pour apprendre le langage qui réalise le meilleur compromis entre performance, lisibilité et vitesse de développement. Réservation
Réserver ce document
Exemplaires (13)
Code-barres Cote Support Localisation Section Disponibilité fsei09940 005-640.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09949 005-640.10 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10389 005-640.11 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10390 005-640.12 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10391 005-640.13 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09941 005-640.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09942 005-640.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09943 005-640.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09944 005-640.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09945 005-640.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09946 005-640.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09947 005-640.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09948 005-640.9 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Le langage SMS : étude d'un corpus informatisé partir de l’enquêté "Faites don de vos SMS la science" Type de document : texte imprimé Auteurs : Cédrick Fairon, ; Jean-Ren© Klein, ; S©bastien Paumier (1977-....), Editeur : Louvain-la-Neuve : UCL Presses universitaires de Louvain Année de publication : 2006. Collection : Cahiers du Cental (Louvain-la-Neuve), ISSN 1783-2845 num. 3.1. Importance : 1 vol. (VIII-123 p.) Présentation : ill., carte Format : 24 cm. ISBN/ISSN/EAN : 978-2-87463-048-4 Langues : Français (fre) Mots-clés : langage SMS corpus informatisé Index. décimale : 004 Résumé : Pour la première fois, une étude scientifique propose une vision du « langage SMS ». Refusant de se fier aux intuitions ou aux impressions, les auteurs de cette étude linguistique, basée sur un corpus de données authentiques, bousculent les idées reçues. La brièveté des messages est-elle une règle ? Tout le monde utilise-t-il les mêmes abréviations ? Ces jeux de langue sont-ils nouveaux ? Est-ce un langage de jeunes ? Est-ce la ruine de l'orthographe française ? Le projet « Faites don de vos SMS à la science » a permis de rassembler 75 000 SMS dans une base de données qui constitue aujourd'hui la plus vaste source d'information accessible pour la recherche. Ce livre entraîne le lecteur dans les coulisses de ce projet scientifique avant de lui faire découvrir les trésors d’inventivité linguistique dont font preuve les usagers du SMS. Le langage SMS : étude d'un corpus informatisé partir de l’enquêté "Faites don de vos SMS la science" [texte imprimé] / Cédrick Fairon, ; Jean-Ren© Klein, ; S©bastien Paumier (1977-....), . - Louvain-la-Neuve : UCL Presses universitaires de Louvain, 2006. . - 1 vol. (VIII-123 p.) : ill., carte ; 24 cm.. - (Cahiers du Cental (Louvain-la-Neuve), ISSN 1783-2845; 3.1.) .
ISBN : 978-2-87463-048-4
Langues : Français (fre)
Mots-clés : langage SMS corpus informatisé Index. décimale : 004 Résumé : Pour la première fois, une étude scientifique propose une vision du « langage SMS ». Refusant de se fier aux intuitions ou aux impressions, les auteurs de cette étude linguistique, basée sur un corpus de données authentiques, bousculent les idées reçues. La brièveté des messages est-elle une règle ? Tout le monde utilise-t-il les mêmes abréviations ? Ces jeux de langue sont-ils nouveaux ? Est-ce un langage de jeunes ? Est-ce la ruine de l'orthographe française ? Le projet « Faites don de vos SMS à la science » a permis de rassembler 75 000 SMS dans une base de données qui constitue aujourd'hui la plus vaste source d'information accessible pour la recherche. Ce livre entraîne le lecteur dans les coulisses de ce projet scientifique avant de lui faire découvrir les trésors d’inventivité linguistique dont font preuve les usagers du SMS. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00587 004-184.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00588 004-184.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Le langage SQL : pratiques de base et concepts avancés Type de document : texte imprimé Auteurs : Frédéric Baurand, Auteur Editeur : Paris : Ellipses Année de publication : impr. 2011 Collection : Technosup (Paris), ISSN 1275-3955. Importance : 1 vol. (187 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-7080-5 Note générale : La p. de titre et la couv. portent en plus : "programmation"
IndexLangues : Français (fre) Mots-clés : SQL Index. décimale : 005 Résumé : Le SQL ou Structured Query Language est le langage incontournable dans le monde des bases de données. Né en 1979, il n'a pas cessé d'évoluer depuis. Il est utilisé par tous les administrateurs de bases de données et par tous les développeurs qui travaillent dans le monde des bases de données. Aux étudiants et aux élèves ingénieurs cet ouvrage apportera les clés permettant d'assimiler et de pratiquer ce langage et également les moyens de progresser et d'accéder aux subtilités de son utilisation. De même, les développeurs y trouveront des éléments pour progresser dans leur technicité et leur approche du développement dans le monde des bases de données. Bâti de manière progressive, le livre présente pas à pas tous les aspects de la programmation avec le SQL. Il développe les différents concepts majeurs en illustrant les syntaxes présentées avec de nombreux exemples et de courts exercices corrigés. Tous les chapitres se terminent par une mise en application plus complexe avec sa solution. En fin d'ouvrage, un cas complet accompagné de son corrigé permet de faire le point sur l'acquisition des connaissances. Le langage SQL : pratiques de base et concepts avancés [texte imprimé] / Frédéric Baurand, Auteur . - Paris : Ellipses, impr. 2011 . - 1 vol. (187 p.) : ill., couv. ill. ; 24 cm. - (Technosup (Paris), ISSN 1275-3955.) .
ISBN : 978-2-7298-7080-5
La p. de titre et la couv. portent en plus : "programmation"
Index
Langues : Français (fre)
Mots-clés : SQL Index. décimale : 005 Résumé : Le SQL ou Structured Query Language est le langage incontournable dans le monde des bases de données. Né en 1979, il n'a pas cessé d'évoluer depuis. Il est utilisé par tous les administrateurs de bases de données et par tous les développeurs qui travaillent dans le monde des bases de données. Aux étudiants et aux élèves ingénieurs cet ouvrage apportera les clés permettant d'assimiler et de pratiquer ce langage et également les moyens de progresser et d'accéder aux subtilités de son utilisation. De même, les développeurs y trouveront des éléments pour progresser dans leur technicité et leur approche du développement dans le monde des bases de données. Bâti de manière progressive, le livre présente pas à pas tous les aspects de la programmation avec le SQL. Il développe les différents concepts majeurs en illustrant les syntaxes présentées avec de nombreux exemples et de courts exercices corrigés. Tous les chapitres se terminent par une mise en application plus complexe avec sa solution. En fin d'ouvrage, un cas complet accompagné de son corrigé permet de faire le point sur l'acquisition des connaissances. Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité fsei10047 005-623.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10048 005-623.10 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10049 005-623.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10050 005-623.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10051 005-623.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10052 005-623.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10053 005-623.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10054 005-623.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10055 005-623.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10056 005-623.9 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques Type de document : texte imprimé Auteurs : Olivier Carton, Auteur Editeur : Paris : Vuibert Année de publication : 2008 Importance : 237 p. Présentation : ill., couv. ill. en coul. Format : 24 x 17 cm. ISBN/ISSN/EAN : 978-2-7117-2077-4 Note générale : Bibliogr. p. 233-234. Index Langues : Français (fre) Mots-clés : Langages formels calculabilité complexité Index. décimale : 004 Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques [texte imprimé] / Olivier Carton, Auteur . - Paris : Vuibert, 2008 . - 237 p. : ill., couv. ill. en coul. ; 24 x 17 cm.
ISBN : 978-2-7117-2077-4
Bibliogr. p. 233-234. Index
Langues : Français (fre)
Mots-clés : Langages formels calculabilité complexité Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité fsei00592 004-155.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00593 004-155.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00594 004-155.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00595 004-155.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00597 004-155.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00596 004-155.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Les Langages à objets
Titre : Les Langages à objets : langages de classes, langages de frames, langages d'acteurs Type de document : texte imprimé Editeur : Paris : InterÉd. Année de publication : 1989 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 Importance : 584 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7296-0275-8 Note générale : Bibliogr. p. 525-561. Index Langues : Français (fre) Mots-clés : Langages objets Index. décimale : 004 Résumé : L'ouvrage présente différents langages, notamment Smalltalk, Lisp et leurs dérivés, C++, Eiffel, Plasma... Les Langages à objets : langages de classes, langages de frames, langages d'acteurs [texte imprimé] . - Paris : InterÉd., 1989 . - 584 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416) .
ISBN : 978-2-7296-0275-8
Bibliogr. p. 525-561. Index
Langues : Français (fre)
Mots-clés : Langages objets Index. décimale : 004 Résumé : L'ouvrage présente différents langages, notamment Smalltalk, Lisp et leurs dérivés, C++, Eiffel, Plasma... Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00490 004-199.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00985 004-199.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Les langages à objets : principes de base, techniques de programmation Type de document : texte imprimé Auteurs : Michel Beaudouin-Lafon Editeur : Paris : A. Colin Année de publication : 1992 Importance : 148 p. Présentation : ill. - ISBN/ISSN/EAN : 978-2-200-42051-2 Mots-clés : langages objets Index. décimale : 005 Résumé : Les langages à objets : principes de base, techniques de programmation [texte imprimé] / Michel Beaudouin-Lafon . - Paris : A. Colin, 1992 . - 148 p. : ill. -.
ISBN : 978-2-200-42051-2
Mots-clés : langages objets Index. décimale : 005 Résumé : Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00983 005-95.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : LaTex Type de document : texte imprimé Auteurs : Bitouzé, Denis, ; Jean-C´me Charpentier, Editeur : Paris : Pearson education France Année de publication : 2006 Collection : Synthex, ISSN 1768-7616 Importance : X-293 p. Présentation : couv. ill. en coul. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7440-7187-4 Note générale : La couv. porte en plus : "L'essentiel pour bien (re)-d©marrer avec LaTeX, des explications claires sur la mise en pages des textes, la composition des math©matiques, la cr©ation de tableaux, de sch©mas scientifiques, la conception d'une bibliographie, de nombreux exemples issus des disciplines scientifiques" Langues : Français (fre) Mots-clés : LaTex Index. décimale : 004 Résumé : La collection Synthex informatique propose de redcouvrir les fondements thoriques et les applications pratiques des principales disciplines de science informatique. A partir d'une synthse de cours rigoureuse et dexercices aux corrigs dtaills, le lecteur, tudiant ou professionnel, est conduit au coeur de la discipline, et acquiert une comprhension rapide et un raisonnement solide.
Systme ddi la composition de documents, LaTeX permet de rdiger des articles, des rapports, des mmoires ou des ouvrages et de les mettre en pages avec une qualit typographique remarquable. Plbiscit au dpart par les milieux scientifiques (notamment pour la physique et les mathmatiques), son usage est aujourd'hui largement rpandu dans de nombreux domaines (sciences humaines, informatique, conomie...), tant pour son efficacit que pour sa gratuit.
Cet ouvrage prsente l'essentiel de ce qu'il faut savoir pour bien composer des documents avec LaTeX. Le lecteur est guid pas pas de l'installation d'une distribution la production d'un document complet et de qualit, en passant par la composition des formules de type mathmatiques et des tableaux, la cration et l'insertion de schmas, la conception de transparents et la gestion des bibliographies.
Le texte est richement illustr d'exemples issus de diffrentes disciplines (mathmatiques, physique, chimie, biologie, informatique). Chaque chapitre se clt par une srie d'exercices, permettant de mettre en pratique les notions prsentes.
Le CD-ROM d'accompagnement comprend tous les packages prsents, les fichiers sources des exemples et des exercices, ainsi qu'une distribution pour systmes Windows simple, complte et rcente permettant d'utiliser immdiatement LaTeX.
LaTex [texte imprimé] / Bitouzé, Denis, ; Jean-C´me Charpentier, . - Paris : Pearson education France, 2006 . - X-293 p. : couv. ill. en coul. ; 26 cm.. - (Synthex, ISSN 1768-7616) .
ISBN : 978-2-7440-7187-4
La couv. porte en plus : "L'essentiel pour bien (re)-d©marrer avec LaTeX, des explications claires sur la mise en pages des textes, la composition des math©matiques, la cr©ation de tableaux, de sch©mas scientifiques, la conception d'une bibliographie, de nombreux exemples issus des disciplines scientifiques"
Langues : Français (fre)
Mots-clés : LaTex Index. décimale : 004 Résumé : La collection Synthex informatique propose de redcouvrir les fondements thoriques et les applications pratiques des principales disciplines de science informatique. A partir d'une synthse de cours rigoureuse et dexercices aux corrigs dtaills, le lecteur, tudiant ou professionnel, est conduit au coeur de la discipline, et acquiert une comprhension rapide et un raisonnement solide.
Systme ddi la composition de documents, LaTeX permet de rdiger des articles, des rapports, des mmoires ou des ouvrages et de les mettre en pages avec une qualit typographique remarquable. Plbiscit au dpart par les milieux scientifiques (notamment pour la physique et les mathmatiques), son usage est aujourd'hui largement rpandu dans de nombreux domaines (sciences humaines, informatique, conomie...), tant pour son efficacit que pour sa gratuit.
Cet ouvrage prsente l'essentiel de ce qu'il faut savoir pour bien composer des documents avec LaTeX. Le lecteur est guid pas pas de l'installation d'une distribution la production d'un document complet et de qualit, en passant par la composition des formules de type mathmatiques et des tableaux, la cration et l'insertion de schmas, la conception de transparents et la gestion des bibliographies.
Le texte est richement illustr d'exemples issus de diffrentes disciplines (mathmatiques, physique, chimie, biologie, informatique). Chaque chapitre se clt par une srie d'exercices, permettant de mettre en pratique les notions prsentes.
Le CD-ROM d'accompagnement comprend tous les packages prsents, les fichiers sources des exemples et des exercices, ainsi qu'une distribution pour systmes Windows simple, complte et rcente permettant d'utiliser immdiatement LaTeX.
Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00576 004-244.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Lexique BASIC [Beginners all purpose symbolic instruction code] Type de document : texte imprimé Auteurs : Eddie Adamis, Auteur Editeur : Auckland : McGraw-Hill Année de publication : 1983 Importance : 355 p. Format : 21 cm ISBN/ISSN/EAN : 978-2-7042-1070-1 Note générale : La couv. porte en plus : "formulations, programmes, commandes, fonctions, instructions, opérateurs, symboles, définitions" Langues : Français (fre) Mots-clés : BASIC Index. décimale : 005 Lexique BASIC [Beginners all purpose symbolic instruction code] [texte imprimé] / Eddie Adamis, Auteur . - Auckland : McGraw-Hill, 1983 . - 355 p. ; 21 cm.
ISBN : 978-2-7042-1070-1
La couv. porte en plus : "formulations, programmes, commandes, fonctions, instructions, opérateurs, symboles, définitions"
Langues : Français (fre)
Mots-clés : BASIC Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00740 005-20.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux Type de document : texte imprimé Auteurs : Cyril Nocton, Mention d'édition : 2e ©d. Editeur : Paris : Micro Application Année de publication : 2002. Collection : PC poche (Paris), ISSN 1251-4772 num. 3224. Importance : 543 p. Présentation : ill., couv. ill. en coul. Format : 19 cm. ISBN/ISSN/EAN : 978-2-7429-2224-6 Langues : Français (fre) Index. décimale : 005 Linux [texte imprimé] / Cyril Nocton, . - 2e ©d. . - Paris : Micro Application, 2002. . - 543 p. : ill., couv. ill. en coul. ; 19 cm.. - (PC poche (Paris), ISSN 1251-4772; 3224.) .
ISBN : 978-2-7429-2224-6
Langues : Français (fre)
Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00448 005-50.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux Type de document : texte imprimé Auteurs : Nicolas Pons, Auteur Année de publication : cop. 2015 Importance : 1 vol. (318-202 p.) Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-9750-6 Langues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur Linux s'adresse autant aux débutants désireux de maîtriser les principes de base de ce système d'exploitation, qu'aux informaticiens plus expérimentés souhaitant consolider leurs connaissances acquises sur le terrain. Il est organisé en deux parties, correspondant à deux livres existants : le premier issu de la collection de livres de référence Ressources Informatiques, le second issu de la collection de livres TP Informatiques. Ainsi, la première partie couvre les notions fondamentales d'un point de vue théorique et la seconde partie propose au lecteur de nombreux exercices ainsi qu'un ensemble de Travaux Pratiques complets avec leurs corrigés détaillés. 1ère partie : Linux - Principes de base de l'utilisation du système Le livre présente de façon détaillée les principes de base du système et décrit très précisément les commandes essentielles à la manipulation de la ligne de commande shell, en les illustrant de nombreux exemples. 2ième partie : Linux Entraînez-vous sur les commandes de base 46QCM - 64 travaux pratiques et leurs corrigés - Près de 16 H de mise en pratique. Fondé sur les dernières distributions Linux Redhat, Fedora, Suse et Debian, ce livre vous permettra d'acquérir la pratique nécessaire à l'utilisation du système d'exploitation GNU/Linux. Régulièrement utilisé comme manuel d'exercices en formation professionnelle, il offre une approche progressive et pédagogique. Linux [texte imprimé] / Nicolas Pons, Auteur . - cop. 2015 . - 1 vol. (318-202 p.) : ill., couv. ill. ; 21 cm.
ISBN : 978-2-7460-9750-6
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur Linux s'adresse autant aux débutants désireux de maîtriser les principes de base de ce système d'exploitation, qu'aux informaticiens plus expérimentés souhaitant consolider leurs connaissances acquises sur le terrain. Il est organisé en deux parties, correspondant à deux livres existants : le premier issu de la collection de livres de référence Ressources Informatiques, le second issu de la collection de livres TP Informatiques. Ainsi, la première partie couvre les notions fondamentales d'un point de vue théorique et la seconde partie propose au lecteur de nombreux exercices ainsi qu'un ensemble de Travaux Pratiques complets avec leurs corrigés détaillés. 1ère partie : Linux - Principes de base de l'utilisation du système Le livre présente de façon détaillée les principes de base du système et décrit très précisément les commandes essentielles à la manipulation de la ligne de commande shell, en les illustrant de nombreux exemples. 2ième partie : Linux Entraînez-vous sur les commandes de base 46QCM - 64 travaux pratiques et leurs corrigés - Près de 16 H de mise en pratique. Fondé sur les dernières distributions Linux Redhat, Fedora, Suse et Debian, ce livre vous permettra d'acquérir la pratique nécessaire à l'utilisation du système d'exploitation GNU/Linux. Régulièrement utilisé comme manuel d'exercices en formation professionnelle, il offre une approche progressive et pédagogique. Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité fsei11948 005-730.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11949 005-730.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11950 005-730.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11951 005-730.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11947 005-730.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11952 005-730.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux Type de document : texte imprimé Auteurs : Philippe Pinchon (1964-....), Auteur Année de publication : 2016 ISBN/ISSN/EAN : 978-2-409-00131-4 Langues : Français (fre) Mots-clés : gnu/linux Index. décimale : 005 Résumé : Ce livre s'adresse à un public de professionnels de l'informatique soucieux de consolider leurs connaissances de base sur le système d'exploitation Linux afin d'évoluer en compétences sur la maintenance et le support de ce dernier. Les distributions Linux traitées dans le livre sont Debian 8, Ubuntu Server 14.04 LTS et CentOS 7. Il est néanmoins possible d'adapter les sujets du livre à d'autres distributions. L'auteur commence par présenter l'architecture du système. Les chapitres suivants traitent chacun un sujet précis : la compilation et l'installation du noyau Linux (en version 4,3 au moment de l'écriture), le chargement et le déchargement de modules de noyau (Loadable Kernel Modules), les pseudos systèmes de fichiers procfs et sysfs, la détection du matériel, la gestion des disques, la séquence d'amorçage, la maintenance des applications, la configuration réseau d'un ordinateur, l'analyse de performances et les paramètres de sécurité à prendre en compte pour sécuriser un serveur. L'auteur détaille les commandes nécessaires, illustre ces dernières au travers d'exemples concrets et propose des exercices pour permettre au lecteur de travailler les points essentiels de chaque chapitre. En ligne : http://ezproxy.normandie-univ.fr/login?url=https://www.eni-training.com/cs/unica [...] Linux [texte imprimé] / Philippe Pinchon (1964-....), Auteur . - 2016.
ISBN : 978-2-409-00131-4
Langues : Français (fre)
Mots-clés : gnu/linux Index. décimale : 005 Résumé : Ce livre s'adresse à un public de professionnels de l'informatique soucieux de consolider leurs connaissances de base sur le système d'exploitation Linux afin d'évoluer en compétences sur la maintenance et le support de ce dernier. Les distributions Linux traitées dans le livre sont Debian 8, Ubuntu Server 14.04 LTS et CentOS 7. Il est néanmoins possible d'adapter les sujets du livre à d'autres distributions. L'auteur commence par présenter l'architecture du système. Les chapitres suivants traitent chacun un sujet précis : la compilation et l'installation du noyau Linux (en version 4,3 au moment de l'écriture), le chargement et le déchargement de modules de noyau (Loadable Kernel Modules), les pseudos systèmes de fichiers procfs et sysfs, la détection du matériel, la gestion des disques, la séquence d'amorçage, la maintenance des applications, la configuration réseau d'un ordinateur, l'analyse de performances et les paramètres de sécurité à prendre en compte pour sécuriser un serveur. L'auteur détaille les commandes nécessaires, illustre ces dernières au travers d'exemples concrets et propose des exercices pour permettre au lecteur de travailler les points essentiels de chaque chapitre. En ligne : http://ezproxy.normandie-univ.fr/login?url=https://www.eni-training.com/cs/unica [...] Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei12153 005-735.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12154 005-735.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux Type de document : texte imprimé Auteurs : Jack Tackett (1962-....), Auteur ; Steven Forrest Burnett (19..-....), Auteur Mention d'édition : 6e éd. Editeur : Paris : CampusPress Année de publication : 2001 Collection : Le Campus (Paris. 2000), ISSN 1624-1509 Importance : XXII-689 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7440-1277-8 Note générale : Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Linux Index. décimale : 006 Résumé : Cet ouvrage vous livre toutes les informations nécessaires pour administrer efficacement les systèmes Linux. Vous saurez rapidement gérer les fichiers, imprimer, utiliser X Window. Vous apprendrez également à utiliser et à administrer Linux en réseau. Vous découvrirez comment configurer un réseau TCP/IP et exploiter des ressources Internet telles que le courrier électronique et les news. Enfin, l'installation, la configuration et la gestion d'un serveur Web sous Linux n'auront plus aucun secret pour vous. Linux [texte imprimé] / Jack Tackett (1962-....), Auteur ; Steven Forrest Burnett (19..-....), Auteur . - 6e éd. . - Paris : CampusPress, 2001 . - XXII-689 p. : ill., couv. ill. en coul. ; 23 cm. - (Le Campus (Paris. 2000), ISSN 1624-1509) .
ISBN : 978-2-7440-1277-8
Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Linux Index. décimale : 006 Résumé : Cet ouvrage vous livre toutes les informations nécessaires pour administrer efficacement les systèmes Linux. Vous saurez rapidement gérer les fichiers, imprimer, utiliser X Window. Vous apprendrez également à utiliser et à administrer Linux en réseau. Vous découvrirez comment configurer un réseau TCP/IP et exploiter des ressources Internet telles que le courrier électronique et les news. Enfin, l'installation, la configuration et la gestion d'un serveur Web sous Linux n'auront plus aucun secret pour vous. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02277 006-85.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux de A à Z pour les nuls Type de document : texte imprimé Auteurs : Dee-Ann LeBlanc, Auteur ; Susan Douglas (19..-....), Auteur ; Korry Douglas, Auteur Importance : XXI-719 p. Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7540-0853-2 Note générale : La couv. porte en plus : "pour Fedora, Mandriva et SuSE"
Contient des extr. de : "Linux", trad. de : "Linux for dummies" et de "Linux trucs et astuces", trad. de : "Linux Timesaving for dummies"
IndexLangues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Linux Index. décimale : 006 Linux de A à Z pour les nuls [texte imprimé] / Dee-Ann LeBlanc, Auteur ; Susan Douglas (19..-....), Auteur ; Korry Douglas, Auteur . - [s.d.] . - XXI-719 p. : ill., couv. ill. ; 21 cm.
ISBN : 978-2-7540-0853-2
La couv. porte en plus : "pour Fedora, Mandriva et SuSE"
Contient des extr. de : "Linux", trad. de : "Linux for dummies" et de "Linux trucs et astuces", trad. de : "Linux Timesaving for dummies"
Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Linux Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02119 006-14.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02120 006-14.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux administration Type de document : texte imprimé Auteurs : Bouchaudy, Auteur Autre Editeur : EYROLLES Année de publication : DL 2012 Importance : 1 vol. (pagination multiple ca [400] p.) Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-212-13462-9 Langues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Après deux premiers tomes dédiés aux bases et aux aspects avancés de l'administration système, ce troisième tome de la série Linux Administration traite de toutes les facettes de la sécurité Linux : sécurité de connexion, sécurité réseau, pare-feu, audit de sécurité, politiques de sécurité, etc. Très pragmatique dans son approche, l'auteur va à l'essentiel avec des fiches de cours synthétiques, accompagnées d'ateliers qui forment un recueil de recettes pratiques pour la gestion au quotidien de la sécurité d'un serveur Linux. Cette seconde édition prend en compte l'évolution des outils et des usages, et se fait l'écho de la montée en puissance d'outils comme SELinux, OpenVPN, OpenVAS ou Metasploit. L'auteur a choisi de mettre l'accent sur le mode commande, plutôt que sur les outils graphiques fournis avec les distributions. La connaissance des fichiers et des commandes qui se cachent derrière ces outils est en effet indispensable aux administrateurs opérant dans un contexte professionnel, et offre l'avantage d'une certaine indépendance vis-à-vis des distributions. Les quelques variantes sont indiquées dans des sections intitulées Les particularités des distributions, qui couvrent Red Hat/Fedora/CentOS et Debian/Ubuntu. Linux administration [texte imprimé] / Bouchaudy, Auteur . - [S.l.] : EYROLLES, DL 2012 . - 1 vol. (pagination multiple ca [400] p.) : ill. ; 26 cm.
ISBN : 978-2-212-13462-9
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Après deux premiers tomes dédiés aux bases et aux aspects avancés de l'administration système, ce troisième tome de la série Linux Administration traite de toutes les facettes de la sécurité Linux : sécurité de connexion, sécurité réseau, pare-feu, audit de sécurité, politiques de sécurité, etc. Très pragmatique dans son approche, l'auteur va à l'essentiel avec des fiches de cours synthétiques, accompagnées d'ateliers qui forment un recueil de recettes pratiques pour la gestion au quotidien de la sécurité d'un serveur Linux. Cette seconde édition prend en compte l'évolution des outils et des usages, et se fait l'écho de la montée en puissance d'outils comme SELinux, OpenVPN, OpenVAS ou Metasploit. L'auteur a choisi de mettre l'accent sur le mode commande, plutôt que sur les outils graphiques fournis avec les distributions. La connaissance des fichiers et des commandes qui se cachent derrière ces outils est en effet indispensable aux administrateurs opérant dans un contexte professionnel, et offre l'avantage d'une certaine indépendance vis-à-vis des distributions. Les quelques variantes sont indiquées dans des sections intitulées Les particularités des distributions, qui couvrent Red Hat/Fedora/CentOS et Debian/Ubuntu. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei08813 005-577.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei08814 005-577.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09983 005-577.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux administration Type de document : texte imprimé Auteurs : Abdelmadjid Berlat, Auteur ; Jean-François Bouchaudy, Auteur ; Gilles Goubet, Auteur Mention d'édition : 2e éd. Editeur : Paris : Eyrolles Année de publication : 2001 Collection : Les Guides de formation Tsoft, ISSN 1297-9007 Importance : Pagination multiple Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-212-09299-8 Note générale : Bibliogr., 9 p. Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 006 Résumé : LINUX ADMINISTRATION permettra à tout utilisateur éclairé de Linux (ou de tout autre système Unix) d'acquérir rapidement une bonne maîtrise des tâches d'administration. En prenant pour référence la version 2.2 du noyau, l'ouvrage traite successivement de l'administration système, de la gestion de réseau et de la sécurité.
Les auteurs ont choisi de mettre l'accent sur le mode commande, plutôt que sur les outils graphiques fournis avec telle ou telle distribution. La connaissance des fichiers et des commandes qui se cachent derrière ces outils se révèle en effet indispensable à tout administrateur opérant dans un contexte professionnel.
* A qui s'adresse l'ouvrage ? - Aux utilisateurs Linux avancés souhaitant s'initier aux tâches d'administration - Aux administrateurs de systèmes Unix (Sun Solaris, HP-UX, IBM AIX...) souhaitant migrer vers Linux - Aux administrateurs Windows NT amenés à migrer vers Linux
* Les Guides de formation Tsoft : Rédigés par des professionnels de la formation, les Guides de formation TSoft ont été adoptés par de nombreuses entreprises comme supports de cours ou manuels d'auto formation
Chaque ouvrage de la collection est découpé en modules thématiques présentés sous forme de fiches descriptives très pratiques, illustrées de nombreux exemples. Chaque module se termine par une série d'exercices récapitulatifs minutés, dont les corrigés sont donnés en fin d'ouvrage.Linux administration [texte imprimé] / Abdelmadjid Berlat, Auteur ; Jean-François Bouchaudy, Auteur ; Gilles Goubet, Auteur . - 2e éd. . - Paris : Eyrolles, 2001 . - Pagination multiple : ill. ; 26 cm. - (Les Guides de formation Tsoft, ISSN 1297-9007) .
ISBN : 978-2-212-09299-8
Bibliogr., 9 p. Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 006 Résumé : LINUX ADMINISTRATION permettra à tout utilisateur éclairé de Linux (ou de tout autre système Unix) d'acquérir rapidement une bonne maîtrise des tâches d'administration. En prenant pour référence la version 2.2 du noyau, l'ouvrage traite successivement de l'administration système, de la gestion de réseau et de la sécurité.
Les auteurs ont choisi de mettre l'accent sur le mode commande, plutôt que sur les outils graphiques fournis avec telle ou telle distribution. La connaissance des fichiers et des commandes qui se cachent derrière ces outils se révèle en effet indispensable à tout administrateur opérant dans un contexte professionnel.
* A qui s'adresse l'ouvrage ? - Aux utilisateurs Linux avancés souhaitant s'initier aux tâches d'administration - Aux administrateurs de systèmes Unix (Sun Solaris, HP-UX, IBM AIX...) souhaitant migrer vers Linux - Aux administrateurs Windows NT amenés à migrer vers Linux
* Les Guides de formation Tsoft : Rédigés par des professionnels de la formation, les Guides de formation TSoft ont été adoptés par de nombreuses entreprises comme supports de cours ou manuels d'auto formation
Chaque ouvrage de la collection est découpé en modules thématiques présentés sous forme de fiches descriptives très pratiques, illustrées de nombreux exemples. Chaque module se termine par une série d'exercices récapitulatifs minutés, dont les corrigés sont donnés en fin d'ouvrage.Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02250 006-75.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : administration avancée, maintenance et exploitation de vos serveurs Type de document : texte imprimé Auteurs : Philippe Pinchon (1964-....), Auteur Editeur : Saint Herblain : ENI Année de publication : cop. 2013 Collection : Expert IT, ISSN 1958-9913 Importance : 1 vol. (633 p.) Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-8547-3 Note générale : Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre s'adresse à un public de professionnels de l'informatique soucieux de consolider leurs connaissances de base sur le système d'exploitation Linux afin d'évoluer en compétences sur la maintenance et le support de ce système d'exploitation. Les distributions Linux traitées dans le livre sont Debian 7, Ubuntu Server 12.04 LTS et CentOS 6.4. Il est néanmoins possible d'adapter les sujets du livre à d'autres distributions. L'auteur commence par présenter l'architecture du système puis propose des techniques de dépannage afin d'enrichir votre méthode de diagnostic. Les chapitres suivants traitent chacun un sujet précis : la compilation et l'installation du noyau Linux (en version 3.10 au moment de l'écriture), le chargement et le déchargement de modules de noyau (Loadable Kernel Modules), les pseudos systèmes de fichiers procfs et sysfs, la détection du matériel, la gestion des disques, la séquence d'amorçage, la maintenance des applications, la configuration réseau d'un ordinateur, les paramètres de sécurité et l'analyse des performances. L'auteur détaille les commandes nécessaires et illustre ces dernières au travers d'exemples concrets. Les chapitres du livre : Introduction - Dépannage : techniques et procédures - Architecture du système GNU/Linux - Noyau Linux - Modules - Pseudo-systèmes de fichiers - Dépannage matériel - Maintenance des disques - Séquence d'amorçage - Maintenance des applications - Maintenance de la configuration réseau - Sécurité - Analyse des performances Linux : administration avancée, maintenance et exploitation de vos serveurs [texte imprimé] / Philippe Pinchon (1964-....), Auteur . - Saint Herblain : ENI, cop. 2013 . - 1 vol. (633 p.) : ill., couv. ill. ; 21 cm. - (Expert IT, ISSN 1958-9913) .
ISBN : 978-2-7460-8547-3
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre s'adresse à un public de professionnels de l'informatique soucieux de consolider leurs connaissances de base sur le système d'exploitation Linux afin d'évoluer en compétences sur la maintenance et le support de ce système d'exploitation. Les distributions Linux traitées dans le livre sont Debian 7, Ubuntu Server 12.04 LTS et CentOS 6.4. Il est néanmoins possible d'adapter les sujets du livre à d'autres distributions. L'auteur commence par présenter l'architecture du système puis propose des techniques de dépannage afin d'enrichir votre méthode de diagnostic. Les chapitres suivants traitent chacun un sujet précis : la compilation et l'installation du noyau Linux (en version 3.10 au moment de l'écriture), le chargement et le déchargement de modules de noyau (Loadable Kernel Modules), les pseudos systèmes de fichiers procfs et sysfs, la détection du matériel, la gestion des disques, la séquence d'amorçage, la maintenance des applications, la configuration réseau d'un ordinateur, les paramètres de sécurité et l'analyse des performances. L'auteur détaille les commandes nécessaires et illustre ces dernières au travers d'exemples concrets. Les chapitres du livre : Introduction - Dépannage : techniques et procédures - Architecture du système GNU/Linux - Noyau Linux - Modules - Pseudo-systèmes de fichiers - Dépannage matériel - Maintenance des disques - Séquence d'amorçage - Maintenance des applications - Maintenance de la configuration réseau - Sécurité - Analyse des performances Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei10909/1 005-702.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10910/1 005-702.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux administration : noyau 2.6 Type de document : texte imprimé Auteurs : Jean-François Bouchaudy, Auteur ; Gilles Goubet, Auteur Mention d'édition : 4e éd. Editeur : Paris : Eyrolles Année de publication : 2004 Collection : Les Guides de formation Tsoft, ISSN 1297-9007 Importance : Pagination multiple Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-212-11505-5 Note générale : Bibliogr., 11 p. Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 006 Linux administration : noyau 2.6 [texte imprimé] / Jean-François Bouchaudy, Auteur ; Gilles Goubet, Auteur . - 4e éd. . - Paris : Eyrolles, 2004 . - Pagination multiple : ill. ; 26 cm. - (Les Guides de formation Tsoft, ISSN 1297-9007) .
ISBN : 978-2-212-11505-5
Bibliogr., 11 p. Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02460 006-171.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02461 006-171.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : administration système et exploitation des services réseau Type de document : texte imprimé Auteurs : Philippe Banquet (1959-....), Auteur ; Sébastien Bobillier, Auteur Mention d'édition : 3e éd. Editeur : Saint-Herblain : Éditions ENI Année de publication : cop. 2014 Collection : Expert IT, ISSN 1958-9913 Importance : 1 vol. (502 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-9217-4 Note générale : Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre présente les connaissances nécessaires à la bonne exploitation des systèmes Linux en réseaux local et étendu. Il s'adresse à tout administrateur désireux d'assurer la gestion matérielle des serveurs, une bonne administration du système, et d'utiliser les services applicatifs courants dans les environnements Open Source. Une connaissance raisonnable de la ligne de commande Unix ou Linux est un pré-requis souhaitable pour tirer pleinement profit de cet ouvrage. La gestion du matériel couvre les techniques avancées de stockage (local ou iSCSI), la reconnaissance des périphériques par le système, ainsi que la configuration de l'accès au réseau. L'administration du système d'exploitation traite du démarrage du système, des niveaux d'administration, de la gestion des comptes utilisateurs, locaux ou au sein d'un annuaire. Enfin, une bonne partie de l'ouvrage est dédiée aux équipements d'infrastructure comme les serveurs DNS et DHCP, les services applicatifs courants tels que le partage de fichiers et la messagerie, ainsi que les services web (Apache, Nginx, squid). La sécurité n'est pas oubliée, que ce soit sur les services applicatifs traités ou sur le système lui-même avec la configuration et l'exploitation du pare-feu natif des systèmes Linux. Un chapitre est consacré au suivi des ressources et aux principes de planification de charge. Les auteurs ont conçu ce livre comme une boîte à outils dans laquelle l'administrateur retrouve les éléments de compétences nécessaires à l'exploitation de son réseau avec tout ou partie des services applicatifs. Les chapitres du livre : Avant-propos - Gestion du stockage - Démarrage du système - Gestion du réseau local - Authentification des utilisateurs - Partage de fichiers - Résolution de noms DNS - Serveurs web - Messagerie - Protection des réseaux - Sécurisation du trafic - Compilation des applications et du noyau Linux - Gestion et planification des ressources Linux : administration système et exploitation des services réseau [texte imprimé] / Philippe Banquet (1959-....), Auteur ; Sébastien Bobillier, Auteur . - 3e éd. . - Saint-Herblain : Éditions ENI, cop. 2014 . - 1 vol. (502 p.) : ill. ; 21 cm. - (Expert IT, ISSN 1958-9913) .
ISBN : 978-2-7460-9217-4
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre présente les connaissances nécessaires à la bonne exploitation des systèmes Linux en réseaux local et étendu. Il s'adresse à tout administrateur désireux d'assurer la gestion matérielle des serveurs, une bonne administration du système, et d'utiliser les services applicatifs courants dans les environnements Open Source. Une connaissance raisonnable de la ligne de commande Unix ou Linux est un pré-requis souhaitable pour tirer pleinement profit de cet ouvrage. La gestion du matériel couvre les techniques avancées de stockage (local ou iSCSI), la reconnaissance des périphériques par le système, ainsi que la configuration de l'accès au réseau. L'administration du système d'exploitation traite du démarrage du système, des niveaux d'administration, de la gestion des comptes utilisateurs, locaux ou au sein d'un annuaire. Enfin, une bonne partie de l'ouvrage est dédiée aux équipements d'infrastructure comme les serveurs DNS et DHCP, les services applicatifs courants tels que le partage de fichiers et la messagerie, ainsi que les services web (Apache, Nginx, squid). La sécurité n'est pas oubliée, que ce soit sur les services applicatifs traités ou sur le système lui-même avec la configuration et l'exploitation du pare-feu natif des systèmes Linux. Un chapitre est consacré au suivi des ressources et aux principes de planification de charge. Les auteurs ont conçu ce livre comme une boîte à outils dans laquelle l'administrateur retrouve les éléments de compétences nécessaires à l'exploitation de son réseau avec tout ou partie des services applicatifs. Les chapitres du livre : Avant-propos - Gestion du stockage - Démarrage du système - Gestion du réseau local - Authentification des utilisateurs - Partage de fichiers - Résolution de noms DNS - Serveurs web - Messagerie - Protection des réseaux - Sécurisation du trafic - Compilation des applications et du noyau Linux - Gestion et planification des ressources Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei11236 005-549.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : entraînez-vous sur les commandes de base ; Redhat, Fedora, Suse, Debian ; 46 QCM, 64 travaux pratiques et leurs corrigés, plus de 16 h de mise en pratique Type de document : texte imprimé Auteurs : Nicolas Pons, Auteur Mention d'édition : 2e éd. Editeur : Nantes : Ed. ENI Année de publication : cop. 2009 Collection : Les TP informatiques, ISSN 1765-7334 Importance : 1 vol. (216 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-5126-3 Note générale : Notice réd. d'après la couv.
IndexLangues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Fondé sur les dernières distributions Linux Fedora, Mandriva, Suse et Debian, ce livre vous permettra d'acquérir la pratique nécessaire à l'utilisation du système d'exploitation GNU/Linux. De la connexion à la programmation de scripts shells, vous vous exercerez notamment à l'exécution de commandes en ligne qui vous permettront de modifier votre environnement personnel, de gérer les processus, d'éditer des fichiers texte et de déterminer les droits d'accès associés à vos fichiers. Pour les apports théoriques sur ce sujet, Editions ENI édite, dans la collection Ressources Informatiques, le livre Linux - Principes de base de l'utilisation du système (2e édition), du même auteur. Linux : entraînez-vous sur les commandes de base ; Redhat, Fedora, Suse, Debian ; 46 QCM, 64 travaux pratiques et leurs corrigés, plus de 16 h de mise en pratique [texte imprimé] / Nicolas Pons, Auteur . - 2e éd. . - Nantes : Ed. ENI, cop. 2009 . - 1 vol. (216 p.) : ill., couv. ill. en coul. ; 21 cm. - (Les TP informatiques, ISSN 1765-7334) .
ISBN : 978-2-7460-5126-3
Notice réd. d'après la couv.
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Fondé sur les dernières distributions Linux Fedora, Mandriva, Suse et Debian, ce livre vous permettra d'acquérir la pratique nécessaire à l'utilisation du système d'exploitation GNU/Linux. De la connexion à la programmation de scripts shells, vous vous exercerez notamment à l'exécution de commandes en ligne qui vous permettront de modifier votre environnement personnel, de gérer les processus, d'éditer des fichiers texte et de déterminer les droits d'accès associés à vos fichiers. Pour les apports théoriques sur ce sujet, Editions ENI édite, dans la collection Ressources Informatiques, le livre Linux - Principes de base de l'utilisation du système (2e édition), du même auteur. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei8959/2 005-568.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei8960/2 005-568.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei9474/1 005-568.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12155 005-568.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12156 005-568.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : maîtrisez l'administration du système Type de document : texte imprimé Auteurs : Sébastien Rohaut, Auteur Mention d'édition : 4e éd. Editeur : Saint-Herblain : ENI éditions Année de publication : cop. 2014 Collection : Ressources informatiques (Nantes), ISSN 1627-8224 Importance : 1 vol. (715 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-9226-6 Note générale : Notice réd. d'après la couv.
IndexLangues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur l'administration du système Linux s'adresse à tout informaticien appelé à gérer ce système d'exploitation et désireux d'apprendre ou de consolider des bases acquises sur le terrain. Quelle que soit la distribution Linux utilisée (que ce soit en entreprise ou à la maison), toutes les méthodes et commandes d'administration de Linux sont présentées et détaillées. Cette nouvelle édition du livre tient compte des dernières nouveautés Linux. Le livre fait le tour des connaissances nécessaires à l'installation d'une distribution, la gestion des paquetages logiciels RPM et DPKG, la compilation depuis les sources, les bibliothèques partagées, les principales commandes Gnu et les scripts shell, la gestion des disques et systèmes de fichiers, la mise en place de volumes RAID et LVM, le démarrage et l'arrêt du système, l'impression et les tâches d'administration communes dont la gestion des utilisateurs et l'automatisation des tâches, la configuration du réseau et des services associés, le noyau et sa compilation, les bases de la sécurité, la configuration de l'environnement graphique. Tous les points traités sont agrémentés d'exemples et leur maîtrise fera de vous un administrateur système Linux compétent. Linux : maîtrisez l'administration du système [texte imprimé] / Sébastien Rohaut, Auteur . - 4e éd. . - Saint-Herblain : ENI éditions, cop. 2014 . - 1 vol. (715 p.) : ill. ; 21 cm. - (Ressources informatiques (Nantes), ISSN 1627-8224) .
ISBN : 978-2-7460-9226-6
Notice réd. d'après la couv.
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur l'administration du système Linux s'adresse à tout informaticien appelé à gérer ce système d'exploitation et désireux d'apprendre ou de consolider des bases acquises sur le terrain. Quelle que soit la distribution Linux utilisée (que ce soit en entreprise ou à la maison), toutes les méthodes et commandes d'administration de Linux sont présentées et détaillées. Cette nouvelle édition du livre tient compte des dernières nouveautés Linux. Le livre fait le tour des connaissances nécessaires à l'installation d'une distribution, la gestion des paquetages logiciels RPM et DPKG, la compilation depuis les sources, les bibliothèques partagées, les principales commandes Gnu et les scripts shell, la gestion des disques et systèmes de fichiers, la mise en place de volumes RAID et LVM, le démarrage et l'arrêt du système, l'impression et les tâches d'administration communes dont la gestion des utilisateurs et l'automatisation des tâches, la configuration du réseau et des services associés, le noyau et sa compilation, les bases de la sécurité, la configuration de l'environnement graphique. Tous les points traités sont agrémentés d'exemples et leur maîtrise fera de vous un administrateur système Linux compétent. Réservation
Réserver ce document
Exemplaires (9)
Code-barres Cote Support Localisation Section Disponibilité fsei10592 005-652.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10593 005-652.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10594 005-652.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11941 005-652.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11942 005-652.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11943 005-652.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11944 005-652.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11945 005-652.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei11946 005-652.9 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux en pratique Type de document : texte imprimé Auteurs : Arnold Robbins, Auteur Editeur : Paris : CampusPress Année de publication : impr. 2005 Collection : CampusPress référence, ISSN 1296-5863 Importance : 1 vol. (XXVIII-642 p.) Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7440-1979-1 Note générale : Index. Résumés Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Linux Index. décimale : 005 Résumé : Apprenez concrètement à programmer sous Linux avec du code source réel
Le CampusPress Référence Programmation Linux en pratique vous montre comment programmer sous Linux de la manière la plus efficace qui soit : en rédigeant et en commentant du code source bien écrit issu du monde de Unix V7 et de GNU. Arnold Robbins se concentre sur les API des appels système fondamentaux qui constituent l'ossature fonctionnelle de tout programme en s'appuyant sur des exemples tirés de programmes qu'utilisent au quotidien les programmeurs Linux et Unix.
Etape par étape, l'auteur aborde tant les principes généraux que les détails internes. Tout en progressant, il n'oublie pas de soulever les importantes questions de performances, de portabilité et de fiabilité.
Vous débutez en programmation ? Vous venez du monde Windows ? Vous écrivez déjà pour Linux mais vous voulez mieux connaître les appels système ? Ce livre vous aidera à acquérir vite et bien les principes incontournables pour concevoir des programmes Linux sérieuxLinux en pratique [texte imprimé] / Arnold Robbins, Auteur . - Paris : CampusPress, impr. 2005 . - 1 vol. (XXVIII-642 p.) : ill., couv. ill. en coul. ; 23 cm. - (CampusPress référence, ISSN 1296-5863) .
ISBN : 978-2-7440-1979-1
Index. Résumés
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Linux Index. décimale : 005 Résumé : Apprenez concrètement à programmer sous Linux avec du code source réel
Le CampusPress Référence Programmation Linux en pratique vous montre comment programmer sous Linux de la manière la plus efficace qui soit : en rédigeant et en commentant du code source bien écrit issu du monde de Unix V7 et de GNU. Arnold Robbins se concentre sur les API des appels système fondamentaux qui constituent l'ossature fonctionnelle de tout programme en s'appuyant sur des exemples tirés de programmes qu'utilisent au quotidien les programmeurs Linux et Unix.
Etape par étape, l'auteur aborde tant les principes généraux que les détails internes. Tout en progressant, il n'oublie pas de soulever les importantes questions de performances, de portabilité et de fiabilité.
Vous débutez en programmation ? Vous venez du monde Windows ? Vous écrivez déjà pour Linux mais vous voulez mieux connaître les appels système ? Ce livre vous aidera à acquérir vite et bien les principes incontournables pour concevoir des programmes Linux sérieuxRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01695 005-415.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : LINUX : préparation à la certification LPIC-1 (examens LPI 101 et LPI 102) / Type de document : texte imprimé Auteurs : Sébastien Rohaut Mention d'édition : 5ème édition ISBN/ISSN/EAN : 978-2-409-00866-5 Note générale : Titre de l'écran-titre (visionné le 12 janvier 2018) In Bibliothèque numérique ENI Langues : Français (fre) Mots-clés : LINUX Index. décimale : 005 Résumé : Les examens LPI 101 et LPI 102 sont les deux examens qui permettent d'obtenir la certification LPIC-1 "Certification Professionnelle Linux Administrateur". Ce programme de certification du Linux Professional Institute est reconnu par les recruteurs qui voient dans cette certification un prérequis à l'embauche ou à l'accession à un poste d'administrateur. Les examens LPI 101 et 102 prouvent aux professionnels que vous maîtrisez les bases de l'administration système Linux quelle que soit la distribution : l'installation et la configuration complète d'un poste de travail ou d'un serveur et de tous les services essentiels associés, tant systèmes que réseaux. Cette nouvelle édition du livre tient compte des dernières nouveautés Linux. Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de la dernière version de l'examen (révision 4), tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, Ingénieur Système et certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (534 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (46 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. À cette maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : sur le site www.edieni.com vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Sur ce site, chaque question posée s'inscrit dans l'esprit de la certification et, pour chacune, les réponses sont suffisamment commentées pour contrôler et identifier vos ultimes lacunes. À vous de juger quand vous serez prêt pour l'examen final ! Les chapitres du livre : Descriptif - Introduction - Présentation de Linux - Installation de Linux et des logiciels - Le shell et les commandes GNU - Les disques et le système de fichiers - Démarrage de Linux, services, noyau et périphériques - Les tâches administratives - Le réseau - La sécurité - X Window - Partitionnement avancé : RAID, LVM et BTRFS - Annexe - Tableau des objectifs LINUX : préparation à la certification LPIC-1 (examens LPI 101 et LPI 102) / [texte imprimé] / Sébastien Rohaut . - 5ème édition . - [s.d.].
ISBN : 978-2-409-00866-5
Titre de l'écran-titre (visionné le 12 janvier 2018) In Bibliothèque numérique ENI
Langues : Français (fre)
Mots-clés : LINUX Index. décimale : 005 Résumé : Les examens LPI 101 et LPI 102 sont les deux examens qui permettent d'obtenir la certification LPIC-1 "Certification Professionnelle Linux Administrateur". Ce programme de certification du Linux Professional Institute est reconnu par les recruteurs qui voient dans cette certification un prérequis à l'embauche ou à l'accession à un poste d'administrateur. Les examens LPI 101 et 102 prouvent aux professionnels que vous maîtrisez les bases de l'administration système Linux quelle que soit la distribution : l'installation et la configuration complète d'un poste de travail ou d'un serveur et de tous les services essentiels associés, tant systèmes que réseaux. Cette nouvelle édition du livre tient compte des dernières nouveautés Linux. Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de la dernière version de l'examen (révision 4), tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, Ingénieur Système et certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (534 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (46 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. À cette maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : sur le site www.edieni.com vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Sur ce site, chaque question posée s'inscrit dans l'esprit de la certification et, pour chacune, les réponses sont suffisamment commentées pour contrôler et identifier vos ultimes lacunes. À vous de juger quand vous serez prêt pour l'examen final ! Les chapitres du livre : Descriptif - Introduction - Présentation de Linux - Installation de Linux et des logiciels - Le shell et les commandes GNU - Les disques et le système de fichiers - Démarrage de Linux, services, noyau et périphériques - Les tâches administratives - Le réseau - La sécurité - X Window - Partitionnement avancé : RAID, LVM et BTRFS - Annexe - Tableau des objectifs Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei12157 005-734.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12158 005-734.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : préparation à la certification LPIC-2 ; examen LPI 201 et LPI 202 ; 32 travaux pratiques, 110 questions-réponses Type de document : texte imprimé Auteurs : Sébastien Bobillier, Auteur Mention d'édition : 2e éd. Editeur : Saint-Herblain : Éd. ENI Année de publication : cop. 2012 Collection : Certifications (Nantes), ISSN 1633-8693 Importance : 1 vol. (434 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-7557-3 Note générale : La couv. porte en plus : "offert, un examen blanc en ligne avec réponses commentées et détaillées"
IndexLangues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Les examens LPI 201 et LPI 202 sont les deux examens qui permettent d'obtenir la certification LPIC-2 Advanced Level Linux Professional. Ce programme de certification du Linux Professional Institute est de plus en plus reconnu par les recruteurs qui voient dans cette certification un pré-requis à l'embauche ou à l'accession à un poste d'administrateur. Les examens LPI 201 et 202 prouvent aux professionnels que vous maitrisez l'administration avancée d'un système Linux quelle que soit la distribution : ils sanctionnent une compétence pratique en termes d'administration d'un réseau de petite ou moyenne taille (administration des services réseaux courants, gestion de la sécurité du réseau et des échanges…). Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de la dernière version de l'examen (mise en place en juillet 2012) tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (110 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (32 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. À cette maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Les chapitres du livre : Descriptif - Introduction - Gestion du stockage - Démarrage du système - Gestion du réseau local - Authentification des utilisateurs - Partages de fichiers - Résolutions de noms DNS - Serveur web Apache - Messagerie - Protection des réseaux - Sécurisation du trafic - Compilation des applications et du noyau Linux Linux : préparation à la certification LPIC-2 ; examen LPI 201 et LPI 202 ; 32 travaux pratiques, 110 questions-réponses [texte imprimé] / Sébastien Bobillier, Auteur . - 2e éd. . - Saint-Herblain : Éd. ENI, cop. 2012 . - 1 vol. (434 p.) : ill., couv. ill. en coul. ; 21 cm. - (Certifications (Nantes), ISSN 1633-8693) .
ISBN : 978-2-7460-7557-3
La couv. porte en plus : "offert, un examen blanc en ligne avec réponses commentées et détaillées"
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Les examens LPI 201 et LPI 202 sont les deux examens qui permettent d'obtenir la certification LPIC-2 Advanced Level Linux Professional. Ce programme de certification du Linux Professional Institute est de plus en plus reconnu par les recruteurs qui voient dans cette certification un pré-requis à l'embauche ou à l'accession à un poste d'administrateur. Les examens LPI 201 et 202 prouvent aux professionnels que vous maitrisez l'administration avancée d'un système Linux quelle que soit la distribution : ils sanctionnent une compétence pratique en termes d'administration d'un réseau de petite ou moyenne taille (administration des services réseaux courants, gestion de la sécurité du réseau et des échanges…). Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de la dernière version de l'examen (mise en place en juillet 2012) tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (110 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (32 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. À cette maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Les chapitres du livre : Descriptif - Introduction - Gestion du stockage - Démarrage du système - Gestion du réseau local - Authentification des utilisateurs - Partages de fichiers - Résolutions de noms DNS - Serveur web Apache - Messagerie - Protection des réseaux - Sécurisation du trafic - Compilation des applications et du noyau Linux Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei08599 005-566.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei08600 005-566.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09371 005-566.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09471 005-566.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : préparation à la certification LPIC-2 ; examens LPI 201 et LPI 202 ; 35 travaux pratiques, 127 questions-réponses Type de document : texte imprimé Auteurs : Sébastien Bobillier, Auteur ; Philippe Banquet (1959-....), Auteur Mention d'édition : 3e éd. Editeur : Saint-Herblain : Éditions ENI Année de publication : cop. 2014 Collection : Certifications (Nantes), ISSN 1633-8693 Importance : 1 vol. (606 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7460-9150-4 Note générale : Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Les examens LPI 201 et LPI 202 sont les deux examens qui permettent d'obtenir la certification LPIC-2 ""Advanced Level Linux Professional"". Ce programme de certification du Linux Professional Institute est de plus en plus reconnu par les recruteurs qui voient dans cette certification un pré-requis à l'embauche ou à l'accession à un poste d'administrateur. Les examens LPI 201 et 202 prouvent aux professionnels que vous maitrisez l'administration avancée d'un système Linux quelle que soit la distribution : ils sanctionnent une compétence pratique en termes d'administration d'un réseau de petite ou moyenne taille (administration des services réseaux courants, gestion de la sécurité du réseau et des échanges). Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de la dernière version de l'examen (mise en place en novembre 2013) tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. A cette maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Linux : préparation à la certification LPIC-2 ; examens LPI 201 et LPI 202 ; 35 travaux pratiques, 127 questions-réponses [texte imprimé] / Sébastien Bobillier, Auteur ; Philippe Banquet (1959-....), Auteur . - 3e éd. . - Saint-Herblain : Éditions ENI, cop. 2014 . - 1 vol. (606 p.) : ill. ; 22 cm. - (Certifications (Nantes), ISSN 1633-8693) .
ISBN : 978-2-7460-9150-4
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Les examens LPI 201 et LPI 202 sont les deux examens qui permettent d'obtenir la certification LPIC-2 ""Advanced Level Linux Professional"". Ce programme de certification du Linux Professional Institute est de plus en plus reconnu par les recruteurs qui voient dans cette certification un pré-requis à l'embauche ou à l'accession à un poste d'administrateur. Les examens LPI 201 et 202 prouvent aux professionnels que vous maitrisez l'administration avancée d'un système Linux quelle que soit la distribution : ils sanctionnent une compétence pratique en termes d'administration d'un réseau de petite ou moyenne taille (administration des services réseaux courants, gestion de la sécurité du réseau et des échanges). Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de la dernière version de l'examen (mise en place en novembre 2013) tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. A cette maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité fsei10666/2 005-674.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10667/2 005-674.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10668/2 005-674.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10674 005-674.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10675 005-674.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10676 005-674.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : LINUX - Préparation à la certification LPIC-3 (examen LPI 300) - 2ième édition Type de document : texte imprimé Auteurs : Issam Mejri Editeur : St-Herblain : Éditions ENI Année de publication : 2015 Format : 23 cm x 15 cm Note générale : Titre de l'écran-titre (visionné le 17 février 2015) In Bibliothèque Numérique ENI Mots-clés : LINUX Index. décimale : 005 Résumé : La certification LPIC-3 est le dernier niveau de certification dans le cursus LPI (Linux Professional Institute). Il s'agit de la certification de plus haut niveau dans le monde de l'entreprise, indépendante de la distribution Linux. C'est l'examen LPI 300 qui permet l'obtention de la certification LPIC-3 « Senior Level Linux Certification ». Cet examen, qui est une mise à jour de l'examen 301 intitulé Core Exam, valide les compétences d'un candidat à la gestion d'une structure informatique d'entreprise. Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de l'examen, tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (168 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (30 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. A la maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Les chapitres du livre : Avant-propos - Les annuaires X.500 et le protocole LDAP - Installation et configuration d'OpenLDAP - Gestion des données et exploitation de l'annuaire - Annuaire pages blanches - Sécuriser l'annuaire - Réplication LDAP - Migration de NIS vers LDAP - Intégration des applications avec LDAP - Optimisation OpenLDAP et surveillance système - Samba et environnement hétérogènes - Installation et configuration de Samba - Mise en place d'un domaine Samba - Contrôleur de domaine Samba 4 - La sécurité du système de fichiers Linux - Dépannage de Samba LINUX - Préparation à la certification LPIC-3 (examen LPI 300) - 2ième édition [texte imprimé] / Issam Mejri . - St-Herblain : Éditions ENI, 2015 . - ; 23 cm x 15 cm.
Titre de l'écran-titre (visionné le 17 février 2015) In Bibliothèque Numérique ENI
Mots-clés : LINUX Index. décimale : 005 Résumé : La certification LPIC-3 est le dernier niveau de certification dans le cursus LPI (Linux Professional Institute). Il s'agit de la certification de plus haut niveau dans le monde de l'entreprise, indépendante de la distribution Linux. C'est l'examen LPI 300 qui permet l'obtention de la certification LPIC-3 « Senior Level Linux Certification ». Cet examen, qui est une mise à jour de l'examen 301 intitulé Core Exam, valide les compétences d'un candidat à la gestion d'une structure informatique d'entreprise. Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de l'examen, tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (168 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (30 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. A la maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Les chapitres du livre : Avant-propos - Les annuaires X.500 et le protocole LDAP - Installation et configuration d'OpenLDAP - Gestion des données et exploitation de l'annuaire - Annuaire pages blanches - Sécuriser l'annuaire - Réplication LDAP - Migration de NIS vers LDAP - Intégration des applications avec LDAP - Optimisation OpenLDAP et surveillance système - Samba et environnement hétérogènes - Installation et configuration de Samba - Mise en place d'un domaine Samba - Contrôleur de domaine Samba 4 - La sécurité du système de fichiers Linux - Dépannage de Samba Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei12159 005-139.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12160 005-139.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : préparation à la certification LPIC-3 ; examen LPI 301 ; 18 travaux pratiques, 117 questions-réponses Type de document : texte imprimé Auteurs : Issam Mejri, Auteur Editeur : Saint-Herblain : Éd. ENI Année de publication : cop. 2013 Collection : Certifications (Nantes), ISSN 1633-8693 Importance : 1 vol. (346 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-7855-0 Note générale : Le livre contient une adresse Internet permettant l'accès à un contenu complémentaire
IndexLangues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : "L'examen LPI 301 est un prérequis obligatoire pour les candidats à la certification LPIC-3 ""Senior Level Linux Certification"". Ce programme de certification du Linux Professional Institute est de plus en plus reconnu par les recruteurs qui voient dans cette certification un pré-requis à l'embauche ou à l'accession à un poste d'administrateur. L'examen LPI 301 prouve aux professionnels que vous disposez de connaissances de niveau Expert sur l'administration d'un système Linux et son exploitation, quelle que soit sa distribution. Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de l'examen, tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (117 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (18 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. À la maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Les chapitres du livre : Les annuaires X.500 et le protocole LDAP - Installation et configuration d'OpenLDAP - Gestion des données et exploitation de l'annuaire - Annuaire pages blanches - Sécuriser l'annuaire - Réplication LDAP - Migration de NIS vers LDAP - Intégration des applications avec LDAP - Optimisation OpenLDAP et surveillance système - Tableau des objectifs" Linux : préparation à la certification LPIC-3 ; examen LPI 301 ; 18 travaux pratiques, 117 questions-réponses [texte imprimé] / Issam Mejri, Auteur . - Saint-Herblain : Éd. ENI, cop. 2013 . - 1 vol. (346 p.) : ill., couv. ill. en coul. ; 21 cm. - (Certifications (Nantes), ISSN 1633-8693) .
ISBN : 978-2-7460-7855-0
Le livre contient une adresse Internet permettant l'accès à un contenu complémentaire
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : "L'examen LPI 301 est un prérequis obligatoire pour les candidats à la certification LPIC-3 ""Senior Level Linux Certification"". Ce programme de certification du Linux Professional Institute est de plus en plus reconnu par les recruteurs qui voient dans cette certification un pré-requis à l'embauche ou à l'accession à un poste d'administrateur. L'examen LPI 301 prouve aux professionnels que vous disposez de connaissances de niveau Expert sur l'administration d'un système Linux et son exploitation, quelle que soit sa distribution. Pour vous aider à préparer efficacement cette certification, ce livre couvre tous les objectifs officiels de l'examen, tant d'un point de vue théorique que d'un point de vue pratique. Il a été rédigé en français (il ne s'agit pas d'une traduction) par un formateur professionnel reconnu, également consultant, certifié Linux. Ainsi, les savoir-faire pédagogique et technique de l'auteur conduisent à une approche claire et visuelle, d'un très haut niveau technique. Chapitre par chapitre, vous pourrez valider vos acquis théoriques, à l'aide d'un grand nombre de questions-réponses (117 au total) mettant en exergue aussi bien les éléments fondamentaux que les caractéristiques spécifiques aux concepts abordés. Chaque chapitre s'achevant par des travaux pratiques (18 au total) vous aurez les moyens de mesurer votre autonomie. Ces manipulations concrètes, au-delà même des objectifs fixés par l'examen, vous permettront de vous forger une première expérience significative et d'acquérir de véritables compétences techniques sur des mises en situations réelles. À la maîtrise du produit et des concepts, s'ajoute la préparation spécifique à la certification : vous pourrez accéder gratuitement à 1 examen blanc en ligne, destiné à vous entraîner dans des conditions proches de celles de l'épreuve. Les chapitres du livre : Les annuaires X.500 et le protocole LDAP - Installation et configuration d'OpenLDAP - Gestion des données et exploitation de l'annuaire - Annuaire pages blanches - Sécuriser l'annuaire - Réplication LDAP - Migration de NIS vers LDAP - Intégration des applications avec LDAP - Optimisation OpenLDAP et surveillance système - Tableau des objectifs" Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei10660 005-675.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10661 005-675.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10662 005-675.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : principes de base de l'utilisation du système Type de document : texte imprimé Auteurs : Nicolas Pons, Auteur Editeur : Saint-Herblain : Éd. ENI Année de publication : cop. 2011 Collection : Ressources informatiques (Nantes), ISSN 1627-8224 Importance : 1 vol. (339 p.) Présentation : ill., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-6510-9 Note générale : Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur GNU/Linux s'adresse à tout informaticien désireux de maîtriser les principes de base de ce système d'exploitation ou d'organiser et consolider des connaissances acquises sur le terrain. Il présente de façon détaillée les principes de base du système et décrit très précisément les commandes essentielles à la manipulation de la ligne de commande shell, en les illustrant de nombreux exemples : l'arborescence Linux, la manipulation des fichiers, l'éditeur de fichiers texte, les droits d'accès, la gestion des processus, le shell Bash, les scripts Bash, la gestion des comptes utilisateurs, les outils Linux... Les notions présentées dans ce livre, si elles sont essentielles pour comprendre le fonctionnement du système GNU/Linux au niveau utilisateur, sont tout aussi indispensables au lecteur qui désire poursuivre en administration système. Ce livre peut être utilisé comme ouvrage de référence donnant ainsi au lecteur les moyens d'acquérir son autonomie, aussi bien en environnement graphique qu'en ligne de commande. Avec cette nouvelle édition, vous découvrirez les nouveautés et particularités accompagnant les dernières distributions Linux disponibles. Linux : principes de base de l'utilisation du système [texte imprimé] / Nicolas Pons, Auteur . - Saint-Herblain : Éd. ENI, cop. 2011 . - 1 vol. (339 p.) : ill., couv. ill. en coul. ; 21 cm. - (Ressources informatiques (Nantes), ISSN 1627-8224) .
ISBN : 978-2-7460-6510-9
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur GNU/Linux s'adresse à tout informaticien désireux de maîtriser les principes de base de ce système d'exploitation ou d'organiser et consolider des connaissances acquises sur le terrain. Il présente de façon détaillée les principes de base du système et décrit très précisément les commandes essentielles à la manipulation de la ligne de commande shell, en les illustrant de nombreux exemples : l'arborescence Linux, la manipulation des fichiers, l'éditeur de fichiers texte, les droits d'accès, la gestion des processus, le shell Bash, les scripts Bash, la gestion des comptes utilisateurs, les outils Linux... Les notions présentées dans ce livre, si elles sont essentielles pour comprendre le fonctionnement du système GNU/Linux au niveau utilisateur, sont tout aussi indispensables au lecteur qui désire poursuivre en administration système. Ce livre peut être utilisé comme ouvrage de référence donnant ainsi au lecteur les moyens d'acquérir son autonomie, aussi bien en environnement graphique qu'en ligne de commande. Avec cette nouvelle édition, vous découvrirez les nouveautés et particularités accompagnant les dernières distributions Linux disponibles. Réservation
Réserver ce document
Exemplaires (15)
Code-barres Cote Support Localisation Section Disponibilité fsei8959/1 005-565.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10909 005-565.10 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10910/2 005-565.11 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12161 005-565.12 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12162 005-565.13 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12163 005-565.14 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12164 005-565.15 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei8960/1 005-565.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei9474/2 005-565.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10541 005-565.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10542 005-565.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10543 005-565.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10544 005-565.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10545 005-565.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10905 005-565.9 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : principes de base de l'utilisation du système ; théorie et TP corrigés, près de 16 h de mise en pratique Type de document : texte imprimé Auteurs : Nicolas Pons, Auteur Editeur : Saint-Herblain : Éditions ENI Année de publication : cop. 2016 Collection : ITmax, ISSN 2271-9423 Importance : 1 vol. (341-202 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-409-00257-1 Note générale : Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur Linux s'adresse autant aux débutants désireux de maîtriser les principes de base de ce système d'exploitation, qu'aux informaticiens plus expérimentés souhaitant consolider leurs connaissances acquises sur le terrain. Il est organisé en deux parties, correspondant à deux livres existants : le premier issu de la collection de livres de référence Ressources Informatiques, le second issu de la collection de livres TP Informatiques. Ainsi, la première partie couvre les notions fondamentales d'un point de vue théorique et la seconde partie propose au lecteur de nombreux exercices ainsi qu'un ensemble de Travaux Pratiques complets avec leurs corrigés détaillés. 1ère partie : Linux - Principes de base de l'utilisation du système Le livre présente de façon détaillée les principes de base du système et décrit très précisément les commandes essentielles à la manipulation de la ligne de commande shell, en les illustrant de nombreux exemples. 2e partie : Linux -Entraînez-vous sur les commandes de base Fondé sur les dernières distributions Linux Redhat, Fedora, Suse et Debian, ce livre vous permettra d'acquérir la pratique nécessaire à l'utilisation du système d'exploitation GNU/Linux. Régulièrement utilisé comme manuel d'exercices en formation professionnelle, il offre une approche progressive et pédagogique. Linux : principes de base de l'utilisation du système ; théorie et TP corrigés, près de 16 h de mise en pratique [texte imprimé] / Nicolas Pons, Auteur . - Saint-Herblain : Éditions ENI, cop. 2016 . - 1 vol. (341-202 p.) : ill. ; 22 cm. - (ITmax, ISSN 2271-9423) .
ISBN : 978-2-409-00257-1
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre sur Linux s'adresse autant aux débutants désireux de maîtriser les principes de base de ce système d'exploitation, qu'aux informaticiens plus expérimentés souhaitant consolider leurs connaissances acquises sur le terrain. Il est organisé en deux parties, correspondant à deux livres existants : le premier issu de la collection de livres de référence Ressources Informatiques, le second issu de la collection de livres TP Informatiques. Ainsi, la première partie couvre les notions fondamentales d'un point de vue théorique et la seconde partie propose au lecteur de nombreux exercices ainsi qu'un ensemble de Travaux Pratiques complets avec leurs corrigés détaillés. 1ère partie : Linux - Principes de base de l'utilisation du système Le livre présente de façon détaillée les principes de base du système et décrit très précisément les commandes essentielles à la manipulation de la ligne de commande shell, en les illustrant de nombreux exemples. 2e partie : Linux -Entraînez-vous sur les commandes de base Fondé sur les dernières distributions Linux Redhat, Fedora, Suse et Debian, ce livre vous permettra d'acquérir la pratique nécessaire à l'utilisation du système d'exploitation GNU/Linux. Régulièrement utilisé comme manuel d'exercices en formation professionnelle, il offre une approche progressive et pédagogique. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei12165 005-737.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12166 005-737.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12167 005-737.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12168 005-737.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei12169 005-737.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux Red Hat Fedora Type de document : texte imprimé Auteurs : Bill Ball, Auteur ; Hoyt Duff, Auteur ; Fabrice Lemainque, Traducteur ; Campus Press France, Editeur commercial ; Pearson education, Editeur commercial Editeur : Paris : CampusPress Année de publication : 2004 Collection : CampusPress référence, ISSN 1296-5863 Importance : 1 livre (XXII-848 p.) Présentation : couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7440-1740-7 Note générale : Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Linux Red Hat Fedora Index. décimale : 006 Résumé : Le CampusPress Référence Linux Red Hat Fedora vous propose de vous initier et/ou de vous perfectionner à l'utilisation de Red Hat et Fedora.Vous y trouverez des instructions précises pour l'installation, l'emploi et l'administration de Fedora Core. Vous apprendrez à configurer votre station de travail et disposerezd'informations complètes sur le bureau Fedora et les logiciels de bureautique, dont OpenOffice.org, la suite bureautique à source ouverte gratuite comprenant un traitement de texte, un tableur et un grapheur.Des sujets plus pointus sont aussi abordés : le X Window System, la programmation Linux, l'administration d'un serveur Web, l'administration système et l'administration réseau.
Offert ! Deux CD-ROM contenant une version facile à installer de Fedora Core, le programme Samba de partage des fichiers et des imprimantes pour des environnements Linux/Windows, la dernière version du serveur Web Apache, la suite bureautique gratuite OpenOffice.org, de nombreux jeux pour le bureau et des centaines d'utilitaires et de programmes complémentaires !Linux Red Hat Fedora [texte imprimé] / Bill Ball, Auteur ; Hoyt Duff, Auteur ; Fabrice Lemainque, Traducteur ; Campus Press France, Editeur commercial ; Pearson education, Editeur commercial . - Paris : CampusPress, 2004 . - 1 livre (XXII-848 p.) : couv. ill. en coul. ; 23 cm. - (CampusPress référence, ISSN 1296-5863) .
ISBN : 978-2-7440-1740-7
Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Linux Red Hat Fedora Index. décimale : 006 Résumé : Le CampusPress Référence Linux Red Hat Fedora vous propose de vous initier et/ou de vous perfectionner à l'utilisation de Red Hat et Fedora.Vous y trouverez des instructions précises pour l'installation, l'emploi et l'administration de Fedora Core. Vous apprendrez à configurer votre station de travail et disposerezd'informations complètes sur le bureau Fedora et les logiciels de bureautique, dont OpenOffice.org, la suite bureautique à source ouverte gratuite comprenant un traitement de texte, un tableur et un grapheur.Des sujets plus pointus sont aussi abordés : le X Window System, la programmation Linux, l'administration d'un serveur Web, l'administration système et l'administration réseau.
Offert ! Deux CD-ROM contenant une version facile à installer de Fedora Core, le programme Samba de partage des fichiers et des imprimantes pour des environnements Linux/Windows, la dernière version du serveur Web Apache, la suite bureautique gratuite OpenOffice.org, de nombreux jeux pour le bureau et des centaines d'utilitaires et de programmes complémentaires !Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei02564 006-218.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02565 006-218.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02562 006-218.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02566 006-218.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02563 006-218.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : solutions de haute disponibilité Type de document : texte imprimé Auteurs : Sébastien Rohaut, Auteur Mention d'édition : 2e éd. Editeur : Saint-Herblain : Éd. ENI Année de publication : cop. 2012 Collection : Epsilon (Saint-Herblain), ISSN 1960-3444 Importance : 1 vol. (514 p.) Présentation : ill., couv. ill. en coul. Format : 22 cm ISBN/ISSN/EAN : 978-2-7460-7447-7 Note générale : Le livre contient une adresse Internet permettant l'accès à un contenu complémentaire
IndexLangues : Français (fre) Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre a pour objectif de fournir aux Ingénieurs Système toutes les bases permettant de construire des environnements de Haute Disponibilité basés sur le système d'exploitation Linux. Il s'adresse aux informaticiens qui maîtrisent l'administration d'un système Linux. Le livre s'articule autour des axes suivants : l'accès au stockage (description des solutions pour garantir l'accès aux volumes de stockage, pour améliorer les performances des entrées et sorties à l'aide du multipathing), l'organisation des données (avec la gestion avancée des volumes logiques), la mise en place d'une configuration réseau plus avancée (gestion très fine de la configuration réseau d'un serveur pour améliorer les performances et la disponibilité), le paramétrage de LVS (Linux Virtual Server), l'utilisation du service keepalived (qui surveille et garantit la disponibilité des serveurs réels et de leurs services), une introduction à Piranha (seconde méthode de haute disponibilité des services), la virtualisation des serveurs (présentation de la solution d'hypervision et de para-virtualisation KVM), le clustering de services avec PaceMaker et openSVC, ce qui permet de présenter le STONITH et les clusters actifs/actifs… Cette seconde édition aborde des nouvelles solutions comme la description détaillée de iSCSI, des réservations persistantes, du host tagging LVM, l'utilisation des VLAN et des adresses MAC virtuelles ou encore la haute disponibilité d'un serveur HA-NFS. Chaque chapitre est agrémenté d'exemples pratiques pour chacune des solutions décrites et apporte ainsi des éléments concrets pour la mise en place de solutions de haute disponibilité sous Linux. L'auteur introduit dans ces pages la solution MakeAlive, solution de gestion de répartiteurs de charge qui permet la configuration et le contrôle de serveurs utilisant Linux Virtual Server et le service de haute disponibilité keepalived. Cet outil a été développé sous licence GPL et est en production depuis plusieurs années dans diverses entreprises. Des éléments complémentaires sont en téléchargement sur le site www.editions-eni.fr. Les chapitres du livre : Introduction - Disponibilité du stockage - LVM : Gestion par volumes logiques - Configuration réseau avancée - Linux Virtual Server - keepalived : LVS haute disponibilité - Piranha - Virtualisation avec KVM - Introduction au clustering - Services OpenSVC Linux : solutions de haute disponibilité [texte imprimé] / Sébastien Rohaut, Auteur . - 2e éd. . - Saint-Herblain : Éd. ENI, cop. 2012 . - 1 vol. (514 p.) : ill., couv. ill. en coul. ; 22 cm. - (Epsilon (Saint-Herblain), ISSN 1960-3444) .
ISBN : 978-2-7460-7447-7
Le livre contient une adresse Internet permettant l'accès à un contenu complémentaire
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 005 Résumé : Ce livre a pour objectif de fournir aux Ingénieurs Système toutes les bases permettant de construire des environnements de Haute Disponibilité basés sur le système d'exploitation Linux. Il s'adresse aux informaticiens qui maîtrisent l'administration d'un système Linux. Le livre s'articule autour des axes suivants : l'accès au stockage (description des solutions pour garantir l'accès aux volumes de stockage, pour améliorer les performances des entrées et sorties à l'aide du multipathing), l'organisation des données (avec la gestion avancée des volumes logiques), la mise en place d'une configuration réseau plus avancée (gestion très fine de la configuration réseau d'un serveur pour améliorer les performances et la disponibilité), le paramétrage de LVS (Linux Virtual Server), l'utilisation du service keepalived (qui surveille et garantit la disponibilité des serveurs réels et de leurs services), une introduction à Piranha (seconde méthode de haute disponibilité des services), la virtualisation des serveurs (présentation de la solution d'hypervision et de para-virtualisation KVM), le clustering de services avec PaceMaker et openSVC, ce qui permet de présenter le STONITH et les clusters actifs/actifs… Cette seconde édition aborde des nouvelles solutions comme la description détaillée de iSCSI, des réservations persistantes, du host tagging LVM, l'utilisation des VLAN et des adresses MAC virtuelles ou encore la haute disponibilité d'un serveur HA-NFS. Chaque chapitre est agrémenté d'exemples pratiques pour chacune des solutions décrites et apporte ainsi des éléments concrets pour la mise en place de solutions de haute disponibilité sous Linux. L'auteur introduit dans ces pages la solution MakeAlive, solution de gestion de répartiteurs de charge qui permet la configuration et le contrôle de serveurs utilisant Linux Virtual Server et le service de haute disponibilité keepalived. Cet outil a été développé sous licence GPL et est en production depuis plusieurs années dans diverses entreprises. Des éléments complémentaires sont en téléchargement sur le site www.editions-eni.fr. Les chapitres du livre : Introduction - Disponibilité du stockage - LVM : Gestion par volumes logiques - Configuration réseau avancée - Linux Virtual Server - keepalived : LVS haute disponibilité - Piranha - Virtualisation avec KVM - Introduction au clustering - Services OpenSVC Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei10906 005-708.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10907 005-708.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10908 005-708.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Linux : synthèse de cours et exercices corrigés Type de document : texte imprimé Auteurs : Jean-Michel Léry, Auteur Editeur : Paris : Pearson education France Année de publication : impr. 2006 Collection : Synthex, ISSN 1768-7616 Importance : 1 vol. (VIII-248 p.) Présentation : ill., couv. ill. en coul. Format : 26 cm ISBN/ISSN/EAN : 978-2-7440-7149-2 Note générale : Index Langues : Français (fre) Mots-clés : Linux Index. décimale : 006 Linux : synthèse de cours et exercices corrigés [texte imprimé] / Jean-Michel Léry, Auteur . - Paris : Pearson education France, impr. 2006 . - 1 vol. (VIII-248 p.) : ill., couv. ill. en coul. ; 26 cm. - (Synthex, ISSN 1768-7616) .
ISBN : 978-2-7440-7149-2
Index
Langues : Français (fre)
Mots-clés : Linux Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei02576 006-226.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02575 006-226.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02577 006-226.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Le livre de Java : premier langage Type de document : texte imprimé Auteurs : Anne Tasso, Auteur Mention d'édition : 4e éd. Editeur : Paris : Eyrolles Année de publication : cop. 2006 Importance : 1 vol. (XV-471 p.) Présentation : coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-212-11994-7 Note générale : Index Langues : Français (fre) Mots-clés : Java Index. décimale : 005 Résumé : Apprendre Java en douceur. Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le découvrirez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en lava, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le monde des interfaces graphiques avec les librairies AWT et Swing (fenêtres, gestion de la souris). Vous découvrirez enfin les applications de Java pour Internet, côté client (applets) et côté serveur (JSP, JavaBeans), ainsi que les dernières nouveautés de J2SE 5.0 (la classe Scanner, la nouvelle boucle for, les types génériques). Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur le CD-Rom d'accompagnement, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application Java. A qui s'adresse ce livre ? Aux étudiants de 1er cycle universitaire (IUT, Deug...) ou d'écoles d'ingénieurs. Aux vrais débutants en programmation : passionnés d'informatique et programmeurs autodidactes, concepteurs de sites Web souhaitant aller au-delà de HTML et JavaScript, etc. Aux enseignants et formateurs à la recherche d'une méthode pédagogique et d'un support de cours structuré pour enseigner lava à des débutants. Le livre de Java : premier langage [texte imprimé] / Anne Tasso, Auteur . - 4e éd. . - Paris : Eyrolles, cop. 2006 . - 1 vol. (XV-471 p.) : coul. ; 23 cm.
ISBN : 978-2-212-11994-7
Index
Langues : Français (fre)
Mots-clés : Java Index. décimale : 005 Résumé : Apprendre Java en douceur. Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le découvrirez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en lava, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le monde des interfaces graphiques avec les librairies AWT et Swing (fenêtres, gestion de la souris). Vous découvrirez enfin les applications de Java pour Internet, côté client (applets) et côté serveur (JSP, JavaBeans), ainsi que les dernières nouveautés de J2SE 5.0 (la classe Scanner, la nouvelle boucle for, les types génériques). Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur le CD-Rom d'accompagnement, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application Java. A qui s'adresse ce livre ? Aux étudiants de 1er cycle universitaire (IUT, Deug...) ou d'écoles d'ingénieurs. Aux vrais débutants en programmation : passionnés d'informatique et programmeurs autodidactes, concepteurs de sites Web souhaitant aller au-delà de HTML et JavaScript, etc. Aux enseignants et formateurs à la recherche d'une méthode pédagogique et d'un support de cours structuré pour enseigner lava à des débutants. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei01803 005-450.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01802 005-450.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01801 005-450.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Le livre de Java : premier langage ; avec 99 exercices corrigés Type de document : texte imprimé Auteurs : Anne Tasso, Auteur Mention d'édition : 9e éd. Editeur : Paris : Eyrolles Année de publication : DL 2013 Importance : 1 vol. (XV-592 p.) Présentation : ill., couv. ill. Format : 23 cm ISBN/ISSN/EAN : 978-2-212-13854-2 Note générale : Index. Résumés Langues : Français (fre) Mots-clés : Java Index. décimale : 005 Résumé : Apprendre java en douceur Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le constaterez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en java, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le fonctionnement des librairies graphiques AWT et Swing (fenêtres, gestion de la souris, tracé de graphiques). Cet ouvrage vous expliquera aussi comment réaliser des applications java dotées d'interfaces graphiques conviviales grâce au logiciel libre NetBeans. Enfin, vous vous initierez au développement d'applications pour téléphones mobiles Android. Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur l'extension web annetasso.fr/Java, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application java. Le livre de Java : premier langage ; avec 99 exercices corrigés [texte imprimé] / Anne Tasso, Auteur . - 9e éd. . - Paris : Eyrolles, DL 2013 . - 1 vol. (XV-592 p.) : ill., couv. ill. ; 23 cm.
ISBN : 978-2-212-13854-2
Index. Résumés
Langues : Français (fre)
Mots-clés : Java Index. décimale : 005 Résumé : Apprendre java en douceur Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le constaterez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en java, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le fonctionnement des librairies graphiques AWT et Swing (fenêtres, gestion de la souris, tracé de graphiques). Cet ouvrage vous expliquera aussi comment réaliser des applications java dotées d'interfaces graphiques conviviales grâce au logiciel libre NetBeans. Enfin, vous vous initierez au développement d'applications pour téléphones mobiles Android. Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur l'extension web annetasso.fr/Java, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application java. Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité fsei09957 005-648.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09956 005-648.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09955 005-648.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09954 005-648.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09953 005-648.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09952 005-648.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09951 005-648.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09950 005-648.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Le Livre de LOTUS 1-2-3 version 2 Type de document : texte imprimé Auteurs : Jean-Pierre Richard (1953-....), Auteur Editeur : psi Année de publication : 1986 Collection : Logiguide, ISSN 0764-8502 num. 2 Importance : 322 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-86595-333-2 Note générale : Index Langues : Français (fre) Mots-clés : LOTUS Index. décimale : 005 Le Livre de LOTUS 1-2-3 version 2 [texte imprimé] / Jean-Pierre Richard (1953-....), Auteur . - [S.l.] : psi, 1986 . - 322 p. : ill. ; 25 cm. - (Logiguide, ISSN 0764-8502; 2) .
ISBN : 978-2-86595-333-2
Index
Langues : Français (fre)
Mots-clés : LOTUS Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01648 005-394.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01652 005-394.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Livre D'or Delphi 1,2 et 3 Type de document : texte imprimé Auteurs : Gilles Betz, Auteur Editeur : Paris [etc.] : Sybex Année de publication : impr. 1997, cop. 1997 Collection : Livre d'or, ISSN 2431-2975 Importance : 1 vol. (xvi-545 p.) Présentation : ill. Format : 25 cm Accompagnement : 1 CD-ROM ISBN/ISSN/EAN : 978-2-7361-2604-9 Langues : Français (fre) Mots-clés : Delphi Index. décimale : 005 Livre D'or Delphi 1,2 et 3 [texte imprimé] / Gilles Betz, Auteur . - Paris [etc.] : Sybex, impr. 1997, cop. 1997 . - 1 vol. (xvi-545 p.) : ill. ; 25 cm + 1 CD-ROM. - (Livre d'or, ISSN 2431-2975) .
ISBN : 978-2-7361-2604-9
Langues : Français (fre)
Mots-clés : Delphi Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00679 005-03.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00678 005-03.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Le Livre de Turbo-C sur PC et compatibles Type de document : texte imprimé Auteurs : Pierre Brandeis (19..-....), Auteur ; Francis Forêt-Piérot, Auteur Editeur : psi Année de publication : 1987 Collection : Langages (Lagny-sur-Marne), ISSN 0764-8693 num. 17 Importance : 249 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-86595-467-4 Note générale : Bibliogr. p. 241-244 . Index Langues : Français (fre) Mots-clés : Turbo-C PC compatibles Index. décimale : 005 Le Livre de Turbo-C sur PC et compatibles [texte imprimé] / Pierre Brandeis (19..-....), Auteur ; Francis Forêt-Piérot, Auteur . - [S.l.] : psi, 1987 . - 249 p. : ill. ; 25 cm. - (Langages (Lagny-sur-Marne), ISSN 0764-8693; 17) .
ISBN : 978-2-86595-467-4
Bibliogr. p. 241-244 . Index
Langues : Français (fre)
Mots-clés : Turbo-C PC compatibles Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei01330 005-220.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01331 005-220.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01329 005-220.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Loçons d'analyse fonctionnelle Type de document : texte imprimé Auteurs : Frédéric Riesz, Auteur Langues : Français (fre) Mots-clés : Aanalyse fonctionnelle Index. décimale : 515 Loçons d'analyse fonctionnelle [texte imprimé] / Frédéric Riesz, Auteur . - [s.d.].
Langues : Français (fre)
Mots-clés : Aanalyse fonctionnelle Index. décimale : 515 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei03578 515-32.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei03579 515-32.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible
Titre : Logiciels embarqués : viser l'excellence dans le développement Type de document : texte imprimé Auteurs : Jérôme Dern, Auteur Editeur : Saint-Herblain : Éditions ENI Année de publication : cop. 2014 Collection : Collection Datapro, ISSN 1968-5491 Importance : 1 vol. (408 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-9155-9 Note générale : Bibliogr. p. 395-398. Index Langues : Français (fre) Mots-clés : Logiciels Index. décimale : 006 Résumé : Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles. Il s'adresse bien sûr au Responsable de la Qualité Logicielle mais aussi à l'Informaticien chargé du développement de logiciels embarqués, au Chef de projet, au Responsable Recherche et Développement. Dans un premier temps, l'auteur sensibilise le lecteur aux enjeux de la qualité des logiciels et au rôle de la qualité dans la conception de logiciels embarqués et industriels ; il présente les différents cycles de développement logiciel des plus anciens au plus modernes avec leurs avantages et inconvénients pour un usage industriel et parcourt les principales normes liées au logiciel et à la sûreté logicielle. Il étudie ensuite les principaux processus de développement et les exigences à satisfaire pour être conforme à CMMI, SPICE et HIS ; une traçabilité détaillée avec ces modèles est fournie ainsi que des exemples et des détails sur leur mise en place et les différences entre eux. Les méthodes Agiles ne sont pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire. Concernant les outils de la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, sont donnés ; ils permettent de connaître et d'appliquer des méthodes qui ont fait leurs preuves pour accéder à l'excellence logicielle et à la capitalisation. Tout au long du livre, l'auteur présente les mesures ou métriques logicielles qui sont la clef de l'amélioration des processus et de la progression de la qualité logicielle dans l'entreprise. Les chapitres du livre : Avant-propos - La qualité logicielle - Les cycles de développement - Les normes et modèles - Les principaux processus de développement - Les tests logiciels - Les outils de la qualité logicielle embarquée - Les règles de développement - Les outils d'analyse statique - Les mesures du logiciel - Les méthodes de vérification - Conclusion - Glossaire - Bibliographie Logiciels embarqués : viser l'excellence dans le développement [texte imprimé] / Jérôme Dern, Auteur . - Saint-Herblain : Éditions ENI, cop. 2014 . - 1 vol. (408 p.) : ill. ; 21 cm. - (Collection Datapro, ISSN 1968-5491) .
ISBN : 978-2-7460-9155-9
Bibliogr. p. 395-398. Index
Langues : Français (fre)
Mots-clés : Logiciels Index. décimale : 006 Résumé : Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles. Il s'adresse bien sûr au Responsable de la Qualité Logicielle mais aussi à l'Informaticien chargé du développement de logiciels embarqués, au Chef de projet, au Responsable Recherche et Développement. Dans un premier temps, l'auteur sensibilise le lecteur aux enjeux de la qualité des logiciels et au rôle de la qualité dans la conception de logiciels embarqués et industriels ; il présente les différents cycles de développement logiciel des plus anciens au plus modernes avec leurs avantages et inconvénients pour un usage industriel et parcourt les principales normes liées au logiciel et à la sûreté logicielle. Il étudie ensuite les principaux processus de développement et les exigences à satisfaire pour être conforme à CMMI, SPICE et HIS ; une traçabilité détaillée avec ces modèles est fournie ainsi que des exemples et des détails sur leur mise en place et les différences entre eux. Les méthodes Agiles ne sont pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire. Concernant les outils de la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, sont donnés ; ils permettent de connaître et d'appliquer des méthodes qui ont fait leurs preuves pour accéder à l'excellence logicielle et à la capitalisation. Tout au long du livre, l'auteur présente les mesures ou métriques logicielles qui sont la clef de l'amélioration des processus et de la progression de la qualité logicielle dans l'entreprise. Les chapitres du livre : Avant-propos - La qualité logicielle - Les cycles de développement - Les normes et modèles - Les principaux processus de développement - Les tests logiciels - Les outils de la qualité logicielle embarquée - Les règles de développement - Les outils d'analyse statique - Les mesures du logiciel - Les méthodes de vérification - Conclusion - Glossaire - Bibliographie Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei10911 006-336.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10912 006-336.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Logique et automates : option informatique en MPSI, MP et MP, premier et deuxième cycles universitaires, écoles d'ingénieurs Type de document : texte imprimé Auteurs : Patrick Bellot (1968-....), Auteur ; Jacques Sakarovitch, Auteur Editeur : Paris : Ellipses Année de publication : 1998 Collection : Manuel d'informatique. Importance : 223 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-6894-9 Note générale : Index Langues : Français (fre) Mots-clés : Logique automates Index. décimale : 006 Résumé : Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires. Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition. Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Ponts (en 97 et 98) ainsi que leurs corrigés. Logique et automates : option informatique en MPSI, MP et MP, premier et deuxième cycles universitaires, écoles d'ingénieurs [texte imprimé] / Patrick Bellot (1968-....), Auteur ; Jacques Sakarovitch, Auteur . - Paris : Ellipses, 1998 . - 223 p. : ill. ; 26 cm. - (Manuel d'informatique.) .
ISBN : 978-2-7298-6894-9
Index
Langues : Français (fre)
Mots-clés : Logique automates Index. décimale : 006 Résumé : Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires. Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition. Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Ponts (en 97 et 98) ainsi que leurs corrigés. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei02088 006-02.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02089 006-02.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02090 006-02.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Logique élémentaire : cours de base pour informaticiens / Type de document : texte imprimé Auteurs : Jacques Zahnd Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 1998 Importance : 430 p. Format : 24 x 16 cm. Accompagnement : formulaire de logique ISBN/ISSN/EAN : 978-2-88074-360-4 Langues : Français (fre) Mots-clés : Logique élémentaire cours base informaticiens Index. décimale : 004 Résumé : Logique élémentaire : cours de base pour informaticiens / [texte imprimé] / Jacques Zahnd . - Lausanne : Presses polytechniques et universitaires romandes, 1998 . - 430 p. ; 24 x 16 cm. + formulaire de logique.
ISBN : 978-2-88074-360-4
Langues : Français (fre)
Mots-clés : Logique élémentaire cours base informaticiens Index. décimale : 004 Résumé : Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité fsei00404 004-161.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00405 004-161.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00411 004-161.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00410 004-161.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00409 004-161.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00408 004-161.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00412 004-161.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01491 004-161.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : La logique floue : pour les affaires et l'industrie Type de document : texte imprimé Auteurs : Earl D. Cox, Auteur ; Maurice Clerc (1949-....), Traducteur ; International Thomson publishing, Editeur commercial Editeur : [Paris] : International Thomson publishing Année de publication : [1997 (cop.)] Importance : 1 livre (572 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-84180-127-5 Note générale : Glossaire. Index
Cop. 1997Langues : Français (fre) Mots-clés : logique floue Index. décimale : 006 La logique floue : pour les affaires et l'industrie [texte imprimé] / Earl D. Cox, Auteur ; Maurice Clerc (1949-....), Traducteur ; International Thomson publishing, Editeur commercial . - [Paris] : International Thomson publishing, [1997 (cop.)] . - 1 livre (572 p.) : couv. ill. en coul. ; 24 cm.
ISBN : 978-2-84180-127-5
Glossaire. Index
Cop. 1997
Langues : Français (fre)
Mots-clés : logique floue Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02236 006-66.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : La logique floue et ses applications Type de document : texte imprimé Auteurs : Bernadette Bouchon-Meunier, Auteur Editeur : Paris : Addison-Wesley France Année de publication : 1995 Collection : Vie artificielle (Paris), ISSN 1255-0531 Importance : XII-257 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-87908-073-4 Note générale : Bibliogr. p. 239-254. Index Langues : Français (fre) Mots-clés : logique floue ses applications Index. décimale : 006 Résumé : Un livre simple d'introduction à la logique floue, assorti de nombreux exemples pratiques La logique floue intervient dans la manipulation de connaissances imparfaites. Elle aide à formaliser la représentation et le traitement de connaissances imprécises ou approximatives, afin de pouvoir traiter des systèmes d'une grande complexité dans lesquels sont, par exemple, présents des facteurs humains. Elle est née en 1965 des recherches du professeur Lotfi Zadeh, internationalement reconnu pour ses travaux en automatique et théorie des systèmes. L'objet de ce livre est de présenter : • les bases sur lesquelles repose la logique floue, • les outils qu'elle fournit, • les solutions qu'elle peut apporter à certains types de problèmes, tout en la situant par rapport aux autres techniques existantes. Il présente également les principes méthodologiques généraux, ainsi que des informations concernant la plupart de ses grands domaines d'application et de nombreux exemples de réalisations pratiques. L'AUTEUR BERNADETTE BOUCHON-MEUNIER est chercheur au laboratoire Laforia de Jussieu-Paris VIII et la spécialiste incontestée en France et à l'étranger de la logique floue. La logique floue et ses applications [texte imprimé] / Bernadette Bouchon-Meunier, Auteur . - Paris : Addison-Wesley France, 1995 . - XII-257 p. : ill., couv. ill. en coul. ; 24 cm. - (Vie artificielle (Paris), ISSN 1255-0531) .
ISBN : 978-2-87908-073-4
Bibliogr. p. 239-254. Index
Langues : Français (fre)
Mots-clés : logique floue ses applications Index. décimale : 006 Résumé : Un livre simple d'introduction à la logique floue, assorti de nombreux exemples pratiques La logique floue intervient dans la manipulation de connaissances imparfaites. Elle aide à formaliser la représentation et le traitement de connaissances imprécises ou approximatives, afin de pouvoir traiter des systèmes d'une grande complexité dans lesquels sont, par exemple, présents des facteurs humains. Elle est née en 1965 des recherches du professeur Lotfi Zadeh, internationalement reconnu pour ses travaux en automatique et théorie des systèmes. L'objet de ce livre est de présenter : • les bases sur lesquelles repose la logique floue, • les outils qu'elle fournit, • les solutions qu'elle peut apporter à certains types de problèmes, tout en la situant par rapport aux autres techniques existantes. Il présente également les principes méthodologiques généraux, ainsi que des informations concernant la plupart de ses grands domaines d'application et de nombreux exemples de réalisations pratiques. L'AUTEUR BERNADETTE BOUCHON-MEUNIER est chercheur au laboratoire Laforia de Jussieu-Paris VIII et la spécialiste incontestée en France et à l'étranger de la logique floue. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02246 006-73.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Logique pour l'informatique et pour l'intelligence artificielle Type de document : texte imprimé Auteurs : Ricardo Caferra, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : cop. 2011 Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691 Importance : 1 vol. (424 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-2600-5 Langues : Français (fre) Mots-clés : l'informatique l'inelligence artificielle Index. décimale : 006 Résumé : La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Logique pour l'informatique et pour l'intelligence artificielle [texte imprimé] / Ricardo Caferra, Auteur . - Paris : Hermès science publications-Lavoisier, cop. 2011 . - 1 vol. (424 p.) ; 24 cm. - (Collection Informatique (Paris. 1992), ISSN 1242-7691) .
ISBN : 978-2-7462-2600-5
Langues : Français (fre)
Mots-clés : l'informatique l'inelligence artificielle Index. décimale : 006 Résumé : La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei09984 006-289.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Logique(s), langages formels et complexité pour l'informatique Type de document : texte imprimé Auteurs : Narendra Jussien, ; Yvon L'Hospitalier, Editeur : Paris : Hermes Sciences Publ. Année de publication : cop. 2006. Autre Editeur : Lavoisier Collection : Collection Informatique (Paris. 1992), ISSN 1242-7691. Importance : 313 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-1395-1 Langues : Français (fre) Mots-clés : informatique Logique langages formels complexité Index. décimale : 004 Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Logique(s), langages formels et complexité pour l'informatique [texte imprimé] / Narendra Jussien, ; Yvon L'Hospitalier, . - Paris : Hermes Sciences Publ. : [S.l.] : Lavoisier, cop. 2006. . - 313 p. ; 24 cm.. - (Collection Informatique (Paris. 1992), ISSN 1242-7691.) .
ISBN : 978-2-7462-1395-1
Langues : Français (fre)
Mots-clés : informatique Logique langages formels complexité Index. décimale : 004 Résumé : Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei00600 004-138.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00601 004-138.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Sorti jusqu'au 31/05/2023 fsei00602 004-138.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
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
Titre : Logique transitionnelle microprogrammée : conception des automates industriels Type de document : texte imprimé Auteurs : Jean Florine, Auteur Editeur : Paris : InterÉditions Année de publication : 1983 Importance : 677 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7296-0041-9 Note générale : Bibliogr. p. 668-673. Index Langues : Français (fre) Mots-clés : Logique transitionnelle microprogrammée Index. décimale : 005 Logique transitionnelle microprogrammée : conception des automates industriels [texte imprimé] / Jean Florine, Auteur . - Paris : InterÉditions, 1983 . - 677 p. : ill. ; 24 cm.
ISBN : 978-2-7296-0041-9
Bibliogr. p. 668-673. Index
Langues : Français (fre)
Mots-clés : Logique transitionnelle microprogrammée Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01676 005-402.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
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
Titre : Machines algorithmiques Type de document : texte imprimé Auteurs : Marc Davio, Auteur ; Jean-Pierre Deschamps (1945-....), Auteur ; André Thayse (1940-....), Auteur Editeur : Lausanne : Presses polytechniques romandes Année de publication : [ca 1983] Autre Editeur : [Paris] : diffusion Eyrolles Importance : XI-222 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-015-3 Note générale : Bibliogr. p. 209-217 . Index Langues : Français (fre) Mots-clés : algorithme Index. décimale : 004 Machines algorithmiques [texte imprimé] / Marc Davio, Auteur ; Jean-Pierre Deschamps (1945-....), Auteur ; André Thayse (1940-....), Auteur . - Lausanne : Presses polytechniques romandes : [Paris] : diffusion Eyrolles, [ca 1983] . - XI-222 p. : ill. ; 24 cm.
ISBN : 978-2-88074-015-3
Bibliogr. p. 209-217 . Index
Langues : Français (fre)
Mots-clés : algorithme Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00488 004-198.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00489 004-198.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Macintosh : référence du programmeur Type de document : texte imprimé Auteurs : Elmer Editeur : Paris : Dunod tech Année de publication : 1993 Collection : Guide PSI (Paris), ISSN 1150-2738 Importance : 958 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-001844-4 Note générale : Autre forme du titre : "Le guide Macintosh"
La couv. porte en plus : "référence du programmeur, la Toolbox et ses gestionnaires faciles d'emploi"
IndexLangues : Français (fre) Mots-clés : Macintosh Index. décimale : 005 Macintosh : référence du programmeur [texte imprimé] / Elmer . - Paris : Dunod tech, 1993 . - 958 p. : ill., couv. ill. en coul. ; 24 cm. - (Guide PSI (Paris), ISSN 1150-2738) .
ISBN : 978-2-10-001844-4
Autre forme du titre : "Le guide Macintosh"
La couv. porte en plus : "référence du programmeur, la Toolbox et ses gestionnaires faciles d'emploi"
Index
Langues : Français (fre)
Mots-clés : Macintosh Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01502 005-310.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible