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 :
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The parametric lambda calculus : a meta-model for computation
Material Type:
Livre
Ajouter au Panier

The parametric lambda calculus : a meta-model for computation

Ronchi Della Rocca, Simona ; Paolini, Luca (1970-...)

Appartient à la collection : Texts in theoretical computer science (Print), ISSN 1862-4499

New York. Springer-Verlag, cop. 2004

Indisponible     (->>)

2
Theoretical Computer Science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings
Material Type:
ebook
Ajouter au Panier

Theoretical Computer Science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings

Restivo, Antonio ; Roversi, Luca ; Ronchi Della Rocca, Simona

Lecture Notes in Computer Science ; 2202

Berlin [etc.]. Springer, 201. ?

3
Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Material Type:
ebook
Ajouter au Panier

Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Dezani-Ciancaglini, Mariangiola (Ed.) ; Ronchi Della Rocca, Simona (Ed.) ; Ausiello, Giorgio (1941-...) (Ed.)

Lecture Notes in Computer Science ; 372

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

4
Material Type:
Thèse ou mémoire
Ajouter au Panier

Linear logic, type assignment systems and implicit computational complexity

De Benedetti, Erika (1985-...) ; Baillot, Patrick () ; Ronchi Della Rocca, Simona () ; Kesner, Delia () ; Dal Lago, Ugo (1977-..) () ; Marion, Jean-Yves () ; Schubert, Aleksy (19..-...) (Membre du jury) ; École normale supérieure de Lyon (Organisme de soutenance) ; Università degli studi (Turin, Italie) () ; École doctorale en Informatique et Mathématiques de Lyon () ; Laboratoire de l'informatique du parallélisme (Lyon) ()

2015

Refine Search Results

N'afficher que

  1. Ressources en ligne (3)

Affiner vos résultats

Type de ressource 

  1. ebooks  (2)
  2. Livres  (1)
  3. Thèses ou mémoires  (1)
  4. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à

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.