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 :     Numerical analysis -- Computer programs     Computer software -- Verification     Analyse numérique -- Logiciels -- Actes de congrès     Logiciels -- Vérification -- Actes de congrès     Parcourir le catalogue     par auteur:      International Dagstuhl seminar "Numerical software with result verification" -- Seminar number 03041 -- 2003 -- Dagstuhl castle, Germany       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  International Dagstuhl seminar "Numerical software with result verification" -- Seminar number 03041 -- 2003 -- Dagstuhl castle, Germany Titre :  Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers , René Alt, Andreas Frommer, R. Baker Kearfott ... [et al.] (eds.) Editeur :  Berlin New York , Springer -- cop. 2004 Description :  X-313 p. ; 24 cm Collection :  Lecture notes in computer science ; 2991 , 0302-9743 ISBN:  3-540-21260-4 , br. Notes :  Contient des notes bibliogr. Index Sujet :  Numerical analysis -- Computer programs Computer software -- Verification Analyse numérique -- Logiciels -- Actes de congrès Logiciels -- Vérification -- Actes de congrès   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Archives ARCH-3862 Empruntable Disponible

Pour toute question, contactez la bibliothèque

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