skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Implementation and design of algorithmic languages : proceedings of the 5th annual III conference, Guidel, France, May 16, 17, 18, 1977
Material Type:
Livre
Ajouter à Mon espace

Implementation and design of algorithmic languages : proceedings of the 5th annual III conference, Guidel, France, May 16, 17, 18, 1977

International Conference on the Implementation and Design of Algorithmic Languages International Conference on the Implementation and Design of Algorithmic Languages 5th Guidel, France 1977 ; André, Jacques (1938-....) ; Banâtre, Jean-Pierre ; Institut de recherche d'informatique et d'automatique France

Le Chesnay : Institut de recherche d'informatique et d'automatique, 1977

Voir les exemplaires

2
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 proceedings
Material Type:
Livre
Ajouter à Mon espace

Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 proceedings

Brookes, S. D Stephen D. ; International Conference on the Mathematical Foundations of Programming Semantics 7th, 1991, Carnegie Mellon University

Berlin New York : Springer-Verlag, c1992

Disponible(Obtenir)

3
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97 : Amsterdam, The Netherlands, June 12-13, 1997
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97 : Amsterdam, The Netherlands, June 12-13, 1997

Symposium on Partial Evaluation and Semantics-Based Program Manipulation Symposium on Partial Evaluation and Semantics-Based Program Manipulation Amsterdam, The Netherlands. 1997 ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York, N.Y. : ACM Press, 1997

Voir les exemplaires  et autres localisations(Obtenir)

4
ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation conference record papers presented at the symposium, Aizu, Japan, September 12-14, 2002
Material Type:
Livre
Ajouter à Mon espace

ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation conference record papers presented at the symposium, Aizu, Japan, September 12-14, 2002

ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation Aizu, Japan 2002 ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York, N.Y. : ACM Press, 2002

Voir les exemplaires(Obtenir)

5
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'02) Portland, Oregon, USA, January 14-15, 2002
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'02) Portland, Oregon, USA, January 14-15, 2002

ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation Portland, Oregon 2002 ; Association for Computing Machinery 429134 Etats Unis Special Interest Group on Programming Languages 070

New York, N. Y. : Association for Computing Machinery, 2002

Voir les exemplaires(Obtenir)

6
Languages and compilers for parallel computing proceedings : 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999
Material Type:
Livre
Ajouter à Mon espace

Languages and compilers for parallel computing proceedings : 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999

LCPC'99 LCPC'99 Conference La Jolla, Calif 1999 ; Carter, Larry ; Ferrante, Jeanne

Berlin London : Springer, 2000

Voir les exemplaires(Obtenir)

7
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980
Material Type:
Acte de conférence
Ajouter à Mon espace

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980

Workshop on semantics-directed compiler generation 1980 Århus, Danemark. ; Jones, Neil D. (1941-....)

Berlin Heidelberg New York : Springer-Verlag, 1980

Voir les exemplaires(Obtenir)

8
JFLA 2005 : Journées francophones des langages applicatifs 08 au 10 mars 2005, Obernai, France
Material Type:
Acte de conférence
Ajouter à Mon espace

JFLA 2005 : Journées francophones des langages applicatifs 08 au 10 mars 2005, Obernai, France

Journées francophones des langages applicatifs 16 2005 Obernai, Bas-Rhin. ; Michel, Olivier, auteur d'une thèse d'informatique (1996) (19..-....) ; Institut national de recherche en informatique et en automatique, France

Le Chesnay : INRIA, 2005

Voir les exemplaires(Obtenir)

9
JFLA 2004 : Journées francophones des langages applicatifs 25 au 27 janvier 2004, Sainte-Marie-de-Ré, France
Material Type:
Acte de conférence
Ajouter à Mon espace

JFLA 2004 : Journées francophones des langages applicatifs 25 au 27 janvier 2004, Sainte-Marie-de-Ré, France

Journées francophones des langages applicatifs 15 2004 Sainte-Marie-de-Ré, Charente-Maritime. ; Ménissier-Morain, Valérie ; Université Pierre et Marie Curie, Paris ; Institut national de recherche en informatique et en automatique, France

Rocquencourt : INRIA, 2004

Voir les exemplaires(Obtenir)

10
Material Type:
Versions multiples

Mathematical foundations of programming semantics : proceedings

International conference on the mathematical foundations of programming semantics 7 1991 Pittsburg, Pa.

