Détail de l'éditeur
|
Documents disponibles chez cet éditeur (40)



Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Bertrand MEYER Editeur : InterEditions Année de publication : 1992 Importance : 451 p. ISBN/ISSN/EAN : 978-2-7296-0416-5 Note générale : Table des matières
Préface
Avant-propos
Annexe
Bibliographie
IndexCatégories : Langages de programmation
ProgrammationIndex. décimale : 005.13 Langages de programmation Résumé : Concepts fondamentaux
Fondements mathématiques
La syntaxe
Sémantique : les principales méthodes
Le lambda-calcul
Sémantique dénotationnelle : concepts fondamentaux
Sémantique dénotationnelle : constructions de langages
Les mathématiques de la récursion
La sémantique axiomatique
La cohérence des définitions sémantiquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001957 005.13 MEY Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Ma thémagie : En quête de l'essence de l'esprit et du sens Type de document : texte imprimé Auteurs : Douglas HOFSTADTER Editeur : InterEditions Année de publication : 1988 Importance : 897 p. ISBN/ISSN/EAN : 978-2-7296-0234-5 Note générale : Synopsis
Table des matières
Table des illustrations
Intro.
Epilogue
Bibliographie
IndexCatégories : Intelligence artificielle
Jeux mathématiques
Jeux scientifiquesIndex. décimale : 006.3 Intelligence artificielle Résumé : Spirales et singularités
Sens commun et société
Substance et style
Structures et surprises scientifiques
Subjectivité et substrat
Sélection et stabilité
Sagesse et survieExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000731 006.3 HOF Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Manuel d'analyse transactionnelle Type de document : texte imprimé Auteurs : Ian STEWART ; Vann JOINES ; Anne-Marie SCHERRER, Traducteur Editeur : InterEditions Année de publication : 1991 Importance : 394 p. ISBN/ISSN/EAN : 978-2-7296-0237-6 Note générale : Table des matières
Préface.
Annexes
Bibliographie générale
Notes et références
Glossaire
IndexCatégories : Analyse transactionnelle
PsychologieIndex. décimale : 158.9 Ecoles et systèmes : analyse transactionnelle Résumé : Introduction à l'analyse transactionnelle
Représentation de la personnalité : le modèle des états du moi
Communication : transactions, strokes et structuration du temps
Ecrire l'histoire de notre vie : scénarios de vie
Faire cadrer le monde avec notre scénario : la passivité
Justifier nos croyances scénariques : sentiments, parasites et jeux
Changer : l'AT en pratiqueExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001782 158.9 STE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 100 - Philosophie - Psychologie Disponible
Titre : Méthodes de génie logiciel avec ADA 95 Type de document : texte imprimé Auteurs : Jean-Pierre ROSEN Editeur : InterEditions Année de publication : 1995 Importance : 412 p. ISBN/ISSN/EAN : 978-2-7296-0569-8 Note générale : Table des matières
Introduction
Conclusion
Annexes
Bibliographie
Glossaire
IndexCatégories : Ada (langage de programmation)
Ada (langage de programmation):Ada 95 (langage de programmation)
Génie logicielIndex. décimale : 005.1 Programmation Résumé : Une présentation rapide du langage Ada
Langages et méthodes
Méthodes avec Ada
Composants logiciels
Organisation de projet et choix fondamentaux
Une méthode orientée objet pour les projets de taille moyenneExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001998 005.1 ROS Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Physique Type de document : texte imprimé Auteurs : Joseph KANE ; Morton STERNHEIM Editeur : InterEditions Année de publication : 1986 Importance : 775 p. ISBN/ISSN/EAN : 978-2-7296-0098-3 Note générale : Table des matières
Préface de la deuxième édition américaine
Prologue : la physique et l'étudiant en science
Appendices
Réponses à certains exercices et problèmes impairs
Index
Constantes fondamentales
Données terrestres et solaires
Masses atomiques des éléments tels qu'on les trouve sur la terreCatégories : Physique Index. décimale : 530 Physique Résumé : LES LOIS GENERALES DU MOUVEMENT
Le mouvement rectiligne
Le mouvement à deux dimensions
Les lois de newton
La statique
Le mouvement circulaire
COMPLEMENTS DE MECANIQUE
Travail, énergie et puissance
Quantité de mouvement et moment cinétique
Propriétés élastiques des matériaux
Le mouvement vibratoire
CHALEUR
La température et le comportement des gaz
Thermodynamique
Propriétés thermiques de la matière
LES FLUIDES
La mécanique des fluides non visqueux
Ecoulement des fluides visqueux
Forces de cohésion dans les liquides
ELECTRICITE ET MAGNETISME
Forces électriques, champs et potentiels
Courants continus
Conduction nerveuse
Le magnétisme
Courants et champs induits
LES ONDES
Les ondes
Les ondes sonores
Propriétés ondulatoires de la matière
Miroirs, lentilles et instruments d'optique
PHYSIQUE MODERNE
La relativité restreinte
Propriétés corpusculaires de la lumière : le photon
Propriétés ondulatoires de la matière
ATOMES ET MOLECULES
Mécanique quantique et structure atomique
La structure de la matière
LE NOYAU ATOMIQUE
Physique nucléaire
Radiations ionisantes
EPILOGUE : la physique et le futurExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007931 530 KAN Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : Pour mieux développer avec C++ : design patterns, STL, RTTI et smart pointers Type de document : texte imprimé Auteurs : Aurélien GÉRON, Auteur ; Fatmé TAWBI, Auteur Editeur : InterEditions Année de publication : 1999 Collection : Informatiques Importance : 188 p. ISBN/ISSN/EAN : 2-225-83421-0 Note générale : Préface
Table des matières
Avant-propos
Annexes
Bibliographie
Sites web
IndexCatégories : C++ (langage de programmation) Index. décimale : 681.3 Résumé : LES MECANISMES VIRTUELS
Les mécanismes du polymorphisme
Le patron de méthode
La RTTI et les nouveaux casts
Héritage multiple et héritage virtuel
Les classes d'interface
LA STL ET SES CONCEPTS
Conteneurs et itérateurs de la STL
Le modèle stratégie
Adapter l'interface d'une classe
Les smart pointers
ALLER PLUS LOIN AVEC LES DESIGN PATTERNS
Le composite (composite)
La fabrication (Factory Method)
La Fabrique Abstraite (Abstract Factory)
Le Singleton (Singleton)
L'Observateur (Observer)
Le Médiateur (Mediator)
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Programmation en C++ Type de document : texte imprimé Auteurs : Jean-Paul BODEVEIX ; Mamoun FILALI ; Amal SAYAH Editeur : InterEditions Année de publication : 1994 Importance : 341p. ISBN/ISSN/EAN : 978-2-7296-0477-6 Note générale : Table des matières
Avant-propos
Intro.
Annexes
Bibliographie
IndexCatégories : C++ (langage de programmation)
ProgrammationIndex. décimale : 004 Traitement de données. Informatique Résumé : Pourquoi continuer à programmer en langage C ?
Le concept de classe en C++
Programmation avancée d'une classe
L'héritage en C++
Les entrées-sorties en C++
La généricité
Les exceptions
Etudes de casExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001767 004.4 BOD Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Exclu du prêt
Titre : Programmer en Ada Autre titre : Programming in Ada Type de document : texte imprimé Auteurs : John BARNES ; Vincent AMIOT, Traducteur Mention d'édition : 3e tirage Editeur : InterEditions Année de publication : 1991 Importance : 495 p. ISBN/ISSN/EAN : 978-2-7296-0216-1 Note générale : Table des matières
Avant-propos
Préface de la deuxième édition anglaise
Préface de la première édition anglaise
Annexe 1 : Mots réservés, attributs et pragmas
Annexe 2 : Environnement prédéfini du langage
Annexe 3 : Glossaire
Annexe 4 : Syntaxe
Réponses aux exercices
IndexCatégories : Ada (langage de programmation) Index. décimale : 005.13 Langages de programmation Résumé : Introduction
Les concepts Ada
Style lexical
Types scalaires
Structures de contrôle
Types composés
Sous-programmes
Structure générale
Types privés
Exceptions
Types avancés
Types numériques
Unités génériques
Tâches
Interfaces externes
ConclusionExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002003 005.13 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Quantique. Rudiments Type de document : texte imprimé Auteurs : Jean-Marc LEVY-LEBLOND ; Françoise BALIBAR Editeur : InterEditions Année de publication : 1984 Importance : 494 p. ISBN/ISSN/EAN : 978-2-7296-0046-4 Note générale : Table des matières
Avant-propos
Remerciements
IndexIndex. décimale : 539 Physique moderne : physique moléculaire, atomique, nucléaire, quantique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00004544 539 LEV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : Résaux : Architectures, protocoles, applications Type de document : texte imprimé Auteurs : Andrew TANENBAUM Editeur : InterEditions Année de publication : 1993 Importance : 806 p. ISBN/ISSN/EAN : 978-2-7296-0301-4 Note générale : Sommaire.
Préface de l'édition français.
Préface de l'auteur.
Biblio.
Annexe : Intro à la théorie des files d'attentes.
Index.Catégories : Réseaux d'ordinateurs
Réseaux d'ordinateurs:Architectures
Réseaux d'ordinateurs:Protocoles
TéléinformatiqueIndex. décimale : 004.65 Réseaux d'ordinateurs Résumé : La couche physique.
MAC : la sous-couche d'accès physique.
La Couche Liaison de Données.
La Couche Réseau.
La Couche Transport.
La Couche Session.
La Couche Présentation.
La Couche ApplicationExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000675 004.65 TAN Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Spécifications algébriques, algorithmique et programmation Type de document : texte imprimé Auteurs : Jean-François DUFOURD ; Dominique BECHMANN ; Yves BERTRAND Editeur : InterEditions Année de publication : 1995 Importance : 486 p. ISBN/ISSN/EAN : 978-2-7296-0581-0 Note générale : Table des matières
Avant-propos
Références
IndexCatégories : Algorithmes
Génie logiciel
ProgrammationIndex. décimale : 005.13 Langages de programmation Résumé : SPECIFICATION ET PROGRAMME
Construction de programmes
Spécifications algébriques : 1., le cas équationnel pur
Spécifications algébriques : 2., le cas général
Implantation et programmation
Spécifications étendues
Piles, files et listes linéaires
Suppression de la récursivité
Complexité et optimalité
STRUCTURES ET ALGORITHMES
Tables
Graphes : 1., Spécification et implantation
Graphes : 2., Algorithmes classiques
Arbres et forêts : 1., Spécification et implantation
arbres et forêts : 2., Algorithmes et variétés d'arbres
Tris internes
Fichiers
Tris externesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000472 005.13 DUF Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Le système unix Type de document : texte imprimé Auteurs : BOURNE Steve ; Michel DUPUY, Traducteur Editeur : InterEditions Année de publication : 1985 Importance : 398 p. ISBN/ISSN/EAN : 978-2-7296-0014-3 Note générale : Préface
Table des matières
Annexes
Bibliographie
IndexCatégories : UNIX (système d'exploitation des ordinateurs) Index. décimale : 005.43 Programme système et programme d'exploitation Résumé : Introduction
Les premiers pas
Les éditeurs de texte
Le shell
Le langage C
La programmation système
La manipulation des documents
Les outils de baseExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00001917 005.43 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00008855 005.43 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Disponible
Titre : Systèmes - Experts : vers la maîtrise technique Type de document : texte imprimé Auteurs : Alain BONNET ; Jean-Paul HATON ; Jean-Michel TRUONG-NGOC Editeur : InterEditions Année de publication : 1991 Importance : 288 p. ISBN/ISSN/EAN : 978-2-7296-0144-7 Note générale : Table des matières
Remerciements
Préface
Introduction
Conclusion
Références des ouvrages cités dans le livre
IndexCatégories : Systèmes experts (informatique) Index. décimale : 006.33 Systèmes experts Résumé : Privilégier le point de vue de l'entreprise
Comprendre les enjeux
Consultation d'experts
Qu'est ce qu'un système-d'expert ?
A quoi servent les systèmes d'experts ?
Le marché des systèmes d'experts
Choisir une première application
Pourquoi une étude d'impact ?
Objectifs de l'étude d'impact
La méthodologie de l'étude d'impact
Les critères de choix d'une application
Passer à l'acte
La première séance
Les acteurs
La méthode cognitech pour réaliser un système-expert
Le choix des outils
Machine pour l'IA
La validation des systèmes-experts
La documentation d'un sytème-expert
Gestion du projet-planning-couts
Acquérir la maîtrise industrielle
Les voies de la maîtrise industrielleExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002002 006.33 BON Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Théorie statistique des champs 1 Type de document : texte imprimé Auteurs : Claude ITZYKSON ; Jean-Michel DROUFFE Editeur : InterEditions Année de publication : 1989 Collection : Savoirs Actuels Importance : 392 p. ISBN/ISSN/EAN : 978-2-7296-0273-4 Note générale : Table des matières
Avant-propos
IndexCatégories : Champs, Théorie quantique des
Mécanique statistique
Physique statistique
Théorie quantiqueIndex. décimale : 530.14 Théorie des champs et théorie ondulatoire Résumé : Du mouvement Brownien aux champs euclidiens
Intégrales de Grassmann et modèle d'ising bidimensionnel
Brisure spontanée de symétrie champ moyen
Lois d'échelle - modèle XY
Groupe de renormalisation
champs de jauge sur réseauExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005917 530.14 ITZ Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : Théorie statistique des champs 2 Type de document : texte imprimé Auteurs : Claude ITZYKSON ; Jean-Michel DROUFFE Editeur : InterEditions Année de publication : 1989 Collection : Savoirs Actuels Importance : 394 p. ISBN/ISSN/EAN : 978-2-7296-0327-4 Note générale : Table des matières
Avant-propos
IndexCatégories : Champs, Théorie quantique des
Mécanique statistique
Physique statistique
Théorie quantiqueIndex. décimale : 530.14 Théorie des champs et théorie ondulatoire Résumé : Méthodes diagrammatiques
Simulations numériques
Invariance conforme
Systèmes désordonnés et méthoddes fermioniques
Géométrie aléatoireExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005929 530.14 ITZ Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible