Accéder aux autres sites de l'Université Mohammed Premier

Boolean functions and computation models / Peter Clote

Public ISBD Titre : Boolean functions and computation models Type de document : texte imprimé Auteurs : Peter Clote, Auteur ; Evangelos Kranakis, Auteur Mention d'édition : Editeur : Dordrecht : Springer Année de publication : 2002 Collection : Texts in theoretical computer science Importance : 601 p. Présentation : ill. Langues : Anglais (eng) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Computational complexity  Boolean algebra Boolean functions and computation models [texte imprimé] / Peter Clote, Auteur ; Evangelos Kranakis, Auteur  . -   . - Dordrecht : Springer, 2002 . - 601 p. : ill.. - (Texts in theoretical computer science) . Langues : Anglais (eng) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Computational complexity  Boolean algebra

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
511.3 CPB	Mathématiques	Biblio-ENSAO	0000000433101	Disponible	3427
511.3 CPB	Mathématiques	Biblio-ENSAO	0000000433401	Disponible	3425
511.3 CPB	Mathématiques	Biblio-ENSAO	0000000433001	Disponible	3426
511.3 CPB	Mathématiques	Biblio-ENSAO	0000000433301	Disponible	3424
511.3 CPB	Mathématiques	Biblio-ENSAO	0000000433201	Disponible	3423

Elements of the theory of computation / Harry Lewis

Public ISBD Titre : Elements of the theory of computation Type de document : texte imprimé Auteurs : Harry Lewis, Auteur ; Christos Papadimitriou, Auteur Mention d'édition : 2ème éd. Editeur : Prentice Hall Année de publication : 1998 Importance : 361p. Présentation : ill. Langues : Anglais (eng) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Machine theory  Formal languages  computational complexity  logic symbolic and mathematical Elements of the theory of computation [texte imprimé] / Harry Lewis, Auteur ; Christos Papadimitriou, Auteur  . -  2ème éd.  . - [S.l.] : Prentice Hall, 1998 . - 361p. : ill. Langues : Anglais (eng) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Machine theory  Formal languages  computational complexity  logic symbolic and mathematical

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
511.3 LHE	Mathématiques	Biblio-ENSAO	0000000433601	Disponible	82
511.3 LHE	Mathématiques	Biblio-ENSAO	0000000433501	Disponible	81

Les épreuves de logique et de mathématiques aux concours des écoles de commerce / Franck Attelan

Public ISBD Titre : Les épreuves de logique et de mathématiques aux concours des écoles de commerce : Accès-IPAG-Pass-Passerelle-Profils-Sésame-Tage II-Tage Mage-Tame-Team-Tests Essec-Tremplin Type de document : texte imprimé Auteurs : Franck Attelan, Auteur Editeur : [Paris] : Ellipses ISBN/ISSN/EAN : 978-2-7298-2760-1 Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Les épreuves de logique et de mathématiques aux concours des écoles de commerce : Accès-IPAG-Pass-Passerelle-Profils-Sésame-Tage II-Tage Mage-Tame-Team-Tests Essec-Tremplin [texte imprimé] / Franck Attelan, Auteur . - [Paris] : Ellipses, [s.d.]. ISBN : 978-2-7298-2760-1 Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Index. décimale : 511.3 Logique symbolique (mathématique)

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
511.3 ATT	Mathématiques	Biblio-FSO	000001823505	Disponible	S35327

Induction symbolique et numérique à partir de données / Yves Kodratoff

Public ISBD Titre : Induction symbolique et numérique à partir de données Type de document : texte imprimé Auteurs : Yves Kodratoff, Auteur ; Edwin Diday, Auteur Mention d'édition : Editeur : Toulouse [France] : Cépaduès Année de publication : 1991 Collection : Intelligence artificielle Importance : 459 p. Présentation : ill. ISBN/ISSN/EAN : 978-2-85428-282-5 Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Analyse des données  Apprentissage automatique Induction symbolique et numérique à partir de données [texte imprimé] / Yves Kodratoff, Auteur ; Edwin Diday, Auteur  . -   . - Toulouse (France) : Cépaduès, 1991 . - 459 p. : ill.. - (Intelligence artificielle) . ISBN : 978-2-85428-282-5 Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Analyse des données  Apprentissage automatique

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
511.3 KYI	Mathématiques	Biblio-ENSAO	0000000268201	Disponible	2107
511.3 KYI	Mathématiques	Biblio-ENSAO	0000000267701	Disponible	2106
511.3 KYI	Mathématiques	Biblio-ENSAO	0000000267801	Disponible	2105
511.3 KYI	Mathématiques	Biblio-ENSAO	0000000267901	Disponible	2104
511.3 KYI	Mathématiques	Biblio-ENSAO	0000000268001	Disponible	2109
511.3 KYI	Mathématiques	Biblio-ENSAO	0000000268101	Disponible	2108

Introduction to the theory of computation / Michael Sipser

Public ISBD Titre : Introduction to the theory of computation Type de document : texte imprimé Auteurs : Michael Sipser, Auteur Mention d'édition : Editeur : Boston : PWS publishing company Année de publication : 1997 Importance : 396 p. Présentation : ill. Langues : Anglais (eng) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Machine theory  computational complexity Introduction to the theory of computation [texte imprimé] / Michael Sipser, Auteur  . -   . - Boston : PWS publishing company, 1997 . - 396 p. : ill. Langues : Anglais (eng) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques:Logique mathématique Mots-clés : Machine theory  computational complexity

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
511.3 SMI	Mathématiques	Biblio-ENSAO	0000000433701	Disponible	75
511.3 SMI	Mathématiques	Biblio-ENSAO	0000000433801	Disponible	76

La logique floue et ses applications / Bernadette Bouchon-Meunier

Permalink

Les raisonnements mathématiques / Dany-Jack Mercier

Permalink

Théorie des automates / Patrice Séébold

Permalink

Théorie des langages et des automates / Jean-Michel Autebert

Permalink

Éléments de mathématique, 1. Théorie des ensembles / Nicolas Bourbaki

Permalink

Manuel d'informatique. Logique et automates / Patrick Bellot

Permalink