Résultat(s)
1 - 4
résultats de
4
pour la requête '
Voronkov Andrei
'
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
Voronkov Andrei
Résultat(s)
1 - 4
résultats de
4
pour la requête '
Voronkov Andrei
'
, Temps de recherche: 0,06s
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
Programming Logics : Essays in Memory of Harald Ganzinger
par
Voronkov
Andrei
,
Weidenbach Christoph
Springer Berlin Heidelberg 2013
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
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
par
Bjørner Nikolaj
,
Voronkov
Andrei
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 3
3
Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings
par
McMillan Ken
,
Middeldorp Aart
,
Voronkov
Andrei
Springer Berlin Heidelberg [20..]
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 4
4
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
par
Clarke Edmund M.
,
Virbitskaite Irina
Voronkov
Andrei
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
computer science
computer science logic and foundations of programming
logics and meanings of programs
programming techniques
artificial intelligence
artificial intelligence (incl. robotics)
compilers and interpreters
formal languages and automata theory
mathematical logic and formal languages
programming languages, compilers, interpreters
software engineering
computer imaging, vision, pattern recognition and graphics
actes de congrès
algorithm analysis and problem complexity
algorithms
×
Chargement en cours...