Résultat(s)
1 - 2
résultats de
2
pour la requête '
Miller Dale
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Miller Dale
Résultat(s)
1 - 2
résultats de
2
pour la requête '
Miller Dale
'
, Temps de recherche: 0,02s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
par
Gramlich Bernhard
,
Miller
Dale
Springer Berlin Heidelberg 2012
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
L'accès à cette ressource est géré par la BU.
Accès en ligne Nantes Université
Livre
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 2
2
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
par
Hawblitzel Chris
,
Miller
Dale
Springer Berlin Heidelberg 2012
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
L'accès à cette ressource est géré par la BU.
Accès en ligne Nantes Université
Livre
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
–
Enregistrer la recherche
Vous cherchez un article par son titre ?
Consultez notre
mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien
.
Vous n'avez pas trouvé ?
Recherchez
dans d'autres universités (SUDOC)
, faites
une demande de Prêt entre bibliothèques (PEB)
ou faites
une suggestion d'achat
.
Sujets similaires
actes de congrès
artificial intelligence
artificial intelligence (incl. robotics)
computer science
computer science logic and foundations of programming
formal languages and automata theory
logics and meanings of programs
mathematical logic and formal languages
software engineering
compilers and interpreters
mathematics of computing
numeric computing
numerical analysis
programming languages, compilers, interpreters
symbolic and algebraic manipulation
×
Chargement en cours...