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 :     Méthodes formelles (informatique)     Systèmes embarqués (informatique)     Temps réel (informatique)     Markov, Processus de     Parcourir le catalogue     par auteur:      Roux , Olivier F. , 19..-.... , maître de conférences IRCCyN      Jard , Claude , 1959- ....       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Titre :  Approches formelles des systèmes embarqués communicants , sous la direction de Olivier H. Roux, Claude Jard Editeur :  Paris , Hermes science publ. , Lavoisier -- impr. 2008, cop. 2008 Description :  1 vol. (268-XIII p.) : fig., graph. ; 24 cm Collection :  Traité IC2 : information, commande, communication . Informatique et Systèmes d'Information ISBN:  978-2-7462-1942-7 , rel. , 95 EUR Notes :  Bibliogr. dispersée Sujet :  Méthodes formelles (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Markov, Processus de   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Archives ARCH-2805 Empruntable (disponible) ENSEA Ensea Archives ARCH-5657 Empruntable Disponible

Pour toute question, contactez la bibliothèque

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