Langage ADA et algorithmique :: SCD d'Orléans

Langage ADA et algorithmique

Langage ADA et algorithmique

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Ogor, Robert, Rannou, Robert (Egilea)
Formatua:	Livre papier
Hizkuntza:	Français
Argitaratua:	Paris : Hermès cop. 1990.
Saila:	Traité des nouvelles technologies. Série Informatique
Gaiak:	Ada 83 (langage de programmation) Algorithmes
Autres localisations:	Voir dans le Sudoc

Antzeko izenburuak

Concurrent and real-time programming in Ada 2005
nork: Burns, Alan, 1953-, et al.
Argitaratua: (2007)

Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
nork: Accart Hardin, Thérèse, et al.
Argitaratua: (1992)

Algorithmes et structures de données avec Ada, C++ et Java
nork: Guerid, Abdelali, 19..-, et al.
Argitaratua: (2002)

Simulation par événements discrets
nork: Erard, Pierre-Jean, et al.
Argitaratua: (1996)

Techniques de synchronisation pour les applications parallèles
nork: Padiou, Gérard, 1950-, et al.
Argitaratua: (1990)

A review of Ada tasking
nork: Burns, Alan, 1953-, et al.

Towards a formal description of Ada
nork: Bjørner, Dines, 1937-

Vers ADA 95 par l'exemple : langage, technique et pratique
nork: Fayard, Didier, et al.
Argitaratua: (1999)

The Programming language Ada : reference manual : proposed standard document

Program verification using Ada
nork: McGettrick, Andrew D., 1944-
Argitaratua: (1982)

Ada 95 Quality and Style

Ada 95 rationale : the language, tha standard libraries
nork: Barnes, John Gilbert Presslie, 1937-

Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13 17, 1991 : proceedings

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
nork: Taft, S. Tucker, 1953-

Programmation concurrente et temps réel avec ADA 95
nork: Zaffalon, Luigi, et al.
Argitaratua: (1999)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 30, 1994 : proceedings

Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 : proceedings

Ada - Europe '93 : 12th Ada-Europe International Conference, Ada Sans Frontières , Paris, France, June 14 18, 1993 : proceedings

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 14, 1996 : proceedings

Algorithmes en langage C : cours et exercices
nork: Sedgewick, Robert, 1946-...., chercheur en informatique
Argitaratua: (2005)

Ada Salas: un lirismo en harapos
nork: Ávila-Martínez, Jaime
Argitaratua: (2018)

The Iconography of Ada Lovelace in Fictional Worlds
nork: Hammerman, Robin, et al.
Argitaratua: (2024)

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Initiation et auto-formation à la programmation informatique
nork: Canesi, Gérard, et al.
Argitaratua: (2001)

Algorithmes, machines et langages
nork: Berry, Gérard
Argitaratua: (2022)

Ada ou la beauté des nombres : la pionnière de l'informatique
nork: Dufour, Catherine, 1966-
Argitaratua: (2021)

Ada ou la beauté des nombres : la pionnière de l'informatique
nork: Dufour, Catherine, 1966-
Argitaratua: (2019)

Algorithmes, machines et langages
nork: Berry, Gérard
Argitaratua: (2018)

Algorithmes, machines et langages
nork: Berry, Gérard
Argitaratua: (2018)

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
nork: Llamosí, Albert

Llantos auxiliados: los oratorios barrocos de Juan Gelman y Ada Salas
nork: Navarro Ramírez, Sergio
Argitaratua: (2022)

Algorithmes fondamentaux et langage C : programmation : codage, alternatives, boucles, tableaux, modularité
nork: Imbert, Jean-Louis
Argitaratua: (2008)

Algorithmes, machines et langages
nork: Berry, Gérard
Argitaratua: (2020)

Algorithmes en Java : concepts fondamentaux, structures de données, tri et recherche
nork: Sedgewick, Robert, 1946-...., chercheur en informatique, et al.
Argitaratua: (2004)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales