الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
8 résultat(s) recherche sur le mot-clé 'code'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Cours de logique mathématique..., 3. Cours de logique mathématique... / Roland Fraïssé
Titre de série : Cours de logique mathématique..., 3 Titre : Cours de logique mathématique... : TOME 3 Récursivité et constructibilité Type de document : texte imprimé Auteurs : Roland Fraïssé (1920-2008), Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1975 Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris Sous-collection : Série A num. 25 Importance : vol. 3 (134 p.) Présentation : ill. Format : 24 *17cm ISBN/ISSN/EAN : 978-2-04-004158-8 Prix : 58 F Note générale : Titre Cours de logique mathematique ...: Récursivité et constructibilité
Collection de logique mathématique, sér. A
Volume 3 de Cours de logique mathematique, Roland Fraïssé
Auteur Roland Fraïssé
Éditeur Gauthier-Villars, 1967
Original provenant de l'Université du Michigan
Numérisé 2 févr. 2009
ISBN 2040041583, 9782040041588Langues : Français (fre) Mots-clés : relation récursive rec-énumérable arithmétique code numérotation récursive d'ensembles suites opérateurs libres formules récursivité relative constructibilité théorème d’incomplétude des arithmétiques axiomatisables indécidabilité essentielle théorème d'indépendance de l'axiome de constructibilité Index. décimale : 510 Résumé : Sommaire :
relation récursive,rec-énumérable ou arithmétique
code;numérotation récursive d'ensembles de suites de relations d'opérateurs libres de formules
récursivité relative
constructibilité
théorème d’incomplétude des arithmétiques axiomatisables,indécidabilité essentielle
théorème d'indépendance de l'axiome de constructibilitéNote de contenu : Bibliogr. p. 131-134. Index Cours de logique mathématique..., 3. Cours de logique mathématique... : TOME 3 Récursivité et constructibilité [texte imprimé] / Roland Fraïssé (1920-2008), Auteur . - Paris : Gauthier-Villars, 1975 . - vol. 3 (134 p.) : ill. ; 24 *17cm. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris. Série A; 25) .
ISBN : 978-2-04-004158-8 : 58 F
Titre Cours de logique mathematique ...: Récursivité et constructibilité
Collection de logique mathématique, sér. A
Volume 3 de Cours de logique mathematique, Roland Fraïssé
Auteur Roland Fraïssé
Éditeur Gauthier-Villars, 1967
Original provenant de l'Université du Michigan
Numérisé 2 févr. 2009
ISBN 2040041583, 9782040041588
Langues : Français (fre)
Mots-clés : relation récursive rec-énumérable arithmétique code numérotation récursive d'ensembles suites opérateurs libres formules récursivité relative constructibilité théorème d’incomplétude des arithmétiques axiomatisables indécidabilité essentielle théorème d'indépendance de l'axiome de constructibilité Index. décimale : 510 Résumé : Sommaire :
relation récursive,rec-énumérable ou arithmétique
code;numérotation récursive d'ensembles de suites de relations d'opérateurs libres de formules
récursivité relative
constructibilité
théorème d’incomplétude des arithmétiques axiomatisables,indécidabilité essentielle
théorème d'indépendance de l'axiome de constructibilitéNote de contenu : Bibliogr. p. 131-134. Index Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST13052 510/03.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13053 510/03.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Logiciels PC Pour l'électronique / Patrick Gueulle
Titre : Logiciels PC Pour l'électronique Type de document : texte imprimé Auteurs : Patrick Gueulle, Auteur Editeur : [Paris] : Dunod Année de publication : impr. 2001 Importance : 1 vol. (205 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005687-3 Prix : 230 F Note générale : Broché : 208 pages
ISBN-10 : 2100056875
ISBN-13 : 978-2100056873
Poids de l'article : 381 g
Dimensions du produit : 24 x 15.5 x 1.3 cm
Éditeur : Dunod (13 avril 2001)
Langue : : Français
Langues : Français (fre) Mots-clés : logiciel PC pour l'électronique simulation boardcapture circuits code assembleurs programmateurs compilateurs traçage routage Index. décimale : 004 Traitement des Données Résumé : Ce livre aborde tous les aspects de l'utilisation du PC pour la conception, la mise au point et la réalisation de montages électroniques : saisie de schémas, création de circuits imprimés, simulation analogique et numérique, développement de code pour composants programmables, instrumentation virtuelle, etc. Le cédérom qui accompagne l'ouvrage rassemble une sélection des meilleurs logiciels du domaine, tous testés par l'auteur : logiciels gratuits, recueils de caractéristiques et équivalences de composants, versions limitées de logiciels souvent très puissants, etc. Note de contenu : Annexes
avec un Cd-RomLogiciels PC Pour l'électronique [texte imprimé] / Patrick Gueulle, Auteur . - [Paris] : Dunod, impr. 2001 . - 1 vol. (205 p.) : ill. ; 24 cm.
ISBN : 978-2-10-005687-3 : 230 F
Broché : 208 pages
ISBN-10 : 2100056875
ISBN-13 : 978-2100056873
Poids de l'article : 381 g
Dimensions du produit : 24 x 15.5 x 1.3 cm
Éditeur : Dunod (13 avril 2001)
Langue : : Français
Langues : Français (fre)
Mots-clés : logiciel PC pour l'électronique simulation boardcapture circuits code assembleurs programmateurs compilateurs traçage routage Index. décimale : 004 Traitement des Données Résumé : Ce livre aborde tous les aspects de l'utilisation du PC pour la conception, la mise au point et la réalisation de montages électroniques : saisie de schémas, création de circuits imprimés, simulation analogique et numérique, développement de code pour composants programmables, instrumentation virtuelle, etc. Le cédérom qui accompagne l'ouvrage rassemble une sélection des meilleurs logiciels du domaine, tous testés par l'auteur : logiciels gratuits, recueils de caractéristiques et équivalences de composants, versions limitées de logiciels souvent très puissants, etc. Note de contenu : Annexes
avec un Cd-RomRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST4629 004/46.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt ST4630 004/46.2 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible Mise en oeuvre et applications du microcontrôleur 8051 / Philippe Kauffmann
Titre : Mise en oeuvre et applications du microcontrôleur 8051 Type de document : texte imprimé Auteurs : Philippe Kauffmann (1952-....), Auteur Editeur : Paris : Masson Année de publication : 1996 Collection : Collection Technologies, ISSN 0223-5285 Importance : X-272 p. Présentation : ill., couv. ill. en coul. Format : 24*17 cm ISBN/ISSN/EAN : 978-2-225-85132-2 Prix : 195 F Note générale : Index. Table des matières en français et en anglais-annexes Langues : Français (fre) Mots-clés : Mise en oeuvre et applications du microcontrôleur 8051 code version chmos registre chronologie du processeur Index. décimale : 621.38 Résumé : Mise en oeuvre et applications du microcontrôleur 8051-code-version chmos-registre-chronologie du processeur-présentation-les microcontroleurs de la famille MCS-51-la carte à microcontroleur5081A-les montages de mise en oeuvre- Note de contenu : Éditeur : Dunod (27 février 1996)
Langue : Français
Broché : 280 pages
ISBN-10 : 2225851328
ISBN-13 : 978-2225851322
Poids de l'article : 468 gMise en oeuvre et applications du microcontrôleur 8051 [texte imprimé] / Philippe Kauffmann (1952-....), Auteur . - Paris : Masson, 1996 . - X-272 p. : ill., couv. ill. en coul. ; 24*17 cm. - (Collection Technologies, ISSN 0223-5285) .
ISBN : 978-2-225-85132-2 : 195 F
Index. Table des matières en français et en anglais-annexes
Langues : Français (fre)
Mots-clés : Mise en oeuvre et applications du microcontrôleur 8051 code version chmos registre chronologie du processeur Index. décimale : 621.38 Résumé : Mise en oeuvre et applications du microcontrôleur 8051-code-version chmos-registre-chronologie du processeur-présentation-les microcontroleurs de la famille MCS-51-la carte à microcontroleur5081A-les montages de mise en oeuvre- Note de contenu : Éditeur : Dunod (27 février 1996)
Langue : Français
Broché : 280 pages
ISBN-10 : 2225851328
ISBN-13 : 978-2225851322
Poids de l'article : 468 gRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 7045 621.38/278.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt ST7046 621.38/278.2 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible Modélisation et analyse de systèmes embarqués / KORDON,FABRICE
Titre : Modélisation et analyse de systèmes embarqués Type de document : texte imprimé Auteurs : KORDON,FABRICE, Auteur ; HUGUES,JéROME, Auteur ; CANALS,AGUSTI, Auteur ; Alain Dohet ; APVRILLE,LUDOVIC ; BONIOL,FRéDéRIC ; BORDRE,ETIENNE ; JEAN-MICHEL BRUEL ; Agustí Canals ; CHAMPEAU,JOEL ; PIERRE DE SAQUI-SANNES ; JéROME DELATOUR ; DHAUSSY,PHILIPPE ; Alain Dohet ; FEJOZ,LOIC ; GéRARD,SéBASTIEN ; HUGUES,JéROME ; KORDAN,FABRICE ; LEBLANC,PHILIPPE ; LE ROUX,LUKA ; MRAIDHA,CHOCKRI ; PAUTET,LAURENT ; POTIER,DOMINIQUE ; RADERMACHER,ANSGAR ; RENAULT,XAVIER ; ROBERT,THOMAS ; JEAN-CHARLES ROGER ; ROQUES,PASCAL ; TERRIER,FRANçOIS ; ZALILA,BECHIR Editeur : Paris : Hermès science publications-Lavoisier Année de publication : DL 2013 Collection : Collection SEE (Paris), ISSN 1264-4366 Importance : 1 vol. (312 p.) Présentation : ill. Format : 17X24 cm ISBN/ISSN/EAN : 978-2-7462-3900-5 Prix : 99 EUR Note générale : Éditeur : Hermes Science Publications (2 avril 2013)
Langue : Français
Relié : 312 pages
ISBN-10 : 2746239000
ISBN-13 : 978-2746239005
Poids de l'article : 671 g
Dimensions : 15.6 x 1.7 x 23.4 cmLangues : Français (fre) Mots-clés : Systèmes embarqués pacemaker SysML marte code AADL Modélisation et analyse de systèmes embarqués Index. décimale : 629. Autres Branches de L’ingénierie Résumé : Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l'on parle de plus en plus de systèmes embarqués, il s'agit avant tout d'un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l'art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s'agit d'opérations cruciales qui détermineront la fiabilité du futur système. L'apparition récente des techniques basées sur l'ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l'implémentation de la partie logicielle. L'ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).
SOMMAIRE:
PROBLéMATIQUE
PROLéGOMéNES
ELéMENTS POUR LA CONCEPTION DE SYSTéMES EMBARQUéS
ETUDE DE CAS:LE PACEMAKER
SYSML
PRéSENTATION DES CONCEPTS DE SYSML
MODéLISATION DE L'éTUDE DE CAS AVEC SYSML
ANALYSE DES EXIGENCES
MARTE
PRéSENTATION DES CONCEPTS DE MARTE
MODéLISATION DE L'éTUDE DE CAS AVEC MARTE
ANALYSE à PARTIR DU MODéLE
DéPLOIEMENT ET GéNéRATION DE CODE
AADL
PRéSENTATION DES CONCEPTS DE AADL
MODéLISATION DE L'éTUDE DE CAS AVEC AADL
ANALYSE à PARTIR DU MODéLE
GéNéRATION DE CODE à PARTIR DU MODéLE
Note de contenu : Notes bibliogr. Index Modélisation et analyse de systèmes embarqués [texte imprimé] / KORDON,FABRICE, Auteur ; HUGUES,JéROME, Auteur ; CANALS,AGUSTI, Auteur ; Alain Dohet ; APVRILLE,LUDOVIC ; BONIOL,FRéDéRIC ; BORDRE,ETIENNE ; JEAN-MICHEL BRUEL ; Agustí Canals ; CHAMPEAU,JOEL ; PIERRE DE SAQUI-SANNES ; JéROME DELATOUR ; DHAUSSY,PHILIPPE ; Alain Dohet ; FEJOZ,LOIC ; GéRARD,SéBASTIEN ; HUGUES,JéROME ; KORDAN,FABRICE ; LEBLANC,PHILIPPE ; LE ROUX,LUKA ; MRAIDHA,CHOCKRI ; PAUTET,LAURENT ; POTIER,DOMINIQUE ; RADERMACHER,ANSGAR ; RENAULT,XAVIER ; ROBERT,THOMAS ; JEAN-CHARLES ROGER ; ROQUES,PASCAL ; TERRIER,FRANçOIS ; ZALILA,BECHIR . - Paris : Hermès science publications-Lavoisier, DL 2013 . - 1 vol. (312 p.) : ill. ; 17X24 cm. - (Collection SEE (Paris), ISSN 1264-4366) .
ISBN : 978-2-7462-3900-5 : 99 EUR
Éditeur : Hermes Science Publications (2 avril 2013)
Langue : Français
Relié : 312 pages
ISBN-10 : 2746239000
ISBN-13 : 978-2746239005
Poids de l'article : 671 g
Dimensions : 15.6 x 1.7 x 23.4 cm
Langues : Français (fre)
Mots-clés : Systèmes embarqués pacemaker SysML marte code AADL Modélisation et analyse de systèmes embarqués Index. décimale : 629. Autres Branches de L’ingénierie Résumé : Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l'on parle de plus en plus de systèmes embarqués, il s'agit avant tout d'un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l'art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s'agit d'opérations cruciales qui détermineront la fiabilité du futur système. L'apparition récente des techniques basées sur l'ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l'implémentation de la partie logicielle. L'ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).
SOMMAIRE:
PROBLéMATIQUE
PROLéGOMéNES
ELéMENTS POUR LA CONCEPTION DE SYSTéMES EMBARQUéS
ETUDE DE CAS:LE PACEMAKER
SYSML
PRéSENTATION DES CONCEPTS DE SYSML
MODéLISATION DE L'éTUDE DE CAS AVEC SYSML
ANALYSE DES EXIGENCES
MARTE
PRéSENTATION DES CONCEPTS DE MARTE
MODéLISATION DE L'éTUDE DE CAS AVEC MARTE
ANALYSE à PARTIR DU MODéLE
DéPLOIEMENT ET GéNéRATION DE CODE
AADL
PRéSENTATION DES CONCEPTS DE AADL
MODéLISATION DE L'éTUDE DE CAS AVEC AADL
ANALYSE à PARTIR DU MODéLE
GéNéRATION DE CODE à PARTIR DU MODéLE
Note de contenu : Notes bibliogr. Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19317 629/21.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt Le projet informatique de A à Z / Valéry-Guilhem Frémaux
Titre : Le projet informatique de A à Z : approche pragmatique de la gestion de projet Type de document : texte imprimé Auteurs : Valéry-Guilhem Frémaux, Auteur Editeur : Paris : Ellipses Année de publication : impr. 2006 Importance : 1 vol. (383 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-2678-9 Prix : 39,50 EUR Note générale : Éditeur : ELLIPSES (15 mars 2006)
Langue : Français
Broché : 375 pages
ISBN-10 : 2729826785
ISBN-13 : 978-2729826789
Poids de l'article : 821 g
Dimensions : 19 x 2 x 24 cmLangues : Français (fre) Mots-clés : projets informatiques qualité analyse technique code tests recette exploitation Index. décimale : 005 Programmation Résumé : Public :
- étudiants de BTS, DUT en informatique
- étudiants d'écoles d'ingénieurs
- futurs développeurs informatiques
- futurs Chefs de Projets informatiques
- décideurs en Systèmes d'information
Objectifs
- fournir à tous ceux qui ont en vue une carrière professionnelle dans l'informatique une vue d'ensemble des problématiques liées à l'activité de développement, de construction et de mises en œuvre de solutions informatiques ;
- permettre de prendre toute la mesure des difficultés opérationnelles dans les projets réels et de découvrir les techniques, solutions et méthodologies disponibles
Contenu
- 9 parties principales
- le suivi du projet depuis l'avant-vente à la livraison
- très nombreuses illustrations
- les grandes méthodologies
- les problèmes opérationnels
- les contresens courants de la gestion
Sommaire
- Introduction : L'homme
- La qualité
- L'avant-vente
- Les spécifications
- L'analyse technique
- La conception
- La production du code
- Les tests
- La recette
- L'exploitation et la maintenance
- Conclusion
- Lexique
- Index
Note de contenu : Glossaire. Index Le projet informatique de A à Z : approche pragmatique de la gestion de projet [texte imprimé] / Valéry-Guilhem Frémaux, Auteur . - Paris : Ellipses, impr. 2006 . - 1 vol. (383 p.) : ill., couv. ill. ; 24 cm.
ISBN : 978-2-7298-2678-9 : 39,50 EUR
Éditeur : ELLIPSES (15 mars 2006)
Langue : Français
Broché : 375 pages
ISBN-10 : 2729826785
ISBN-13 : 978-2729826789
Poids de l'article : 821 g
Dimensions : 19 x 2 x 24 cm
Langues : Français (fre)
Mots-clés : projets informatiques qualité analyse technique code tests recette exploitation Index. décimale : 005 Programmation Résumé : Public :
- étudiants de BTS, DUT en informatique
- étudiants d'écoles d'ingénieurs
- futurs développeurs informatiques
- futurs Chefs de Projets informatiques
- décideurs en Systèmes d'information
Objectifs
- fournir à tous ceux qui ont en vue une carrière professionnelle dans l'informatique une vue d'ensemble des problématiques liées à l'activité de développement, de construction et de mises en œuvre de solutions informatiques ;
- permettre de prendre toute la mesure des difficultés opérationnelles dans les projets réels et de découvrir les techniques, solutions et méthodologies disponibles
Contenu
- 9 parties principales
- le suivi du projet depuis l'avant-vente à la livraison
- très nombreuses illustrations
- les grandes méthodologies
- les problèmes opérationnels
- les contresens courants de la gestion
Sommaire
- Introduction : L'homme
- La qualité
- L'avant-vente
- Les spécifications
- L'analyse technique
- La conception
- La production du code
- Les tests
- La recette
- L'exploitation et la maintenance
- Conclusion
- Lexique
- Index
Note de contenu : Glossaire. Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19182 005/76.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt UML 2 pour les développeurs / Xavier Blanc
PermalinkDévelopper des applications iPad / Neal Goldstein
PermalinkDu Web 2.0 au Web 3.0 / Jean-Noël Anderruthy
Permalink