الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 006
Affiner la recherche Interroger des sources externes
Structure des ordinateurs / Koudil M.
Titre : Structure des ordinateurs : Autour du professeur Type de document : texte imprimé Auteurs : Koudil M., Auteur Editeur : OPU:Alger Année de publication : 2000 Importance : 325 p. Format : 22 x 15 cm. ISBN/ISSN/EAN : 978-9961-0-0429-6 Langues : Français (fre) Mots-clés : ordinateurs Index. décimale : 006 Structure des ordinateurs : Autour du professeur [texte imprimé] / Koudil M., Auteur . - [S.l.] : OPU:Alger, 2000 . - 325 p. ; 22 x 15 cm.
ISBN : 978-9961-0-0429-6
Langues : Français (fre)
Mots-clés : ordinateurs Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (28)
Code-barres Cote Support Localisation Section Disponibilité fsei02361 006-132.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02370 006-132.10 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02371 006-132.11 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02372 006-132.12 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02373 006-132.13 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02374 006-132.14 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02375 006-132.15 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02376 006-132.16 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02377 006-132.17 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02378 006-132.18 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02379 006-132.19 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02362 006-132.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02380 006-132.20 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02381 006-132.21 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei03783 006-132.22 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei08307 006-132.23 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00918 006-132.24 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00919 006-132.25 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00920 006-132.26 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00921 006-132.27 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00922 006-132.28 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02363 006-132.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02364 006-132.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02365 006-132.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02366 006-132.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02367 006-132.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02368 006-132.8 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02369 006-132.9 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Structures de données et méthodes formelles / Marc Guyomard
Titre : Structures de données et méthodes formelles Type de document : texte imprimé Auteurs : Marc Guyomard, Auteur Editeur : Paris : Springer Année de publication : DL 2011 Collection : Collection Télécom, ISSN 2109-8204 Importance : 1 vol. (XVI-438 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0199-5 Note générale : Bibliogr. p. 417-423. Index Langues : Français (fre) Mots-clés : méthodes formelles Index. décimale : 006 Résumé : Ce livre a pour thème principal l'étude des structures de données. II s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L'originalité de l'ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. Dans une première partie, l'auteur présente les bases de la discipline : la théorie des ensembles (avec comme support les notations et principes de la méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. La seconde partie se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur). De nombreux exercices accompagnent chaque chapitre. L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données et des méthodes formelles. Structures de données et méthodes formelles [texte imprimé] / Marc Guyomard, Auteur . - Paris : Springer, DL 2011 . - 1 vol. (XVI-438 p.) : ill., couv. ill. ; 24 cm. - (Collection Télécom, ISSN 2109-8204) .
ISBN : 978-2-8178-0199-5
Bibliogr. p. 417-423. Index
Langues : Français (fre)
Mots-clés : méthodes formelles Index. décimale : 006 Résumé : Ce livre a pour thème principal l'étude des structures de données. II s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L'originalité de l'ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. Dans une première partie, l'auteur présente les bases de la discipline : la théorie des ensembles (avec comme support les notations et principes de la méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. La seconde partie se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur). De nombreux exercices accompagnent chaque chapitre. L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données et des méthodes formelles. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei10160 006-286.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10159 006-286.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10158 006-286.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei10157 006-286.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Sybase SQL Server 11 / John Kirkwood
Titre : Sybase SQL Server 11 : guide de l'administrateur Type de document : texte imprimé Auteurs : John Kirkwood, Auteur ; Michelle Coutant, Traducteur Editeur : Paris : International Thomson publ. France Année de publication : 1996 Autre Editeur : Albany [N.Y.] : Sybase press Importance : XX-618 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-84180-130-5 Note générale : Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Sybase SQL Server Index. décimale : 006 Sybase SQL Server 11 : guide de l'administrateur [texte imprimé] / John Kirkwood, Auteur ; Michelle Coutant, Traducteur . - Paris : International Thomson publ. France : Albany [N.Y.] : Sybase press, 1996 . - XX-618 p. : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-84180-130-5
Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Sybase SQL Server Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02647 006-260.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Synthèse des automates microprogrammé / Samari I. Baranov
Titre : Synthèse des automates microprogrammé Type de document : texte imprimé Auteurs : Samari I. Baranov, Auteur Année de publication : 1983 Format : 9 cm x 5 cm Accompagnement : 336 p. Langues : Français (fre) Mots-clés : Synthèse microprogrammé Index. décimale : 006 Synthèse des automates microprogrammé [texte imprimé] / Samari I. Baranov, Auteur . - 1983 . - ; 9 cm x 5 cm + 336 p.
Langues : Français (fre)
Mots-clés : Synthèse microprogrammé Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02398 006-146.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02399 006-146.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible La synthése d'images du réel au virtuel / Couwenbergh Jean Pierre
Titre : La synthése d'images du réel au virtuel Type de document : texte imprimé Auteurs : Couwenbergh Jean Pierre, Auteur Editeur : Alleur (Belgique) : Marabout Année de publication : 1998 Importance : 576 p. Format : 20 x 13 cm. ISBN/ISSN/EAN : 978-2-501-03039-7 Langues : Français (fre) Mots-clés : synthése d'images Index. décimale : 006 La synthése d'images du réel au virtuel [texte imprimé] / Couwenbergh Jean Pierre, Auteur . - Alleur (Belgique) : Marabout, 1998 . - 576 p. ; 20 x 13 cm.
ISBN : 978-2-501-03039-7
Langues : Français (fre)
Mots-clés : synthése d'images Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei00070 006-92.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00071 006-92.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00072 006-92.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00073 006-92.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Le système d'information durable / Pierre Bonnet
PermalinkLe systéme LINUX / Welsh Matt
PermalinkLe Système Unix / Steve Bourne
PermalinkSystèmes asservis , par Jacques Thurin,.. / Jacques Thurin
PermalinkSystèmes de bases de données / Thomas M. Connolly
PermalinkSystèmes complexes / Philippe Collard
PermalinkLes Systémes de conduite des ordinateurs / Jacques Arsac
PermalinkSystèmes experts / Mike J. Coombs
PermalinkSystèmes experts professionnels / Paul Harmon
PermalinkSystèmes experts / Jean-Louis Ermine
Permalink