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
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 Proceedings

Maler, Oded (1957-...) (Ed.) ; Bouajjani, Ahmed (Ed.)

Appartient à la collection : Lecture notes in computer science (Internet), 5643, ISSN 1611-3349

Berlin, Heidelberg. Springer Berlin Heidelberg. Imprint: Springer, 2009

Refine Search Results

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Bouajjani, Ahmed
  2. Maler, Oded

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.