Catégories
Documents disponibles dans cette catégorie (9)
Faire une suggestion Affiner la recherche
Etendre la recherche sur niveau(x) vers le bas
Ada avec le sourire / J.-M. BERGE
Titre : Ada avec le sourire Type de document : texte imprimé Auteurs : J.-M. BERGE ; L.-O. DONZELLE ; V. OLIVE ; J. ROUILLARD Mention d'édition : 1ere édition Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1989 Collection : Informatique Importance : 388 p. ISBN/ISSN/EAN : 978-2-88074-164-8 Note générale : Table des matières
En guise de préface
Avertissements
IndexCatégories : Ada (langage de programmation) Index. décimale : 005.13 Langages de programmation Résumé : Introduction
Tour du propriétaire
Premier programme Ada : "Elle souffle !"
Types, variables, constantes
Types privés
L'arithmétique en Ada
Instructions
Sous-programmes
Les exceptions
Les paquetages
La généricité
Compilation séparée
Renommage
Les tâches
Les bibliothèques
Paquetages standard, entrées-sorties
La science en marche
Mauvaises nouvelles, mystères et avis de recherche
Exemples commentés
ApophtègmesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002014 005.13 BER Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible ADA guide d'utilisation / Bernard LEGUY
Titre : ADA guide d'utilisation Type de document : texte imprimé Auteurs : Bernard LEGUY Editeur : Eyrolles Année de publication : 1989 Importance : 324 p. Note générale : Table des matières
Avant-propos
Annexe A : le paquetage standard
IndexCatégories : Ada (langage de programmation) Index. décimale : 005.13 Langages de programmation Résumé : Mise en route
Les expressions
Les instructions
Les déclarations et les noms
Les sous-programmes
Les types
Les tableaux
Les articles ou fiches
Les types accès ou pointeurs
Les exceptions
Les paquetages
Les fichiers de texte
Les types à discriminants
Les génériques
Les fichiers et le système
Les tâches
Utilisation de la bibliothèqueExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001153 005.13 LEG Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Ada : Introduction avancée / Narain GEHANI
Titre : Ada : Introduction avancée Autre titre : Ada : An Advanced Introduction Type de document : texte imprimé Auteurs : Narain GEHANI ; Denis TAUZIN-RAYNAUD, Traducteur Editeur : Eyrolles Année de publication : 1988 Importance : 308 p. Note générale : Sommaire.
Avant-propos.
Préface.
Appendice : Raffinement successif
Biblio annotée.Catégories : Ada (langage de programmation)
Langages de programmationIndex. décimale : 005.13 Langages de programmation Résumé : Eléments de base.
Davantage au sujet des types.
Paquetages.
Le parallélisme.
Exceptions.
Facilités génériques.
Structures des programmes et compilation séparée.
Clauses de représentation et caractéristiques dépendant de l'implémentation.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000388 005.13 GEM Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Algorithmique numérique et ADA / Jean-Etienne ROMBALDI
Titre : Algorithmique numérique et ADA Type de document : texte imprimé Auteurs : Jean-Etienne ROMBALDI Editeur : Masson Année de publication : 1993 Collection : Logique Mathématiques Informatique Importance : 336 p. ISBN/ISSN/EAN : 978-2-225-84384-6 Note générale : Table des matières
Contents
Avant-propos
Bibliographie
IndexCatégories : Ada (langage de programmation)
Algorithmes
Algorithmes:Informatique
Analyse numériqueIndex. décimale : 005.13 Langages de programmation Résumé : Le langage Ada avec OpenAda
Bibliothèque mathématique
Analyse numérique linéaire
Résolution numérique des systèmes non linéaires
Approximation et interpolation
Calcul numérique des intégrales
Résolution numérique des équations différentielles
Méthode des différences finiesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002609 005.13 ROM Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Ingénierie du logiciel avec Ada : De la conception à la réalisation / Grady BOOCH
Titre : Ingénierie du logiciel avec Ada : De la conception à la réalisation Autre titre : Software Engineering with Ada Type de document : texte imprimé Auteurs : Grady BOOCH ; Jean-Pierre ROSEN, Traducteur Mention d'édition : 3e tirage Editeur : InterEditions Année de publication : 1991 Importance : 680 p. ISBN/ISSN/EAN : 978-2-7296-0192-8 Note générale : Table des matières
Avant-propos
Préface
Préface du traducteur
Annexes
Glossaire
Notes
Bibliographie
IndexCatégories : Ada (langage de programmation)
Génie logicielIndex. décimale : 005.133 Langages spécifiques Résumé : Premier paquetage : le domaine de problème
Second paquetage : présentation d'Ada
Troisième paquetage : structures de données
Quatrième paquetage : algorithmes et contrôle
Cinquième paquetage : concepts d'empaquetage
Sixième paquetage : traitement parallèle en temps réel
Septième paquetage : développement de systémes
Huitième paquetage : programmer pour AdaExemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité B00000465 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000460 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000650 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00002015 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000466 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Disponible B00000651 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Disponible Méthodes de génie logiciel avec ADA 95 / Jean-Pierre ROSEN
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 Programmer en Ada avec une présentation d'Ada 95 / John BARNES
Titre : Programmer en Ada avec une présentation d'Ada 95 Type de document : texte imprimé Auteurs : John BARNES Mention d'édition : 4ème édition Editeur : Addison-Wesley Publishing Company, Inc. Année de publication : 1995 Importance : 689 p. ISBN/ISSN/EAN : 2-87908-75-4 Note générale : Avant-propos.
Préface.
Introduction.
Table.
Réponses aux exos.
Biblio.
Index des exemples.Catégories : Ada (langage de programmation)
Langages de programmation
Ordinateurs
Ordinateurs:ProgrammationIndex. décimale : 005.133 Langages spécifiques Résumé : Les concepts Ada.
Style lexical.
Types scalaires.
Fonctions.
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.
Conclusions sur Ada 83.
Ada 95.
Mots réservés, attributs et pragmas.
Environnement prédéfini du langage.
Glossaire.
Syntaxe.Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00000252 005.133 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000641 005.133 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Exclu du prêt Programmer en Ada / John BARNES
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 Systèmes en temps réel en ADA : une approche virtuelle et asynchrone / Loïc BRIAND
Titre : Systèmes en temps réel en ADA : une approche virtuelle et asynchrone Type de document : texte imprimé Auteurs : Loïc BRIAND Editeur : Masson Année de publication : 1991 Importance : 383 p. ISBN/ISSN/EAN : 978-2-225-82435-7 Note générale : Table des matières
Avant-propos
Annexes
Bibliographie
IndexCatégories : Ada (langage de programmation)
Informatique
Réseaux d'ordinateurs
Temps réel (informatique)Index. décimale : 004.33 Temps réel Résumé : ADA : le langage des années 90
Qu'est-ce qu'une application temps réel?
Concepts temps réel d'ADA
Les grands concepts méthodologiques
Les channels et pools simples
Les applications temps réel réparties
Les exigences
Les tâches ADA et leur synchronisation
Communications et Télécommunications
Les pools locaux complexes
Le temps
Services complémentaires
La supervision
Un environnement universel
Les pools répartis
Mise au poinr et maintenance
Conseils de programmation
L'avenirExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000673 004.33 BRI Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible