46 Notices bibliographiques

Votre Recherche

Recherche simple :

  • April
Date de publication
  • 1900-1999
Sujets
  • Programmation (informatique)
Sauvegarder votre recherche

Affiner

Nature de document

  • Ajouter un filtre

  • Ajouter un filtre

Détail des sujets

  • Ajouter un filtre

Voir la sélection (0)
Ajouter à mes références (0)

1 1984

International Symposium on Programming (6 ; 1984 ; Toulouse, France)

International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet
Springer-Verlag
Livres

2 1980

Robinet, Bernard

International Symposium on Programming : Proceedings of the Fourth 'Colloque International sur la Programmation' Paris, 22-24 April 1980 / edited by Bernard Robinet
Springer-Verlag
Livres

3 1981

Díaz, J.

Formalization of Programming Concepts : International Colloquium Peniscola, Spain, April 19-25, 1981 Proceedings / edited by J. Díaz, I. Ramos
Springer-Verlag
Livres

4 1982

Dezani-Ciancaglini, Mariangiola

International Symposium on Programming : 5th Colloquium Turin, April 6-8, 1982 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Ugo Montanari
Springer-Verlag
Livres

5 1986

Melton, Austin

Mathematical Foundations of Programming Semantics : International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings / edited by Austin Melton
Springer-Verlag
Livres

6 1971

Mathematical software / Edited by John R. Rice
Academic Press
Livres

7 1999

COORDINATION '99 (1999 ; Amsterdam, Netherlands)

Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, the Netherlands, April 26-28, 1999 : proceedings / Paolo Ciancarini, Alexander L. Wolf (eds.)
Springer Berlin
Livres

8 1999

WADT '98 (1998 ; Lisbon, Portugal)

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.)
Springer
Livres

9 1986

Bibel, Wolfgang (1938-....)

Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke
Springer-Verlag
Livres

10 1994

Dyckhoff, Roy

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29-April 1, 1993 Proceedings / edited by Roy Dyckhoff
Springer-Verlag
Livres

Récupérer les notices

(0)
(46)

autres Ressources