skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Transformations de programmes = Program transformations
Material Type:
Livre
Ajouter au Panier

Transformations de programmes = Program transformations

Robinet, Bernard (1941-2009) (Dir.)

Appartient à la collection : Dunod informatique. Phase recherche, ISSN 0152-7088

Paris. Dunod, 1978

Disponible(->>)

2
Conference record of the fifteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Diego, California, 13-15 January 1988
Material Type:
Livre
Ajouter au Panier

Conference record of the fifteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Diego, California, 13-15 January 1988

Special group on algorithms and computation theory (Etats-Unis) ; Association for computing machinery (Etats Unis). Special interest group on programming languages

New York. ACM, 1988

Indisponible     (->>)

3
Programming of future generation computers II : proceedings of the Second Franco-Japanese Symposium on Programming of Future Generation Computers, Cannes, France, 9-11, November, 1987
Material Type:
Livre
Ajouter au Panier

Programming of future generation computers II : proceedings of the Second Franco-Japanese Symposium on Programming of Future Generation Computers, Cannes, France, 9-11, November, 1987

Fuchi, Kazuhiro (Ed.) ; Kott, Laurent (Ed.)

Amsterdam. New York. North-Holland. New York. sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co, 1988

Indisponible     (->>)

4
Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986
Material Type:
Livre
Ajouter au Panier

Conference record of the thirteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986

Special group on algorithms and computation theory (Etats-Unis) ; Association for computing machinery (Etats Unis). Special interest group on programming languages

New York. ACM, 1986

Indisponible     (->>)

5
Conference record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, San Francisco, California, January 17-19, 1990
Material Type:
Livre
Ajouter au Panier

Conference record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, San Francisco, California, January 17-19, 1990

Association for Computing Machinery (États-Unis) ; Special group on algorithms and computation theory (Etats-Unis) ; Association for computing machinery (Etats Unis). Special interest group on programming languages

New York, N.Y.. The Association, cop. 1990

Indisponible     (->>)

6
Conference record of the sixteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Austin, Texas, January 11-13, 1989
Material Type:
Livre
Ajouter au Panier

Conference record of the sixteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Austin, Texas, January 11-13, 1989

Association for Computing Machinery (États-Unis) ; Special group on algorithms and computation theory (Etats-Unis) ; Association for computing machinery (Etats Unis). Special interest group on programming languages

New York, N.Y.. The Association, cop. 1989

Indisponible     (->>)

7
OOPSLA ECOOP '90 : addendum to the proceedings conference on object-oriented programming systems, languages, and applications [and] European Conference on Object-Oriented Programming, Ottawa, Canada, 21-25 October 1990
Material Type:
Livre
Ajouter au Panier

OOPSLA ECOOP '90 : addendum to the proceedings conference on object-oriented programming systems, languages, and applications [and] European Conference on Object-Oriented Programming, Ottawa, Canada, 21-25 October 1990

Archibald, Jerry L (Ed.) ; Brugess Yakemovic, K. C (Ed.) ; Association for Computing Machinery (États-Unis) (Ed.) ; Association for computing machinery (Etats Unis). Special interest group on programming languages (Ed.)

Appartient à la collection : SIGPLAN notices, Special issue, ISSN 0362-1340

New York, N.Y.. Association for Computing Machinery. Reading, MA. Addison-Wesley, [distributor], 1991

Indisponible     (->>)

8
Natural language understanding and logic programming : proceedings of the first International workshop on natural language understanding and logic programming, Rennes, France, 18-20 September, 1984
Material Type:
Livre
Ajouter au Panier

Natural language understanding and logic programming : proceedings of the first International workshop on natural language understanding and logic programming, Rennes, France, 18-20 September, 1984

Dahl, Veronica (1950-...) (Ed.) ; Saint-Dizier, Patrick (Chercheur en informatique) (1954-...) (Ed.)

Amsterdam. New York. Oxford. North-Holland. New York. sole distributors for the USA and Canada, Elsevier science, 1985

Disponible(->>)

9
Conference record of POPL '97 : the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages papers presented at the Symposium, Paris, France, 15-17 January 1997
Material Type:
Livre
Ajouter au Panier

Conference record of POPL '97 : the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages papers presented at the Symposium, Paris, France, 15-17 January 1997

Association for Computing Machinery (États-Unis) (Ed.) ; Association for computing machinery. Special interest group on algorithms and computation theory (Ed.) ; Association for computing machinery (Etats Unis). Special interest group on programming languages (Ed.)

New York (N.Y.). The Association for Computing Machinery, cop. 1997

Indisponible     (->>)

10
Material Type:
Livre
Ajouter au Panier

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications : Tihany [Hongrie], 11-15 septembre 1962

Kalmár, László (1905-1976) (Ed.) ; Magyar tudományos akadémia. Könyvtár (Ed.) ; Bólyai János matematikai társulat (Ed.)

Appartient à la collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, 19, ISSN 0530-7554

Paris. Gauthier-Villars. Louvain. E. Nauwelaerts. Budapest. Akadémiai Kiadó, 1965, cop. 1965

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

Refine Search Results

Affiner vos résultats

Localisation 

  1. Descartes  (2)
  2. Descartes - CDR  (1)
  3. Monod  (8)
  4. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1978  (1)
  2. 1978 à 1984  (1)
  3. 1985 à 1985  (1)
  4. 1986 à 1988  (3)
  5. Après 1988  (4)
  6. Autres open sub menu

Langue 

  1. Français  (2)
  2. Russe  (1)
  3. Allemand  (1)
  4. Autres open sub menu

Discipline 

  1. Informatique  (7)
  2. Mathématiques  (1)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

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