A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Résultat de la recherche
59 résultat(s) recherche sur le mot-clé 'Informatique' 
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes Faire une suggestionElèments de théorie des automates / Jacques Sakarovitch (2003)
Titre : Elèments de théorie des automates Type de document : texte imprime Auteurs : Jacques Sakarovitch Editeur : Paris : Vuibert Informatique Année de publication : 2003 Importance : 816 p. Format : 25 cm ISBN/ISSN/EAN : 978-2-7117-4807-5 Note générale : Bibliogr. Index Langues : Français Mots-clés : Automates Informatique Machines Enumération Transducterurs Algébre Index. décimale : 003.6 Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage Note de contenu :
Voir les offres de ces vendeurs.
2 d'occasion à partir de EUR 70,00
‹ Retourner à l'aperçu du produit
Table des matières
LES TROIS STADES DE LA RATIONALITE
La machine la plus simple
Puissance de l'algèbre
Pertinence de l'énumération
LA RATIONALITE DANS LES RELATIONS
Richesse des transducteurs
Simplicité des transducteurs fonctionnelsPermalink : ./index.php?lvl=notice_display&id=11990 Elèments de théorie des automates [texte imprime] / Jacques Sakarovitch . - Paris : Vuibert Informatique, 2003 . - 816 p. ; 25 cm.
ISBN : 978-2-7117-4807-5
Bibliogr. Index
Langues : Français
Mots-clés : Automates Informatique Machines Enumération Transducterurs Algébre Index. décimale : 003.6 Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage Note de contenu :
Voir les offres de ces vendeurs.
2 d'occasion à partir de EUR 70,00
‹ Retourner à l'aperçu du produit
Table des matières
LES TROIS STADES DE LA RATIONALITE
La machine la plus simple
Puissance de l'algèbre
Pertinence de l'énumération
LA RATIONALITE DANS LES RELATIONS
Richesse des transducteurs
Simplicité des transducteurs fonctionnelsPermalink : ./index.php?lvl=notice_display&id=11990 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA296/1 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA296/2 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/3 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/4 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/5 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/6 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/7 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/8 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/9 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/10 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/11 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Analyse Monier, Jean-Marie Le Grafcet Moreno, Simon Génie électrique Boye, Pierre Automatismes industriels Bleux, J.M. Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Comment établir un appel d'offre en informatique Type de document : texte imprime Auteurs : François Petit, Auteur ; Pottlizer, Roger, Préfacier, etc. ; Champenois, Alain, Préfacier, etc. Editeur : Paris : Dunod Année de publication : cop. 1999 Collection : Informatique Importance : (XXIV-263 p.) Présentation : ill.,couv.ill. Format : 25 cm + disquette Accompagnement : 1 disquette PC ISBN/ISSN/EAN : 978-2-10-004744-4 Note générale : Autre tirage : 2001
Bibliogr. p. 259-260. IndexLangues : Français Mots-clés : Appels d'offres:informatique Informatique Gestion d'entreprise:systèmes d'information Systèmes informatiques:évaluation Résumé : Cet ouvrage est un outil d'aide à l'établissement des documents pour la réalisation d'appels d'offres
Il donne une méthode et des conseils de rédaction, définit les différents cahiers des charges (technique, administratif et de réalisation)
Il recense et commente les postes à l'intérieur de chaque cahier des charges
Une disquette contenant un modèle d’appel d'offres directement utilisable complète le livre.
Public concerné : Maîtres d'oeuvre et maîtres d'ouvrage, SSII et prestataires de services, directions informatiquesPermalink : ./index.php?lvl=notice_display&id=13569 Comment établir un appel d'offre en informatique [texte imprime] / François Petit, Auteur ; Pottlizer, Roger, Préfacier, etc. ; Champenois, Alain, Préfacier, etc. . - Paris : Dunod, cop. 1999 . - (XXIV-263 p.) : ill.,couv.ill. ; 25 cm + disquette + 1 disquette PC. - (Informatique) .
ISBN : 978-2-10-004744-4
Autre tirage : 2001
Bibliogr. p. 259-260. Index
Langues : Français
Mots-clés : Appels d'offres:informatique Informatique Gestion d'entreprise:systèmes d'information Systèmes informatiques:évaluation Résumé : Cet ouvrage est un outil d'aide à l'établissement des documents pour la réalisation d'appels d'offres
Il donne une méthode et des conseils de rédaction, définit les différents cahiers des charges (technique, administratif et de réalisation)
Il recense et commente les postes à l'intérieur de chaque cahier des charges
Une disquette contenant un modèle d’appel d'offres directement utilisable complète le livre.
Public concerné : Maîtres d'oeuvre et maîtres d'ouvrage, SSII et prestataires de services, directions informatiquesPermalink : ./index.php?lvl=notice_display&id=13569 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF15/1 INF15 Livre Magasin d'Ouvrages / INF Informatique Consultation sur place
Exclu du prêtINF15/2 INF15 Livre Magasin d'Ouvrages / INF Informatique Disponible INF15/3 INF15 Livre Magasin d'Ouvrages / INF Informatique Disponible INF15/4 INF15 Livre Magasin d'Ouvrages / INF Informatique Disponible INF15/5 INF15 Livre Magasin d'Ouvrages / INF Informatique Disponible INF15/6 INF15 Livre Magasin d'Ouvrages / INF Informatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Enfin comprendre l'informatique ! Type de document : texte imprime Auteurs : Canesi Gerard ; Pierre Rigollet Bruno Cuvillier Editeur : Paris : Ellipses Année de publication : 2002 Collection : Reprendre ses études, ISSN 1625-1156 Importance : 261 p. Présentation : ill. Format : 24cm ISBN/ISSN/EAN : 978-2-7298-0754-2 Note générale :
Bibliogr. p. 257-258. Adresses des sites Web. Index des siglesLangues : Français Mots-clés : Microordinateurs:guides pratiques et mémentos Informatique Éducation permanente universitaire Résumé : Un livre complet, simple, illustré, spécialement écrit pour tous ceux qui désirent connaître les notions de base de l'informatique, des ordinateurs et des métiers et des formations de la filière. Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=13617 Enfin comprendre l'informatique ! [texte imprime] / Canesi Gerard ; Pierre Rigollet Bruno Cuvillier . - Paris : Ellipses, 2002 . - 261 p. : ill. ; 24cm. - (Reprendre ses études, ISSN 1625-1156) .
ISBN : 978-2-7298-0754-2
Bibliogr. p. 257-258. Adresses des sites Web. Index des sigles
Langues : Français
Mots-clés : Microordinateurs:guides pratiques et mémentos Informatique Éducation permanente universitaire Résumé : Un livre complet, simple, illustré, spécialement écrit pour tous ceux qui désirent connaître les notions de base de l'informatique, des ordinateurs et des métiers et des formations de la filière. Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=13617 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF68/1 INF68 Livre Magasin d'Ouvrages / INF Informatique Consultation sur place
Exclu du prêtINF68/2 INF68 Livre Magasin d'Ouvrages / INF Informatique Disponible INF68/3 INF68 Livre Magasin d'Ouvrages / INF Informatique Disponible INF68/4 INF68 Livre Magasin d'Ouvrages / INF Informatique Disponible INF68/5 INF68 Livre Magasin d'Ouvrages / INF Informatique Disponible INF68/6 INF68 Livre Magasin d'Ouvrages / INF Informatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Aide-mémoire de droit : à l'usage des responsables informatique Type de document : texte imprime Auteurs : Isabelle Renard, Auteur ; Jean-Marc Rietsch, Auteur Editeur : Paris : Dunod Année de publication : DL 2012 Collection : InfoPro Importance : (XIV-210 p.) Présentation : couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-10-057066-9 Note générale : Notes bibliogr. Liste de sites Internet p. [203]-204. Index. Glossaire Langues : Français Catégories : Aspects juridiques (Informatique) Mots-clés : Informatique Systèmes en ligne Nouvelles technologies de l'information et de la communication Droit d'auteur Droit Index. décimale : 343440999 Droit.Informatique Résumé :
Les "responsables informatiques", qu'ils travaillent dans un grand groupe ou dans une PME, sont responsables du patrimoine informationnel de leur entreprise, et à ce titre courent un certain nombre de risques. Leur métier et leurs obligations légales se sont considérablement complexifiées ces dernières années. Par exemple l'externalisation des services (sous-traitance, cloud computing, collaborateurs itinérants...) estompent les frontières du SI. Autre exemple la multiplication des réglementations (CNIL, Hadopi, archivage...) complexifie la tache du responsable informatique. Or celui-ci a rarement la culture juridique de base qui lui permettrait d'être pleinement informé de la dimension juridique de ses activités. Cet ouvrage explique simplement sous forme de fiches les principales réglementations qui s'appliquent au système d'information et ce qu'il faut en retenir.Note de contenu :
RSI : de quoi êtes-vous responsables ?
Le patrimoine incorporel de l'entreprise
Téléchargements illicites et loi Hadopi
Gérer les intervenants sur le SI
Encadrer les pratiques des salariés
Les données personnelles
Conservation et processus numériques
L'impact des comptabilités informatisées sur le SI
Comment faire face aux situations de e-discovery ?
Le cloud computing
Traitement assurantiel : de l'anticipation à la réparationEn ligne : https://www.amazon.fr/Aide-m%C3%A9moire-droit-lusage-responsables-informatique/d [...] Permalink : ./index.php?lvl=notice_display&id=13631 Aide-mémoire de droit : à l'usage des responsables informatique [texte imprime] / Isabelle Renard, Auteur ; Jean-Marc Rietsch, Auteur . - Paris : Dunod, DL 2012 . - (XIV-210 p.) : couv. ill. en coul. ; 21 cm. - (InfoPro) .
ISBN : 978-2-10-057066-9
Notes bibliogr. Liste de sites Internet p. [203]-204. Index. Glossaire
Langues : Français
Catégories : Aspects juridiques (Informatique) Mots-clés : Informatique Systèmes en ligne Nouvelles technologies de l'information et de la communication Droit d'auteur Droit Index. décimale : 343440999 Droit.Informatique Résumé :
Les "responsables informatiques", qu'ils travaillent dans un grand groupe ou dans une PME, sont responsables du patrimoine informationnel de leur entreprise, et à ce titre courent un certain nombre de risques. Leur métier et leurs obligations légales se sont considérablement complexifiées ces dernières années. Par exemple l'externalisation des services (sous-traitance, cloud computing, collaborateurs itinérants...) estompent les frontières du SI. Autre exemple la multiplication des réglementations (CNIL, Hadopi, archivage...) complexifie la tache du responsable informatique. Or celui-ci a rarement la culture juridique de base qui lui permettrait d'être pleinement informé de la dimension juridique de ses activités. Cet ouvrage explique simplement sous forme de fiches les principales réglementations qui s'appliquent au système d'information et ce qu'il faut en retenir.Note de contenu :
RSI : de quoi êtes-vous responsables ?
Le patrimoine incorporel de l'entreprise
Téléchargements illicites et loi Hadopi
Gérer les intervenants sur le SI
Encadrer les pratiques des salariés
Les données personnelles
Conservation et processus numériques
L'impact des comptabilités informatisées sur le SI
Comment faire face aux situations de e-discovery ?
Le cloud computing
Traitement assurantiel : de l'anticipation à la réparationEn ligne : https://www.amazon.fr/Aide-m%C3%A9moire-droit-lusage-responsables-informatique/d [...] Permalink : ./index.php?lvl=notice_display&id=13631 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF82/1 INF82 Livre Magasin d'Ouvrages / INF Informatique Consultation sur place
Exclu du prêtINF82/2 INF82 Livre Magasin d'Ouvrages / INF Informatique Disponible INF82/3 INF82 Livre Magasin d'Ouvrages / INF Informatique Disponible INF82/4 INF82 Livre Magasin d'Ouvrages / INF Informatique Disponible INF82/5 INF82 Livre Magasin d'Ouvrages / INF Informatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Principes fondamentaux d'informatique générale . Tome 1 ,Architecture et composants Type de document : texte imprime Auteurs : Dominique Battisti, Auteur ; Macon, Christine, Auteur ; Martin, Christiane, Auteur Editeur : Paris : Nathan Année de publication : 1990 Importance : 236 p. Présentation : couv. ill. en coul., ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-09-172440-9 Note générale : La couv. porte en plus : "BTS informatique de gestion".
IndexLangues : Français Mots-clés : Ordinateurs:circuits Composants électroniques Architecture des ordinateurs Informatique Index. décimale : 004.1 Permalink : ./index.php?lvl=notice_display&id=12156 Principes fondamentaux d'informatique générale . Tome 1 ,Architecture et composants [texte imprime] / Dominique Battisti, Auteur ; Macon, Christine, Auteur ; Martin, Christiane, Auteur . - Paris : Nathan, 1990 . - 236 p. : couv. ill. en coul., ill. ; 24 cm.
ISBN : 978-2-09-172440-9
La couv. porte en plus : "BTS informatique de gestion".
Index
Langues : Français
Mots-clés : Ordinateurs:circuits Composants électroniques Architecture des ordinateurs Informatique Index. décimale : 004.1 Permalink : ./index.php?lvl=notice_display&id=12156 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA458/T1/1 IA458/T1 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA458/T1/2 IA458/T1 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA458/T1/3 IA458/T1 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA458/T1/4 IA458/T1 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA458/T1/5 IA458/T1 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
