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

Résultats de recherche  9 résultat(s) pour  Logique mathématiques informatique , 0995-2179

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. Exercices sur les codes correcteurs : 600 exercices corrigés Poli , Alain Masson -- DL 1995, cop. 1995      2. Théorie de la récursivité pour la métamathématique Smullyan , Raymond Merrill , 1919-2017 Masson -- DL 1995, cop. 1995      3. Calcul formel : mode d'emploi : exemples en Maple Gomez , Claude Masson -- 1995, cop. 1995      4. Morphologie mathématique Schmitt , Michel , 1959-.... , mathématicien Masson -- 1994, cop. 1993      5. Mathématiques pour l'informatique Arnold , André , 1945-.... Masson -- 1993      6. Cryptologie contemporaine Brassard , Gilles , 1955-.... Masson -- 1993, cop. 1992      7. Langage PASCAL et logique du premier ordre . Tome 2 . Récursivité et dérécursification, preuves et complexité d'algorithmes Margenstern , Maurice Masson , 1990      8. Introduction aux méthodes de la cryptologie Beckett , Brian Masson -- 1990, cop. 1990      9. Langage PASCAL et logique du premier ordre . Tome 1 . Programmation en PASCAL - Prédicats - Systèmes formels - Fonctions récursives Margenstern , Maurice Masson , 1989

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.