Bienvenue au Centre de Documentation et d'Information de 2iE: Plus de 27422 ouvrages vous sont proposés
Détail de la série
Technique et Science informatiques. RSTI série TSI |
Documents disponibles dans cette série (3)
Faire une suggestion Affiner la recherche
Titre de série : Technique et Science informatiques. RSTI série TSI, 6 Titre : Agents et codes mobiles Type de document : texte imprimé Auteurs : Arcangeli, J. - P. ; Bernard, G. ; Hameurlain, A. Mention d'édition : Hermes, Lavoisier Editeur : Hermes, Lavoisier Année de publication : 2002 ISBN/ISSN/EAN : 978-2-7462-0551-2 Langues : Français (fre) Mots-clés : Code mobile Agent mobile Système reparti à objet Asynchronisme Object actif, méta-objet Index. décimale : 004 Traitement de données. Informatique Technique et Science informatiques. RSTI série TSI, 6. Agents et codes mobiles [texte imprimé] / Arcangeli, J. - P. ; Bernard, G. ; Hameurlain, A. . - Hermes, Lavoisier . - Hermes, Lavoisier, 2002.
ISBN : 978-2-7462-0551-2
Langues : Français (fre)
Mots-clés : Code mobile Agent mobile Système reparti à objet Asynchronisme Object actif, méta-objet Index. décimale : 004 Traitement de données. Informatique Réservation
Réserver ce document
Exemplaires(8)
Code-barres Cote Support Localisation Section Disponibilité ER04B579.3280 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible ER04B579.3279 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible ER04B579.3277 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible ER04B579.3278 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible ER04B579.3276 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible ER04B579.3275 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible ER04B579.3274 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible ER04B579.3273 ER 6579 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible Technique et Science informatiques. RSTI série TSI, 7. Approches formelles pour le développement de logiciels / Jézequel, J.- M.
Titre de série : Technique et Science informatiques. RSTI série TSI, 7 Titre : Approches formelles pour le développement de logiciels Type de document : texte imprimé Auteurs : Jézequel, J.- M. ; Souquières, J. Mention d'édition : Hermes/Lavoisier Editeur : Hermes/Lavoisier Année de publication : 2004 ISBN/ISSN/EAN : 978-2-7462-1016-5 Langues : Français (fre) Mots-clés : Carte à puce Validation Théorie des ensembles Test de conformité Traduction adaptable Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Technique et Science informatiques. RSTI série TSI, 7. Approches formelles pour le développement de logiciels [texte imprimé] / Jézequel, J.- M. ; Souquières, J. . - Hermes/Lavoisier . - Hermes/Lavoisier, 2004.
ISBN : 978-2-7462-1016-5
Langues : Français (fre)
Mots-clés : Carte à puce Validation Théorie des ensembles Test de conformité Traduction adaptable Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Réservation
Réserver ce document
Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité &)àà&'è(ç ER 6827 Monographie Bibliothèque CDI-Ouaga Fond documentaire Disponible
Titre de série : Technique et Science informatiques. RSTI série TSI Titre : une approche générique de la réécriture Type de document : texte imprimé Auteurs : Aiguier, M. ; Bahrami, D. Mention d'édition : Hermes, Lavoisier Editeur : Hermes, Lavoisier Année de publication : 2003 ISBN/ISSN/EAN : 978-2-7462-0716-5 Note générale : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Langues : Français (fre) Mots-clés : REECRITURE ABSTRAITE LOGICALITE Index. décimale : 004 Traitement de données. Informatique Résumé : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Note de contenu : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Technique et Science informatiques. RSTI série TSI. une approche générique de la réécriture [texte imprimé] / Aiguier, M. ; Bahrami, D. . - Hermes, Lavoisier . - Hermes, Lavoisier, 2003.
ISBN : 978-2-7462-0716-5
Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique
Langues : Français (fre)
Mots-clés : REECRITURE ABSTRAITE LOGICALITE Index. décimale : 004 Traitement de données. Informatique Résumé : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Note de contenu : Dans cet article est étudiée la réécriture en tant que synstème de preuve opérationnel de façon générique (c'est-à-dire indépendemment de la logique sous-jacente). Dans ce but, l'auteur propose des conditions simples qui permettent de caractériser les logiques àù ce type de preuve effective peut être appliquée. Ces conditions sont fondées sur une propriété définie sur les arbres de preuve, qu'on appelle semi-commutation. Il montre alors comment axionaliser les notions usuelles de terminaison, confluence et confluence totale au sein de ce métaformalisme. Cela nous permet de retrouver les résultats fondamentaux de Church-Resser et Newman et de proposer une méthode de complétion de Knuth et Bendix générique Réservation
Réserver ce document
Exemplaires(32)
Code-barres Cote Support Localisation Section Disponibilité ER03B583.1913 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1914 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1915 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1916 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1917 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1918 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1919 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1920 ER 6583.1 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1921 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1922 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1923 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1924 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1925 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1926 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1927 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1928 er 6583.2 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1929 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1930 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1931 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1932 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1933 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1934 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1935 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1936 ER 6583.3 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1937 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1938 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1939 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1940 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1941 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1942 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1943 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible ER03B583.1944 ER 6583.4 Périodique Bibliothèque CDI-Ouaga Fond documentaire Disponible
