Biblio Math&Info
Catégories
Affiner la recherche Interroger des sources externes
Les réseaux de Petri / Annie Choquet-Geniet
Titre : Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés Type de document : texte imprimé Auteurs : Annie Choquet-Geniet (1961-....), Auteur Editeur : Paris : Dunod Année de publication : DL 2006 Collection : Sciences sup ISBN/ISSN/EAN : 978-2-10-049147-6 Note générale : La couv. porte en plus : "licence, master, écoles d'ingénieurs"
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Petri, Réseaux de Manuels d'enseignement supérieur Systèmes informatiques Modèles mathématiques Index. décimale : 004.6 Communications, interfaçage Résumé : L'ouvrage est consacré à la modélisation et à l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre. Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés [texte imprimé] / Annie Choquet-Geniet (1961-....), Auteur . - Paris : Dunod, DL 2006. - (Sciences sup) .
ISBN : 978-2-10-049147-6
La couv. porte en plus : "licence, master, écoles d'ingénieurs"
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Petri, Réseaux de Manuels d'enseignement supérieur Systèmes informatiques Modèles mathématiques Index. décimale : 004.6 Communications, interfaçage Résumé : L'ouvrage est consacré à la modélisation et à l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre. Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 9782100491476MIT001 004.6/104 Livre Maths&Informatique Fonds informatique Disponible 9782100491476MIT002 004.6/104 Livre Maths&Informatique Fonds informatique Disponible 9782100491476MIT003 004.6/104 Livre Maths&Informatique Fonds informatique Disponible 9782100491476MIT004 004.6/104 Livre Maths&Informatique Fonds informatique Disponible Réseaux poste à poste avec Windows 95 / Horst-Dieter Radke
Titre : Réseaux poste à poste avec Windows 95 Type de document : texte imprimé Auteurs : Horst-Dieter Radke, Auteur ; Pierre M Wolf, Traducteur Editeur : Paris : Micro application Année de publication : 1996 (cop.) Collection : Data Becker, ISSN 0980-1928 ISBN/ISSN/EAN : 978-2-7429-0593-5 Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Microsoft Windows (logiciels) Index. décimale : 004.6 Communications, interfaçage Réseaux poste à poste avec Windows 95 [texte imprimé] / Horst-Dieter Radke, Auteur ; Pierre M Wolf, Traducteur . - Paris : Micro application, 1996 (cop.). - (Data Becker, ISSN 0980-1928) .
ISBN : 978-2-7429-0593-5
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Microsoft Windows (logiciels) Index. décimale : 004.6 Communications, interfaçage Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 9782742905935MIT001 004.6/035 Livre Maths&Informatique Fonds informatique Disponible 9782742905935MIT002 004.6/035 Livre Maths&Informatique Fonds informatique Disponible 9782742905935MIT003 004.6/035 Livre Maths&Informatique Fonds informatique Disponible 9782742905935MIT004 004.6/035 Livre Maths&Informatique Fonds informatique Disponible 9782742905935MIT005 004.6/035 Livre Maths&Informatique Fonds informatique Disponible Réseaux poste à poste avec Windows 98 / Horst-Dieter Radke
Titre : Réseaux poste à poste avec Windows 98 Type de document : texte imprimé Auteurs : Horst-Dieter Radke, Auteur ; Pierre M Wolf, Traducteur Editeur : Paris : Micro application Année de publication : 1998 (cop.) Collection : PC 100 % pratique ISBN/ISSN/EAN : 978-2-7429-1254-4 Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Microsoft Windows (logiciels) Réseaux d'ordinateurs Index. décimale : 004.6 Communications, interfaçage Réseaux poste à poste avec Windows 98 [texte imprimé] / Horst-Dieter Radke, Auteur ; Pierre M Wolf, Traducteur . - Paris : Micro application, 1998 (cop.). - (PC 100 % pratique) .
ISBN : 978-2-7429-1254-4
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Microsoft Windows (logiciels) Réseaux d'ordinateurs Index. décimale : 004.6 Communications, interfaçage Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 9782742912544MIT001 004.6/069 Livre Maths&Informatique Fonds informatique Disponible Réseaux & Télécoms 3éd / Claude Servin
Titre : Réseaux & Télécoms 3éd : Cours avec 129 exercices corrigés Type de document : texte imprimé Auteurs : Claude Servin, Auteur Editeur : Paris : Dunod ISBN/ISSN/EAN : 978-2-10-052940-7 Langues : Français (fre) Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageIndex. décimale : 004.6 Communications, interfaçage Réseaux & Télécoms 3éd : Cours avec 129 exercices corrigés [texte imprimé] / Claude Servin, Auteur . - Paris : Dunod, [s.d.].
ISBN : 978-2-10-052940-7
Langues : Français (fre)
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageIndex. décimale : 004.6 Communications, interfaçage Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 9782100529407MIT001 004.6/080 Livre Maths&Informatique Fonds informatique Disponible Réussir un projet de site Web / Nicolas Chu
Titre : Réussir un projet de site Web Type de document : texte imprimé Auteurs : Nicolas Chu, Auteur ; Gaël Thomas, Collaborateur Mention d'édition : 3e éd. Editeur : Paris : Eyrolles Année de publication : 2005 Collection : Accès libre ISBN/ISSN/EAN : 978-2-212-11572-7 Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:InternetMots-clés : Sites Web Conception Index. décimale : 004.678 Internet Résumé : 3e édition. Avec la contribution de Gaël Thomas. Réussir un projet de site Web [texte imprimé] / Nicolas Chu, Auteur ; Gaël Thomas, Collaborateur . - 3e éd. . - Paris : Eyrolles, 2005. - (Accès libre) .
ISBN : 978-2-212-11572-7
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:InternetMots-clés : Sites Web Conception Index. décimale : 004.678 Internet Résumé : 3e édition. Avec la contribution de Gaël Thomas. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 9782212115727MIT001 004.678/051 Livre Maths&Informatique Fonds informatique Disponible La Révolution des ordinateurs neuronaux / Jean-Claude Perez
PermalinkLe routage dans l'Internet / Christian Huitema
PermalinkRouteurs Cisco / Joe Habraken
PermalinkSe former à MERISE / Gérald Louvet
PermalinkServeurs d'applications / François Brethes
PermalinkServeurs multiprocesseurs, clusters et architectures parallèles / René J. Chevance
PermalinkLes services sociaux à l'épreuve de l'informatique / Gérard Chevalier
PermalinkServices Web avec SOAP, WDSL, UDDI, ebXML / Jean-Marie Chauvet
PermalinkSésame pour Internet / Tracy Lynn LaQuey
PermalinkStratégie et ingénierie de la sécurité des réseaux / Solange Ghernaouti-Hélie
Permalink