Advances in linear logic / Jean-Yves Girard

Public ISBD Titre : Advances in linear logic Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-55961-4 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Index. décimale : 511 Principes généraux des mathématiques Advances in linear logic [texte imprimé] / Jean-Yves Girard, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-55961-4 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Index. décimale : 511 Principes généraux des mathématiques

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521559614MIT001	511/075	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521559614MIT002	511/075	Livre	Maths&Informatique	Fonds mathématiques	Disponible

An introduction to support vector machines / Nello Cristianini

Public ISBD Titre : An introduction to support vector machines : and other kernel-based learning methods Type de document : texte imprimé Auteurs : Nello Cristianini (1968-..), Auteur ; John Shawe-Taylor, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press Année de publication : 2000 ISBN/ISSN/EAN : 978-0-521-78019-3 Langues : Anglais (eng) Catégories : Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle Mots-clés : Algorithms  Kernel functions  Machine learning  Intelligence artificielle  Apprentissage automatique  Acquisition des connaissances (systèmes experts)  Modèles stochastiques d'apprentissage  Traitement vectoriel  Noyaux (analyse fonctionnelle)  Algorithmes Index. décimale : 006.3 Intelligence artificielle An introduction to support vector machines : and other kernel-based learning methods [texte imprimé] / Nello Cristianini (1968-..), Auteur ; John Shawe-Taylor, Auteur . - Cambridge (U.K.) : Cambridge University Press, 2000. ISBN : 978-0-521-78019-3 Langues : Anglais (eng) Catégories : Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle Mots-clés : Algorithms  Kernel functions  Machine learning  Intelligence artificielle  Apprentissage automatique  Acquisition des connaissances (systèmes experts)  Modèles stochastiques d'apprentissage  Traitement vectoriel  Noyaux (analyse fonctionnelle)  Algorithmes Index. décimale : 006.3 Intelligence artificielle

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521780193MIT001	006.3/029	Livre	Maths&Informatique	Fonds informatique	Disponible
9780521780193MIT002	006.3/029	Livre	Maths&Informatique	Fonds informatique	Disponible

Extensions of first order logic / Maria Manzano

Public ISBD Titre : Extensions of first order logic Type de document : texte imprimé Auteurs : Maria Manzano, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-35435-6 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Algèbre Index. décimale : 511 Principes généraux des mathématiques Extensions of first order logic [texte imprimé] / Maria Manzano, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-35435-6 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Algèbre Index. décimale : 511 Principes généraux des mathématiques

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521354356MIT001	511/074	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521354356MIT002	511/074	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Normal Forms and Bifurcation of Planar Vector fields / Shui-Nee Chow

Public ISBD Titre : Normal Forms and Bifurcation of Planar Vector fields Type de document : texte imprimé Auteurs : Shui-Nee Chow, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-37226-8 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Analyse mathématique Mathématiques:Analyse mathématique:Calcul différentiel Index. décimale : 515.35 Equations différentielles Normal Forms and Bifurcation of Planar Vector fields [texte imprimé] / Shui-Nee Chow, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-37226-8 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Analyse mathématique Mathématiques:Analyse mathématique:Calcul différentiel Index. décimale : 515.35 Equations différentielles

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521372268MIT001	515.35/017	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Riemannien Geometry / Isaac Chavel

Public ISBD Titre : Riemannien Geometry : A modern introduction Type de document : texte imprimé Auteurs : Isaac Chavel (1939-..), Auteur Mention d'édition : 2 nd Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-61954-7 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Géométrie Index. décimale : 516 Géométrie Riemannien Geometry : A modern introduction [texte imprimé] / Isaac Chavel (1939-..), Auteur  . -  2 nd . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-61954-7 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Géométrie Index. décimale : 516 Géométrie

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521619547MIT001	516/003	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521619547MIT002	516/003	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Stability, instability and chaos / Paul Glendinning

Permalink

---

1 (1 - 6 / 6)