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 revueCollectionEditeurNoteTous motsISBNPPN       Modifier la recherche   > CERGY

Résultats de recherche  5 résultat(s) pour  Computer arithmetic

Trier par: Choisissez...Aucun(e)AuteursTitresEditeursType de document Date d'édition croissanteDate d'édition décroissanteHIP titre Abreg inverse    Limiter par: Type de document --Livres imprimés --Revues papier --Thèses --Vidéos / DVD --Documents électroniques --Cartes --ArticlesBibliothèque --Cerclades --Chênes --Neuville --St Martin --Argenteuil --Sarcelles --Ensea --Antony --Cergy-Hirsch --Saint-Germain-en-Laye --GennevilliersLangue --Anglais --Français --Allemand --Italien --Japonais --Portugais --Espagnol

 

---

1. Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system Boldo , Sylvie ISTE Press : Elsevier , 2017      2. Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications O'Regan , Gerard Springer International Publishing , Springer e-books , Imprint: Springer , Springer e-books -- 2016      3. Computer arithmetic and Verilog HDL fundamentals Cavanagh , Joseph J. F. CRC Press -- cop. 2010      4. Perspectives on enclosure methods Springer -- cop. 2001      5. Circuits logiques Maldague , Xavier P. V. Loze-Dion éditeur -- [20..]

Ma liste : (ex. 1,2 ou 5-20, max. 100)

Pour toute question, contactez la bibliothèque

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