magasin d'ouvrages
004.004.1 Info.
Dans le rayon 004.004.1 Info. il y a différentes étagères, cliquez dessus pour les explorer...Affiner la recherche
AIM 65 User's guide
Titre : AIM 65 User's guide Type de document : texte imprimé Editeur : Rockwel international Année de publication : 1979 Présentation : ill. Format : 15 X 21 cm Note générale : Tables des matières Langues : Français (fre) AIM 65 User's guide [texte imprimé] . - Rockwel international, 1979 . - : ill. ; 15 X 21 cm.
Tables des matières
Langues : Français (fre)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM31827 004.004.1.20 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt L'analyse bien tempérée / Bertrand Rungaldier
Titre : L'analyse bien tempérée : 2 : Séries, intégration et calcul différentiel Type de document : texte imprimé Auteurs : Bertrand Rungaldier Editeur : Paris : Ellipses Année de publication : 1996 Importance : 192 p. Format : 26 x 18 cm ISBN/ISSN/EAN : 978-2-7298-9655-3 Note générale : Sommaire Langues : Français (fre) Mots-clés : L'anlyse Résumé : Après un résumé de cours pour chaque sujet traité, réunit un grand nombre d'exercices élémentaires avec leurs solutions détaillées accompagnées d'une analyse qui a pour but de montrer le cheminement de la pensée qui conduira à la solution de l'exercice. Pour les étudiants de 1ére année de classe préparatoire aux grandes écoles et ceux de 1ère année de DEUG. L'analyse bien tempérée : 2 : Séries, intégration et calcul différentiel [texte imprimé] / Bertrand Rungaldier . - Paris : Ellipses, 1996 . - 192 p. ; 26 x 18 cm.
ISBN : 978-2-7298-9655-3
Sommaire
Langues : Français (fre)
Mots-clés : L'anlyse Résumé : Après un résumé de cours pour chaque sujet traité, réunit un grand nombre d'exercices élémentaires avec leurs solutions détaillées accompagnées d'une analyse qui a pour but de montrer le cheminement de la pensée qui conduira à la solution de l'exercice. Pour les étudiants de 1ére année de classe préparatoire aux grandes écoles et ceux de 1ère année de DEUG. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité FTM7556 510.378.51.284/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM7557 510.378.51.284/02 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM6127 510.378.51.284/03 Livre magasin d'ouvrages 510.378.51.Maths Disponible Analyse des données / Govaert Gérard
Titre : Analyse des données Type de document : texte imprimé Auteurs : Govaert Gérard Editeur : Paris : Hermès science publications-Lavoisier, Année de publication : 2003 Collection : Collection Traitement du signal Importance : 368 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0643-4 Langues : Français (fre) Mots-clés : analyse des données. Index. décimale : 004 Traitement de données. Informatique Résumé : chaque ouvrage présente aussi bien les aspects fondamentaux qu'expérimentaux.Une classification des différents articles contenus dans chacun , une bibliographie et in index détaillé orientent le lecteur vers ses points d'intérêt immédiats: celui -ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix. Analyse des données [texte imprimé] / Govaert Gérard . - Paris : Hermès science publications-Lavoisier,, 2003 . - 368 p. ; 24 x 16 cm. - (Collection Traitement du signal) .
ISBN : 978-2-7462-0643-4
Langues : Français (fre)
Mots-clés : analyse des données. Index. décimale : 004 Traitement de données. Informatique Résumé : chaque ouvrage présente aussi bien les aspects fondamentaux qu'expérimentaux.Une classification des différents articles contenus dans chacun , une bibliographie et in index détaillé orientent le lecteur vers ses points d'intérêt immédiats: celui -ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité FTM18715 004.004.1.12/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM18716 004.004.1.12/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM18717 004.004.1.12/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM18718 004.004.1.12/04 Livre magasin d'ouvrages 004.004.1 Info. Disponible Analyse statistique des données expérimentales / Konstantin Protassov
Titre : Analyse statistique des données expérimentales Type de document : texte imprimé Auteurs : Konstantin Protassov, Auteur Editeur : Les Ulis : EDP sciences, Année de publication : 2002 Collection : Collection Grenoble sciences. Importance : 148 p Présentation : ill Format : 15 x 24 cm ISBN/ISSN/EAN : 978-2-86883-590-1 Prix : 22 EUR Note générale : Bibliogr. p. 143. Index Langues : Français (fre) Analyse statistique des données expérimentales [texte imprimé] / Konstantin Protassov, Auteur . - Les Ulis : EDP sciences,, 2002 . - 148 p : ill ; 15 x 24 cm. - (Collection Grenoble sciences.) .
ISBN : 978-2-86883-590-1 : 22 EUR
Bibliogr. p. 143. Index
Langues : Français (fre)Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM35316 KON Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM35317 KON Livre magasin d'ouvrages 004.004.1 Info. Disponible Architecture logicielles et matérielles / Paul Amblard
Titre : Architecture logicielles et matérielles : cours, études de cas et exercices corrigés Type de document : texte imprimé Auteurs : Paul Amblard, Auteur ; Jean-Claude Fernandez, Auteur Editeur : Paris : Dunod Année de publication : 2000 Importance : 572 p. Présentation : ill. Format : 17 X 25 cm ISBN/ISSN/EAN : 978-2-10-004893-9 Note générale : Sciences SUP Langues : Français (fre) Mots-clés : Architecture Résumé : L'objectif est d'expliquer à de futurs spécialistes d'informatique le fonctionnement de l'ordinateur. Architecture logicielles et matérielles : cours, études de cas et exercices corrigés [texte imprimé] / Paul Amblard, Auteur ; Jean-Claude Fernandez, Auteur . - Paris : Dunod, 2000 . - 572 p. : ill. ; 17 X 25 cm.
ISBN : 978-2-10-004893-9
Sciences SUP
Langues : Français (fre)
Mots-clés : Architecture Résumé : L'objectif est d'expliquer à de futurs spécialistes d'informatique le fonctionnement de l'ordinateur. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité FTM25959 004.004.1.14/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM25960 004.004.1.14/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM25961 004.004.1.14/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible Automatisme Tome 1 : technologie, travaux pratiques / R. Touilliez
Titre : Automatisme Tome 1 : technologie, travaux pratiques Type de document : texte imprimé Auteurs : R. Touilliez, Auteur Editeur : Paris : Claude Hermant, Importance : 232 p. Format : 18 x 26 cm Note générale : tables des matières Langues : Français (fre) Automatisme Tome 1 : technologie, travaux pratiques [texte imprimé] / R. Touilliez, Auteur . - Paris : Claude Hermant,, [s.d.] . - 232 p. ; 18 x 26 cm.
tables des matières
Langues : Français (fre)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM33244 620.629.5.248 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt Béton armé : / Michel MATANA
Titre : Béton armé : : armatures , coffrages , poteaux , poutres , planchers , balcons , escaliers Type de document : texte imprimé Auteurs : Michel MATANA Editeur : Alger : Laphomic Importance : 125 pages Présentation : ill Format : 22x15 cm Note générale : tables des matières Langues : Français (fre) Béton armé : : armatures , coffrages , poteaux , poutres , planchers , balcons , escaliers [texte imprimé] / Michel MATANA . - Alger : Laphomic, [s.d.] . - 125 pages : ill ; 22x15 cm.
tables des matières
Langues : Français (fre)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM25558 690.691.69 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt Le calcul électronique / Bruno Renard
Titre : Le calcul électronique Type de document : texte imprimé Auteurs : Bruno Renard, Auteur Editeur : paris : presses universitaires de france Année de publication : 1969 Collection : Que sais-je ? Importance : 128 p Format : 11 x 18 cm Note générale : tables des matières Langues : Français (fre) Le calcul électronique [texte imprimé] / Bruno Renard, Auteur . - paris : presses universitaires de france, 1969 . - 128 p ; 11 x 18 cm. - (Que sais-je ?) .
tables des matières
Langues : Français (fre)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM36484 000.001.42.617 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt Capteurs intelligents et méthodologie d’évaluation / Michel Robert
Titre : Capteurs intelligents et méthodologie d’évaluation Type de document : texte imprimé Auteurs : Michel Robert ; Michel Marchandiaux, Auteur ; Michel Porte, Auteur Editeur : Paris : Hermès Année de publication : 1993 Collection : Série automatique Importance : 166 p. Présentation : ill. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-86601-382-0 Note générale : Tables des matières Langues : Français (fre) Mots-clés : capteurs (technologie) Index. décimale : 338.5004 Résumé : Tout automatisme requiert un contrôle. Celui-ci est fondé sur la présence de capteurs dont la nouvelle génération dite "capteurs intelligents" utilise la technologie des systèmes experts. Capteurs intelligents et méthodologie d’évaluation [texte imprimé] / Michel Robert ; Michel Marchandiaux, Auteur ; Michel Porte, Auteur . - Paris : Hermès, 1993 . - 166 p. : ill. ; 24 x 16 cm. - (Série automatique) .
ISBN : 978-2-86601-382-0
Tables des matières
Langues : Français (fre)
Mots-clés : capteurs (technologie) Index. décimale : 338.5004 Résumé : Tout automatisme requiert un contrôle. Celui-ci est fondé sur la présence de capteurs dont la nouvelle génération dite "capteurs intelligents" utilise la technologie des systèmes experts. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM25943 004.004.1.25/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM25944 004.004.1.25/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible Climat, environnement, énergies
Titre : Climat, environnement, énergies : 30 idées reçues pour démêler le vrai du faux Type de document : texte imprimé Editeur : France : le cavalier bleu, Année de publication : 2015 Collection : Idées reçues Importance : 231 p Format : 13*21cm ISBN/ISSN/EAN : 978-2-84670-714-5 Note générale : table des matières. Langues : Français (fre) Climat, environnement, énergies : 30 idées reçues pour démêler le vrai du faux [texte imprimé] . - France : le cavalier bleu,, 2015 . - 231 p ; 13*21cm. - (Idées reçues) .
ISBN : 978-2-84670-714-5
table des matières.
Langues : Français (fre)Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité FTM30125 620.628.395/03 Cartes et plans magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM30123 620.628.395/01 Livre magasin d'ouvrages 620.628.HYD Exclu du prêt FTM30124 620.628.395/02 Livre magasin d'ouvrages 620.628.HYD Disponible FTM30126 620.628.395/04 Livre magasin d'ouvrages 620.628.HYD Disponible Cobol 85 standard / Jim Inglis
Titre : Cobol 85 standard Type de document : texte imprimé Auteurs : Jim Inglis, Auteur Editeur : Paris : Technip Année de publication : 1995 Collection : collection informatique Importance : 360 p. Présentation : ill, Format : 16.5 x 24 cm ISBN/ISSN/EAN : 978-2-7108-0690-5 Note générale : Tables des matières Langues : Français (fre) Mots-clés : Cobol Résumé : Cet ouvrage constitue uen présentation complète du cobol normalisé 1985, dont il explore avec précision et pragmatisme tous les aspects utiles, y compris les ajouts de 1989 à la norme Cobol 85 standard [texte imprimé] / Jim Inglis, Auteur . - Paris : Technip, 1995 . - 360 p. : ill, ; 16.5 x 24 cm. - (collection informatique) .
ISBN : 978-2-7108-0690-5
Tables des matières
Langues : Français (fre)
Mots-clés : Cobol Résumé : Cet ouvrage constitue uen présentation complète du cobol normalisé 1985, dont il explore avec précision et pragmatisme tous les aspects utiles, y compris les ajouts de 1989 à la norme Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM25972 004.004.1.17 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt Commande adaptative : / Luc DUGARD
Titre : Commande adaptative : : aspects pratiques et théoriques Type de document : texte imprimé Auteurs : Luc DUGARD ; Landau, Ioan Doré, Auteur Editeur : Paris : Masson Année de publication : 1986 Collection : Série Automatique Importance : 480 p. Présentation : ill Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-225-80834-0 Prix : 260 F Note générale : Notes bibliogr. . Index. Langues : Français (fre) Mots-clés : automatisation Index. décimale : 338.5004 Résumé : Rassemble les communications d'un colloque du C.N.R.S. consacrè à la commande adaptative. Commande adaptative : : aspects pratiques et théoriques [texte imprimé] / Luc DUGARD ; Landau, Ioan Doré, Auteur . - Paris : Masson, 1986 . - 480 p. : ill ; 24 x 16 cm. - (Série Automatique) .
ISBN : 978-2-225-80834-0 : 260 F
Notes bibliogr. . Index.
Langues : Français (fre)
Mots-clés : automatisation Index. décimale : 338.5004 Résumé : Rassemble les communications d'un colloque du C.N.R.S. consacrè à la commande adaptative. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité FTM4178 004.004.1.22/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM4179 004.004.1.22/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM17101 004.004.1.22/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible Conception et modélisation objet des systèmes temps réel / Bui Minh Duc
Titre : Conception et modélisation objet des systèmes temps réel : Principe de base en modélisation objet - étude complète d'un système temps réel - Modélisation avec UML Type de document : texte imprimé Auteurs : Bui Minh Duc, Auteur Editeur : Paris : Eyrolles Année de publication : 1998 Importance : 341 p. Présentation : ill. Format : 17 X 24 cm ISBN/ISSN/EAN : 978-2-212-09027-7 Note générale : Index Langues : Français (fre) Mots-clés : temps réel Résumé : Ce livre expose les concepts fondamentaux que doit posséder toutes personne qui désire concevoir et mettre en place les systèmes en adoptant le courant de pensé objets. Conception et modélisation objet des systèmes temps réel : Principe de base en modélisation objet - étude complète d'un système temps réel - Modélisation avec UML [texte imprimé] / Bui Minh Duc, Auteur . - Paris : Eyrolles, 1998 . - 341 p. : ill. ; 17 X 24 cm.
ISBN : 978-2-212-09027-7
Index
Langues : Français (fre)
Mots-clés : temps réel Résumé : Ce livre expose les concepts fondamentaux que doit posséder toutes personne qui désire concevoir et mettre en place les systèmes en adoptant le courant de pensé objets. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité FTM25937 004.004.1.11/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM25938 004.004.1.11/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM25939 004.004.1.11/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible La conception orientée objet, évidence ou fatalité / Cavarero Jean-Louis
Titre : La conception orientée objet, évidence ou fatalité : informatique Type de document : texte imprimé Auteurs : Cavarero Jean-Louis, Auteur ; Lecat Rosa, Auteur Editeur : Francxe : Ellipses Année de publication : 2000 Collection : Technosup Importance : 156 p. Format : 26 x 18 cm ISBN/ISSN/EAN : 978-2-7298-0077-2 Note générale : Bibliogr. Glossaire Langues : Français (fre) Mots-clés : conception orientée objets (informatique) Index. décimale : 338.5004 Résumé : Analyse des différences et des liens entre conception classique et conception orientée objet. Présentation des différents modèles et démarches utilisés en conception objet. Description de la méthode de composition, méthode algorithmique qui permet de construire un diagramme de classes ? partir des attributs et des méthodes. La conception orientée objet, évidence ou fatalité : informatique [texte imprimé] / Cavarero Jean-Louis, Auteur ; Lecat Rosa, Auteur . - Francxe : Ellipses, 2000 . - 156 p. ; 26 x 18 cm. - (Technosup) .
ISBN : 978-2-7298-0077-2
Bibliogr. Glossaire
Langues : Français (fre)
Mots-clés : conception orientée objets (informatique) Index. décimale : 338.5004 Résumé : Analyse des différences et des liens entre conception classique et conception orientée objet. Présentation des différents modèles et démarches utilisés en conception objet. Description de la méthode de composition, méthode algorithmique qui permet de construire un diagramme de classes ? partir des attributs et des méthodes. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité FTM1411 004.004.1.01/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM4452 004.004.1.01/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM4453 004.004.1.01/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM18705 004.004.1.01/04 Livre magasin d'ouvrages 004.004.1 Info. Disponible Concepts fondamentaux de l'informatique / Alfred Aho,
Titre : Concepts fondamentaux de l'informatique Type de document : texte imprimé Auteurs : Alfred Aho,, Auteur ; Jeffrey Ullman, Auteur Mention d'édition : Nouv. éd. Editeur : Paris : Dunod Année de publication : 1996 Collection : Science informatique Importance : 856 p. Format : 24 x 18 cm ISBN/ISSN/EAN : 978-2-10-003127-6 Note générale : Index Langues : Français (fre) Mots-clés : informatique dictionnaires Index. décimale : 338.5004 Résumé : Présente les éléments clés de la discipline et les outils théoriques nécessaires à la pratique quotidienne. Nombreux exemples en Pascal et exercices de difficulté progressive. Concepts fondamentaux de l'informatique [texte imprimé] / Alfred Aho,, Auteur ; Jeffrey Ullman, Auteur . - Nouv. éd. . - Paris : Dunod, 1996 . - 856 p. ; 24 x 18 cm. - (Science informatique) .
ISBN : 978-2-10-003127-6
Index
Langues : Français (fre)
Mots-clés : informatique dictionnaires Index. décimale : 338.5004 Résumé : Présente les éléments clés de la discipline et les outils théoriques nécessaires à la pratique quotidienne. Nombreux exemples en Pascal et exercices de difficulté progressive. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM26465 004.004.1.06 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt Conduire son chantier / Daniel Couffignal
Titre : Conduire son chantier Type de document : texte imprimé Auteurs : Daniel Couffignal Mention d'édition : 9e éd. Editeur : Paris : Le Moniteur Année de publication : 2010 Importance : 295p. Format : 27 x 21 cm ISBN/ISSN/EAN : 978-2-281-11455-3 Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : chantiers de construction gestion coordonnateurs de travaux Index. décimale : 530.12530 Résumé : La conduite du chantier prend en compte les éléments suivants : techniques de construction, procédures administratives et financières, personnalité des intervenants. Chaque étape de la vie d'un chantier est analysée. Cette nouvelle édition prend en compte le nouveau code des marchés publics et la nouvelle édition de la norme NF P 03-100 pour les marchés privés. Note de contenu : chantiers de construction : gestion; coordonnateurs de travaux Conduire son chantier [texte imprimé] / Daniel Couffignal . - 9e éd. . - Paris : Le Moniteur, 2010 . - 295p. ; 27 x 21 cm.
ISBN : 978-2-281-11455-3
Bibliogr. Index
Langues : Français (fre)
Mots-clés : chantiers de construction gestion coordonnateurs de travaux Index. décimale : 530.12530 Résumé : La conduite du chantier prend en compte les éléments suivants : techniques de construction, procédures administratives et financières, personnalité des intervenants. Chaque étape de la vie d'un chantier est analysée. Cette nouvelle édition prend en compte le nouveau code des marchés publics et la nouvelle édition de la norme NF P 03-100 pour les marchés privés. Note de contenu : chantiers de construction : gestion; coordonnateurs de travaux Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM11163 690.690.73 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt Constructions métalliques rivées et soudées 3 / G.KIENERT
Titre : Constructions métalliques rivées et soudées 3 : les charpentes Type de document : texte imprimé Auteurs : G.KIENERT Editeur : Paris : Eyrolles Année de publication : 1965 Collection : l'ingébieur des travaux publics et du batiment Importance : 193 p Présentation : ill Format : 24x14 cm Note générale : table des matieres. Langues : Français (fre) Résumé : Ce livre comprend :les éléments de la charpente ,joints assemblages apuis Constructions métalliques rivées et soudées 3 : les charpentes [texte imprimé] / G.KIENERT . - Paris : Eyrolles, 1965 . - 193 p : ill ; 24x14 cm. - (l'ingébieur des travaux publics et du batiment) .
table des matieres.
Langues : Français (fre)
Résumé : Ce livre comprend :les éléments de la charpente ,joints assemblages apuis Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM22831 620.691.29/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM22830 620.691.29/01 Livre magasin d'ouvrages 620.691. Exclu du prêt Controle des applications temps-reel : modeles temporises et hybrides. / Cassez, Franck
Titre : Controle des applications temps-reel : modeles temporises et hybrides. Type de document : texte imprimé Auteurs : Cassez, Franck, Auteur Editeur : Paris : Lavoisier Année de publication : 2006 Importance : 398p. Format : 24x17cm ISBN/ISSN/EAN : 978-2-7462-1483-5 Langues : Français (fre) Résumé : Le domaine de la synthèse de controleur et de l'ordonnancement de processus temps-réel a la récemment bénéficié d'avancéers théoriques et d'outils pratiques issus du domaine de la vérification de systèmes temporisés: les techniques de model checking et les outils associés. Controle des applications temps-reel : modeles temporises et hybrides. [texte imprimé] / Cassez, Franck, Auteur . - Paris : Lavoisier, 2006 . - 398p. ; 24x17cm.
ISBN : 978-2-7462-1483-5
Langues : Français (fre)
Résumé : Le domaine de la synthèse de controleur et de l'ordonnancement de processus temps-réel a la récemment bénéficié d'avancéers théoriques et d'outils pratiques issus du domaine de la vérification de systèmes temporisés: les techniques de model checking et les outils associés. Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité FTM7864 004.004.1.32/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM8955 004.004.1.32/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM8956 004.004.1.32/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM10719 004.004.1.32/04 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM10720 004.004.1.32/05 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM11969 004.004.1.32/06 Livre magasin d'ouvrages 004.004.1 Info. Disponible Cryptographie appliquée / Bruce Schneier
Titre : Cryptographie appliquée : protocoles, algorithmes et codes source en C Type de document : texte imprimé Auteurs : Bruce Schneier Mention d'édition : 2e Ød. Editeur : Paris : Vuibert Année de publication : 2001 Importance : XVII-846 p. Présentation : ill. Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-7117-8676-3 Note générale : Bibliogr. Index. Lexique Langues : Français (fre) Mots-clés : cryptographie réseaux d'ordinateurs Index. décimale : 301.5301 Résumé : Détaille comment programmeurs et professionnels des communications électroniques peuvent utiliser la cryptographie pour maintenir la confidentialité des données. Avec de nombreux algorithmes et des conseils pour les installer. Cryptographie appliquée : protocoles, algorithmes et codes source en C [texte imprimé] / Bruce Schneier . - 2e Ød. . - Paris : Vuibert, 2001 . - XVII-846 p. : ill. ; 24 x 17 cm.
ISBN : 978-2-7117-8676-3
Bibliogr. Index. Lexique
Langues : Français (fre)
Mots-clés : cryptographie réseaux d'ordinateurs Index. décimale : 301.5301 Résumé : Détaille comment programmeurs et professionnels des communications électroniques peuvent utiliser la cryptographie pour maintenir la confidentialité des données. Avec de nombreux algorithmes et des conseils pour les installer. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM5916 004.005.7.24/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM5917 004.005.7.24/02 Livre magasin d'ouvrages 004.005.7Info. Disponible L e bug de l'an 2000 / Djamel Mati
Titre : L e bug de l'an 2000 Type de document : texte imprimé Auteurs : Djamel Mati, Auteur Editeur : Alger : OPU Année de publication : 1999 Importance : 179 p Format : 15x22 cm ISBN/ISSN/EAN : 978-9961-0-0375-6 Note générale : Tables des matières Langues : Français (fre) Résumé : cet ouvrage est un message une incitation à la curiosité un instrument de prise de conscience. L e bug de l'an 2000 [texte imprimé] / Djamel Mati, Auteur . - Alger : OPU, 1999 . - 179 p ; 15x22 cm.
ISBN : 978-9961-0-0375-6
Tables des matières
Langues : Français (fre)
Résumé : cet ouvrage est un message une incitation à la curiosité un instrument de prise de conscience. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM25956 004.004.1.08/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM25957 004.004.1.08/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible Electronics Four / Harry MILEAF
Titre : Electronics Four Type de document : texte imprimé Auteurs : Harry MILEAF Mention d'édition : 2 éme édition Editeur : USA : Hayden books Année de publication : 1989 Importance : 149 p. Format : 23 x 14 cm ISBN/ISSN/EAN : 978-0-8104-5957-1 Note générale : conrtents Langues : Anglais (eng) Français (fre) Electronics Four [texte imprimé] / Harry MILEAF . - 2 éme édition . - USA : Hayden books, 1989 . - 149 p. ; 23 x 14 cm.
ISBN : 978-0-8104-5957-1
conrtents
Langues : Anglais (eng) Français (fre)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM10975 621.621.5.379 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt Eléments d'analyse Tome 2 : / Kada ALLAB
Titre : Eléments d'analyse Tome 2 : : Fonctions d'une variable réelle Type de document : texte imprimé Auteurs : Kada ALLAB Editeur : Alger : OPU Année de publication : 2008 Importance : 309 p Format : 16x24cm ISBN/ISSN/EAN : 978-9961-0-1118-8 Note générale : Tables des matières Langues : Français (fre) Résumé : Cette édition, Éléments d'analyse de kada Allab est présentée en deux tomes adaptés à la nouvelle configuration des programmes. Eléments d'analyse Tome 2 : : Fonctions d'une variable réelle [texte imprimé] / Kada ALLAB . - Alger : OPU, 2008 . - 309 p ; 16x24cm.
ISBN : 978-9961-0-1118-8
Tables des matières
Langues : Français (fre)
Résumé : Cette édition, Éléments d'analyse de kada Allab est présentée en deux tomes adaptés à la nouvelle configuration des programmes. Réservation
Réserver ce document
Exemplaires (30)
Code-barres Cote Support Localisation Section Disponibilité FTM9876 510.378.51.311/10 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM9875 510.378.51.31/09 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9868 510.378.51.311/01 Livre magasin d'ouvrages 510.378.51.Maths Exclu du prêt FTM9867 510.378.51.311/02 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9869 510.378.51.311/03 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9871 510.378.51.311/05 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9872 510.378.51.311/06 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9873 510.378.51.311/07 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9874 510.378.51.311/08 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9877 510.378.51.311/11 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9878 510.378.51.311/12 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9879 510.378.51.311/13 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9880 510.378.51.311/14 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9881 510.378.51.311/15 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9882 510.378.51.311/16 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9883 510.378.51.311/17 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9884 510.378.51.311/18 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9885 510.378.51.311/19 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM9886 510.378.51.311/20 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10350 510.378.51.311/21 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10351 510.378.51.311/22 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10352 510.378.51.311/23 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10353 510.378.51.311/24 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10354 510.378.51.311/25 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10355 510.378.51.311/26 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10356 510.378.51.311/27 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10357 510.378.51.311/28 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM10358 510.378.51.311/29 Livre magasin d'ouvrages 510.378.51.Maths Sorti jusqu'au 02/12/2016 FTM10359 510.378.51.311/30 Livre magasin d'ouvrages 510.378.51.Maths Disponible FTM32896 510.378.51.311/31 Livre magasin d'ouvrages 510.378.51.Maths Disponible Essai+observations sur l'architecture / Laugier Marc . Antoine
Titre : Essai+observations sur l'architecture Type de document : texte imprimé Auteurs : Laugier Marc . Antoine Mention d'édition : Edition IntØgrale des deux volumes Editeur : bruxelles:pierre mardaga Année de publication : 1979 Importance : 326 pages Présentation : ill Format : 22x14 cm ISBN/ISSN/EAN : 978-2-87009-096-1 Langues : Français (fre) Mots-clés : architecture Index. décimale : 378.63621 Résumé : Dans ce livre l'auteur propose les règles propres à diriger le talent et à fixer le gout. Essai+observations sur l'architecture [texte imprimé] / Laugier Marc . Antoine . - Edition IntØgrale des deux volumes . - bruxelles:pierre mardaga, 1979 . - 326 pages : ill ; 22x14 cm.
ISBN : 978-2-87009-096-1
Langues : Français (fre)
Mots-clés : architecture Index. décimale : 378.63621 Résumé : Dans ce livre l'auteur propose les règles propres à diriger le talent et à fixer le gout. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité FTM21189 720.720.1.33/01 Livre magasin d'ouvrages 004.004.1 Info. Exclu du prêt FTM21190 720.720.1.33/02 Livre magasin d'ouvrages 720.720.1.ARCH Disponible FTM21191 720.720.1.33/03 Livre magasin d'ouvrages 720.720.1.ARCH Disponible Exercices et problèmes d'algorithmique / Bruno Baynat
Titre : Exercices et problèmes d'algorithmique : 155 énoncés avec solutions détailles ; licence , master , Écoles d’ingénieurs Type de document : texte imprimé Auteurs : Bruno Baynat, Auteur ; Philippe Chrétienne, Auteur ; Claire Hanen, Auteur Mention d'édition : 3éme édition. Editeur : Paris : Dunod : ETSF Année de publication : 2010 Collection : Sciences sup Importance : XII-468 p. Format : 25 x 18 cm ISBN/ISSN/EAN : 978-2-10-054991-7 Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : algorithmes problLmes et exercices Index. décimale : 378.53570 Résumé : Sur des sujets divers (algorithmes sur les arbres, sur les graphes, les mots, la géométrie) ce livre propose des exercices de forme et de difficultés variables, exercices d'entrainement ou sujets d'examen. Les corrigés comportent les rédactions complètes des preuves et des algorithmes exprimés selon un formalisme proche de celui des langages de programmation impératifs. Exercices et problèmes d'algorithmique : 155 énoncés avec solutions détailles ; licence , master , Écoles d’ingénieurs [texte imprimé] / Bruno Baynat, Auteur ; Philippe Chrétienne, Auteur ; Claire Hanen, Auteur . - 3éme édition. . - Paeris : Dunod, 2010 . - XII-468 p. ; 25 x 18 cm. - (Sciences sup) .
ISBN : 978-2-10-054991-7
Bibliogr. Index
Langues : Français (fre)
Mots-clés : algorithmes problLmes et exercices Index. décimale : 378.53570 Résumé : Sur des sujets divers (algorithmes sur les arbres, sur les graphes, les mots, la géométrie) ce livre propose des exercices de forme et de difficultés variables, exercices d'entrainement ou sujets d'examen. Les corrigés comportent les rédactions complètes des preuves et des algorithmes exprimés selon un formalisme proche de celui des langages de programmation impératifs. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM11885 510.378.51.330/01 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM11886 510.378.51.330/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible Exercices et problèmes résolus de recherche opérationnelle / Roseaux
Titre : Exercices et problèmes résolus de recherche opérationnelle : 2 Phénomènes aléatoires : Chaines et processus de Markov appliqués, files d'attente, fiabilité, stocks Type de document : texte imprimé Auteurs : Roseaux Mention d'édition : Nouv. Ød. Editeur : Berlin : Springer Année de publication : 2004 Importance : 248 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-10-007676-5 Note générale : Tables des matières Langues : Français (fre) Mots-clés : recherche opØrationnelle Index. décimale : 338.5004 Résumé : Comprend un nouveau chapitre sur la modélisation d'un système informatique par un réseau ouvert de files d'attente. Exercices et problèmes résolus de recherche opérationnelle : 2 Phénomènes aléatoires : Chaines et processus de Markov appliqués, files d'attente, fiabilité, stocks [texte imprimé] / Roseaux . - Nouv. Ød. . - Berlin : Springer, 2004 . - 248 p. ; 24 x 16 cm.
ISBN : 978-2-10-007676-5
Tables des matières
Langues : Français (fre)
Mots-clés : recherche opØrationnelle Index. décimale : 338.5004 Résumé : Comprend un nouveau chapitre sur la modélisation d'un système informatique par un réseau ouvert de files d'attente. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité FTM26440 004.004.1.02/02 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM26441 004.004.1.02/03 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM26442 004.004.1.02/04 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM6368 004.004.1.02/05 Livre magasin d'ouvrages 004.004.1 Info. Disponible FTM6369 004.004.1.02/06 Livre magasin d'ouvrages 004.004.1 Info. Disponible