الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'éditeur
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
Introduction à l'analyse numérique matricielle et à l'optimisation / Philippe G. Ciarlet
Titre : Introduction à l'analyse numérique matricielle et à l'optimisation Type de document : texte imprimé Auteurs : Philippe G. Ciarlet (1938-....), Mention d'édition : 3e tirage avec mise jour de la bibliogr. Editeur : Paris : Masson Année de publication : 1988 Collection : Collection Mathèmatiques appliquèes pour la maètrise, ISSN 0754-4405. Importance : 1 vol. (XII-279 p.) Présentation : fig. Format : 24 cm.x16 cm ISBN/ISSN/EAN : 2-225-68893-1 Langues : Français (fre) Mots-clés : analyse matricielle optimisation Index. décimale : 515 Introduction à l'analyse numérique matricielle et à l'optimisation [texte imprimé] / Philippe G. Ciarlet (1938-....), . - 3e tirage avec mise jour de la bibliogr. . - Paris : Masson, 1988 . - 1 vol. (XII-279 p.) : fig. ; 24 cm.x16 cm. - (Collection Mathèmatiques appliquèes pour la maètrise, ISSN 0754-4405.) .
ISBN : 2-225-68893-1
Langues : Français (fre)
Mots-clés : analyse matricielle optimisation Index. décimale : 515 Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei07045 515-216-3 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei07047 515-216.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei07046 515-216.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei07044 515-216.4 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei07043 515-216.5 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible Introduction à la spécification / Henri Habrias
Titre : Introduction à la spécification Type de document : texte imprimé Auteurs : Henri Habrias, ; Herv© Gallaire (1944-....), Editeur : Paris : Masson Année de publication : cop. 1993 Collection : Méthodologies du logiciel (Paris), ISSN 1242-5656 num. 2. Importance : 1 vol. (XIX-347 p.) Présentation : ill., couv. ill Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82768-6 Prix : 260 F Langues : Français (fre) Mots-clés : Introductio spécification Index. décimale : 670. Résumé : L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser. Introduction à la spécification [texte imprimé] / Henri Habrias, ; Herv© Gallaire (1944-....), . - Paris : Masson, cop. 1993 . - 1 vol. (XIX-347 p.) : ill., couv. ill ; 24 cm.. - (Méthodologies du logiciel (Paris), ISSN 1242-5656; 2.) .
ISBN : 978-2-225-82768-6 : 260 F
Langues : Français (fre)
Mots-clés : Introductio spécification Index. décimale : 670. Résumé : L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Une introduction à TCP, IP / Davidson J.
Titre : Une introduction à TCP, IP Type de document : texte imprimé Auteurs : Davidson J., Auteur Editeur : Paris : Masson Année de publication : 1991 Importance : 86 p. Présentation : ill Format : 24x 16 cm. ISBN/ISSN/EAN : 978-2-225-82521-7 Langues : Français (fre) Mots-clés : TCP IP Index. décimale : 004 Une introduction à TCP, IP [texte imprimé] / Davidson J., Auteur . - Paris : Masson, 1991 . - 86 p. : ill ; 24x 16 cm.
ISBN : 978-2-225-82521-7
Langues : Français (fre)
Mots-clés : TCP IP Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00226 004-64.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Langage C, manuel de référence / Samuel P Harbison
Titre : Langage C, manuel de référence Type de document : texte imprimé Auteurs : Samuel P Harbison, ; Guy L Steele, ; Jean-Claude Franchitti, Editeur : Paris : Masson Année de publication : 1990, achev© d'impr. 1989 Collection : Manuels informatiques Masson, ISSN 0249-6992 num. 1990. Importance : XI-457 p. Présentation : ill Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81856-1 Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Langage C Index. décimale : 005 Résumé : raduction de la seconde édition d'un ouvrage de référence de réputation internationale, tenant compte de la proposition de normalisation ANSI C. Plus de 180 fonctions standards sont présentées et les plus récentes extensions du langage sont décrites : affectations de structure, type de données énumération, type de données "void". Langage C, manuel de référence [texte imprimé] / Samuel P Harbison, ; Guy L Steele, ; Jean-Claude Franchitti, . - Paris : Masson, 1990, achev© d'impr. 1989 . - XI-457 p. : ill ; 24 cm.. - (Manuels informatiques Masson, ISSN 0249-6992; 1990.) .
ISBN : 978-2-225-81856-1
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Langage C Index. décimale : 005 Résumé : raduction de la seconde édition d'un ouvrage de référence de réputation internationale, tenant compte de la proposition de normalisation ANSI C. Plus de 180 fonctions standards sont présentées et les plus récentes extensions du langage sont décrites : affectations de structure, type de données énumération, type de données "void". Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01050 005-125.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01049 005-125.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Langage PASCAL et logique du premier ordre, 1. Langage PASCAL et logique du premier ordre / Maurice Margenstern
Titre de série : Langage PASCAL et logique du premier ordre, 1 Titre : Langage PASCAL et logique du premier ordre Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : Paris : Masson Année de publication : 1989 Collection : Logique mathématiques informatique, ISSN 0995-2179 num. 3 Importance : XII-287 p. Présentation : graph. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81900-1 Note générale : Bibliogr. p. 279-280. Index Langues : Français (fre) Mots-clés : PASCAL langage logique Index. décimale : 005 Langage PASCAL et logique du premier ordre, 1. Langage PASCAL et logique du premier ordre [texte imprimé] / Maurice Margenstern, Auteur . - Paris : Masson, 1989 . - XII-287 p. : graph. ; 24 cm. - (Logique mathématiques informatique, ISSN 0995-2179; 3) .
ISBN : 978-2-225-81900-1
Bibliogr. p. 279-280. Index
Langues : Français (fre)
Mots-clés : PASCAL langage logique Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01064 005-128.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Langage PASCAL et logique du premier ordre, 2. Langage PASCAL et logique du premier ordre / Maurice Margenstern
PermalinkLogique mathematique, cours et exercices / Rene Cori
PermalinkLogique temporelle / Éric Audureau
PermalinkMaitrisez votre gestion de configuration logiciel : une étape pour la certification ISO 9000 / Jacquin Dominique
PermalinkMatématiques :Algèbre PC première année Tome 1 / Bass J.
PermalinkMathématiques / Pierre Thuillier
PermalinkMathématiques pour biologistes
PermalinkMathématiques pour l'informatique / André Arnold
PermalinkMécanique quantique / Jean Hladik
PermalinkMéthodes de calculs en électronique / André Billès
Permalink