A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur René David (1948-....)
Documents disponibles écrits par cet auteur
Affiner la rechercheDu Grafcet aux réseaux de Petri / René David
Titre : Du Grafcet aux réseaux de Petri Type de document : texte imprimé Auteurs : René David (1948-....), Auteur ; Hassane Lotfi Alla (1952-....), Auteur Mention d'édition : Editeur : Paris : Hermès Année de publication : 1989 Collection : Traité des nouvelles technologies. Série Automatique Sous-collection : Série automatique Importance : XI-423 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 2-86601-195-3 Note générale : Bibliogr. p. 413-418. Index Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : grafcet réseaux de petri Index. décimale : 511.3 Logique symbolique (mathématique) Du Grafcet aux réseaux de Petri [texte imprimé] / René David (1948-....), Auteur ; Hassane Lotfi Alla (1952-....), Auteur . - . - Paris : Hermès, 1989 . - XI-423 p. : ill. ; 24 cm. - (Traité des nouvelles technologies. Série Automatique. Série automatique) .
ISBN : 2-86601-195-3
Bibliogr. p. 413-418. Index
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : grafcet réseaux de petri Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 DAV Mathématiques Biblio-FSO 000000027605 Disponible s17827
Titre : les grands systèmes de droit contemporains 7ème édition Type de document : texte imprimé Auteurs : René David (1948-....), Auteur Editeur : Paris : Dalloz Année de publication : 1978 Importance : 657 P Langues : Français (fre) Index. décimale : 340 Droit les grands systèmes de droit contemporains 7ème édition [texte imprimé] / René David (1948-....), Auteur . - Paris : Dalloz, 1978 . - 657 P.
Langues : Français (fre)
Index. décimale : 340 Droit Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 340 DAV Droit Français Biblio-FPN 000000048208 Disponible 482
Titre : Introduction à la logique : théorie de la démonstration : cours et exercices corrigés : licence 3e année, master, CAPES, agrégation Type de document : texte imprimé Auteurs : René David (1948-....), Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. Mention d'édition : 2ème éd. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : XIII-352 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-006796-1 Prix : 30 EUR Note générale : Bibliogr. p. 347-348. Index
Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : théorèmes démonstration automatique logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Introduction à la logique : théorie de la démonstration : cours et exercices corrigés : licence 3e année, master, CAPES, agrégation [texte imprimé] / René David (1948-....), Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. . - 2ème éd. . - Paris : Dunod, 2003 . - XIII-352 p. : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-006796-1 : 30 EUR
Bibliogr. p. 347-348. Index
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : théorèmes démonstration automatique logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 DRI Informatique Biblio-FPN 000001279608 Disponible FPN.S899 511.3 DRI Mathématiques Biblio-FPN 000001277608 Disponible FPN.S898 511.3 DAV Mathématiques Biblio-FSO 000001825505 Disponible s35354 511.3 DAV Mathématiques Biblio-FSO 000001723705 Disponible s32075 511.3 DAV Mathématiques Biblio-FSO 000001723605 Disponible s32074 511.3 DAV Mathématiques Biblio-FSO 000001723805 Disponible s32073 511.3 DAV Mathématiques Biblio-FSO 000001724005 Disponible s33192 511.3 DAV Mathématiques Biblio-FSO 000001723905 Disponible s33191 511.3 DAV Mathématiques Biblio-FSO 000000329005 Disponible s34345 511.3 DAV Mathématiques Biblio-FSO 000000303505 Disponible s34346 511.3 DAV Mathématiques Biblio-FSO 000000993105 Disponible s34347