Plusieurs versions trouvées
Il y a 2 versions

11
Semantics of data types : International symposium, Sophia-Antipolis, June 27-29, 1984
Material Type:
Acte de conférence
Ajouter à Mon espace

Semantics of data types : International symposium, Sophia-Antipolis, June 27-29, 1984

International symposium on the semantics of data types 1984 Sophia-Antipolis, Alpes-Maritimes. ; Kahn, Gilles (1946-2006) ; MacQueen, David B. (1946-....) ; Plotkin, Gordon (1946-....)

Berlin Heidelberg New York etc. : Springer-Verlag, 1984

Voir les exemplaires(Obtenir)

12
Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 proceedings
Material Type:
Livre
Ajouter à Mon espace

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 proceedings

International Static Analysis Symposium International Static Analysis Symposium 9th Madrid 2002 ; Hermenegildo, Manuel V. ; Puebla, Germán

Berlin New York : Springer, 2002

Voir les exemplaires(Obtenir)

13
Formal semantics of Programming languages
Material Type:
Livre
Ajouter à Mon espace

Formal semantics of Programming languages

Courant Computer Science Symposium 2nd, New York, 1970 ; Rustin, Randall

Englewood, Cliffs, N.J. : Prentice-Hall, 1972

Disponible(Obtenir)

14
Static analysis : 14th International symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 proceedings
Material Type:
Livre
Ajouter à Mon espace

Static analysis : 14th International symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 proceedings

International Static Analysis Symposium International Static Analysis Symposium 14th Kongens Lyngby, Denmark 2007 ; Nielson, Hanne Riis ; Filé, Gilberto

Berlin New York : Springer, 2007

Voir les exemplaires(Obtenir)

15
Material Type:
Livre
Ajouter à Mon espace

PLDI'17 : Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Barcelona, Spain, June 18-23, 2017 edited by: Albert Cohen and Martin Vechev

Cohen, Albert ; Vechev, Martin ; Association for computing machinery Special interest group on programming languages Etats Unis

New York N.Y. : Association for Computing Machinery, 2017

Voir les exemplaires(Obtenir)

16
Conference record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Albuquerque, New Mexico, January 19-22, 1992
Material Type:
Livre
Ajouter à Mon espace

Conference record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Albuquerque, New Mexico, January 19-22, 1992

ACM Symposium on Principles of Programming Languages ACM Symposium on Principles of Programming Languages 19th Albuquerque, N.M. 1992 ; ACM Special Interest Group for Automata and Computibility Theory ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis ; Association for Computing Machinery États-Unis

New York, N.Y. : ACM Press, 1992

Voir les exemplaires(Obtenir)

17
Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 proceedings
Material Type:
Livre
Ajouter à Mon espace

Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 proceedings

International Static Analysis Symposium International Static Analysis Symposium 16th Los Angeles, Calif. 2009 SAS 2009 ; Palsberg, Jens ; Sun, Zhendong (1968-....)

Berlin Heidelberg : Springer, 2009

Voir les exemplaires(Obtenir)

18
Material Type:
Livre
Ajouter à Mon espace

POPL' 10 : Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages January 17-23, 2010, Madrid, Spain

ACM symposium on principles of programming languages ACM symposium on principles of programming languages 37 2010 Madrid, Espagne ; Special group on algorithms and computation theory Etats-Unis ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis ; Association for Computing Machinery États-Unis

New York, N.Y. : ACM Press, 2010

Voir les exemplaires(Obtenir)

19
Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14 - 16, 2011 proceedings
Material Type:
Livre
Ajouter à Mon espace

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14 - 16, 2011 proceedings

International static analysis symposium International static analysis symposium 18 2011 Venise, Italie ; Yahav, Eran

Berlin Heidelberg : Springer, 2011

Voir les exemplaires(Obtenir)

20
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 proceedings
Material Type:
Livre
Ajouter à Mon espace

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 proceedings

International Static Analysis Symposium International Static Analysis Symposium 12th London, England 2005 ; Hankin, Chris ; Siveroni, Igor

Berlin New York : Springer, 2005

Voir les exemplaires(Obtenir)

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (2)

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (6)
  2. Livres  (46)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1986  (7)
  2. 1986 à 1996  (9)
  3. 1997 à 2002  (15)
  4. 2003 à 2010  (13)
  5. Après 2010  (8)
  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é