2 résultat(s) recherche sur le mot-clé 'langage algorithmique'    

Contribution au calcul formel sur ordinateur / Yvon SIRET (1970)

Public ISBD Titre : Contribution au calcul formel sur ordinateur Type de document : texte imprimé Auteurs : Yvon SIRET, Auteur Editeur : Grenoble : Université de Grenoble. Faculté des Sciences Année de publication : 1970 Importance : ill. Note générale : Thèse Langues : Français Mots-clés : Langage LISP  langage algorithmique  système ALADIN  système de visualisation  calcul formel Note de contenu : bibliogr. Contribution au calcul formel sur ordinateur [texte imprimé] / Yvon SIRET, Auteur . - Grenoble : Université de Grenoble. Faculté des Sciences, 1970 . - ill. Thèse Langues : Français Mots-clés : Langage LISP  langage algorithmique  système ALADIN  système de visualisation  calcul formel Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13764	T/SIR/GRE	Livre	Recherche	Salle	Disponible

Symposium on Semantics of Algorithmic Languages / Erwin ENGELER (1971)

Public ISBD Titre : Symposium on Semantics of Algorithmic Languages Type de document : collection Auteurs : Erwin ENGELER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1971 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 188 ISBN/ISSN/EAN : 978-3-540-05377-4 Langues : Anglais Catégories : 02E10 02F43 68A05 68A10 68A30 Mots-clés : sémantique  langage algorithmique  algorithme Symposium on Semantics of Algorithmic Languages [collection] / Erwin ENGELER, Auteur . - Berlin : Springer-Verlag, 1971. - (Lecture Note in Mathematics, ISSN 0075-8434; 188) . ISBN : 978-3-540-05377-4 Langues : Anglais Catégories : 02E10 02F43 68A05 68A10 68A30 Mots-clés : sémantique  langage algorithmique  algorithme

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4067	LN 188	Livre	Recherche	Salle	Disponible