Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Calcul intensif (informatique)     Parallélisme (informatique)     Modèles mathématiques     Parcourir le catalogue     par auteur:      Curien , Pierre-Louis      Herbelin , Hugo , 19..-....      Krivine , Jean-Louis , 19..-....       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  Curien , Pierre-Louis Herbelin , Hugo , 19..-.... Krivine , Jean-Louis , 19..-.... Titre :  Interactive models of computation and program behavior , Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine... [et al.] Editeur :  [Paris] , Société Mathématique de France -- cop. 2009 Description :  1 vol. (XVI-275 p.) : fig. ; 24 cm Collection :  Panoramas et synthèses , 1272-3835 ; 27 ISBN:  978-2-85629-273-0 , br. Notes :  Références bibliographiques en fin de contributions Sujet :  Calcul intensif (informatique) Parallélisme (informatique) Modèles mathématiques   Exemplaires Site Emplacement Cote Type de prêt Statut   Site de Saint-Martin Espace Recherche 511.8 INT Prêt Disponible Réserver

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.