skip to main content
Filtré par : date de publication: Avant 1985 supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

PROGRAMMING WITH EQUATIONS.

New York : ACM, 1982

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

OVERVIEW OF RELATIONAL PROGRAMMING.

New York : ACM, 1983

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Mathematical logic and programming languages

London : s.n., 1984

Voir les exemplaires

4
Material Type:
Versions multiples

La construction de programmes structurés

Arsac, Jacques (1929-2014)

Plusieurs versions trouvées
Il y a 2 versions

5
Material Type:
Livre
Ajouter à Mon espace

PROGRAM SPECIFICATION APPLIED TO A TEXT FORMATTER.

New York : IEEE, 1982

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROFFS.

New York : ACM, 1983

Voir les exemplaires

7
INTERNATIONAL SYMPOSIUM ON PROGRAMING.
Material Type:
Livre
Ajouter à Mon espace

INTERNATIONAL SYMPOSIUM ON PROGRAMING.

Berlin Heidelberg : Springer, 1984

Voir les exemplaires

8
Functional programming : application and implementation
Material Type:
Livre
Ajouter à Mon espace

Functional programming : application and implementation

Henderson, Peter

Englewood Cliffs, N.J London New Delhi : Prentice-Hall International, 1980

Voir les exemplaires

9
Functional programming and its applications : an advanced course
Material Type:
Livre
Ajouter à Mon espace

Functional programming and its applications : an advanced course

Darlington, J. ; Henderson, Peter (1944-) ; Turner, D. A.

Cambridge New York : Cambridge University Press, 1982

Voir les exemplaires

10
Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982
Material Type:
Livre
Ajouter à Mon espace

Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982

ACM Symposium on Principles of Programming Languages ACM Symposium on Principles of Programming Languages 9th Albuquerque, N.M. 1982 ; Special group on algorithms and computation theory Etats-Unis ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York, N.Y. Baltimore, MD : ACM May be ordered from ACM Order Dept., 1982

Voir les exemplaires

11
Material Type:
Livre
Ajouter à Mon espace

COMPILATION OF NONPROCEDURAL SPECIFICATIONS INTO COMPUTER PROGRAMS.

S.L. : s.n., 1981

Voir les exemplaires

12
Tools and notions for program construction : an advanced course
Material Type:
Livre
Ajouter à Mon espace

Tools and notions for program construction : an advanced course

Néel, D.

Cambridge New York : Cambridge University Press, 1982

Disponible  et autres localisations(Obtenir)

13
Handbook of software engineering
Material Type:
Livre
Ajouter à Mon espace

Handbook of software engineering

Vick, Charles R. Charles Ralph ; Ramamoorthy, C. V. (1926-) Chittoor V.

New York : Van Nostrand Reinhold Co., 1984

Voir les exemplaires(Obtenir)

14
Material Type:
Livre
Ajouter à Mon espace

INFORMATION PROCESSING 83 RECUEIL DES CONFERENCES IFIP.

S.L. : s.n., 1983

Voir les exemplaires(Obtenir)

15
Material Type:
Livre
Ajouter à Mon espace

INFORMATION PROCESSING 83.

AMSTERDAM : NORTH-HOLLAND, 1983

Voir les exemplaires(Obtenir)

16
Material Type:
Versions multiples

Méthode générale d'analyse d'une application informatique. tome 1. étapes et points fondamentaux de l'analyse fonctionnelle

Castellani, Xavier

Plusieurs versions trouvées
Il y a 2 versions

17
Material Type:
Livre
Ajouter à Mon espace

APPLICATION (AN) ANALYZER.

Ambrosetti, R. ; Ciriani, Tito A. ; Pennacchi, R.

Armonk : IBM, 1984

Voir les exemplaires(Obtenir)

18
Material Type:
Livre
Ajouter à Mon espace

Linear analysis : measure and integral, Banach and Hilbert space, linear integral equations

Zaanen, Adriaan Cornelis (1913-....)

Amsterdam Groningen : North-Holland P. Noordhoff N.V., 1964

Disponible(Obtenir)

19
Material Type:
Thèse
Ajouter à Mon espace

Un système d'aide à la construction de programmes itératifs

Soufi, Loutfi ; Institut national polytechnique de Lorraine

S.l. : s.n., 1984

Voir les exemplaires(Obtenir)

20
Conception assistée des applications informatiques. 1. Étude d'opportunité et analyse conceptuelle
Material Type:
Livre
Ajouter à Mon espace

Conception assistée des applications informatiques. 1. Étude d'opportunité et analyse conceptuelle

Bodart, François ; Pigneur, Yves

Paris New York Barcelone : Masson, 1983

Disponible  et autres localisations(Obtenir)

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (3)

Affiner les résultats

Type de ressource 

  1. Livres  (19)
  2. Thèses  (1)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1977  (1)
  2. 1977 à 1979  (1)
  3. 1980 à 1980  (1)
  4. 1981 à 1982  (7)
  5. Après 1982  (10)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré