3 résultat(s) recherche sur le mot-clé 'complexity of algorithms'

Algorithms in real algebraic geometry / Basu, Saugata

Public ISBD Titre : Algorithms in real algebraic geometry Type de document : texte imprimé Auteurs : Basu, Saugata ; Roy, Marie-Françoise ; Richard Pollack Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2006 Collection : Algorithms and Computation in Mathematics num. 10 Importance : ix - 662 p. ISBN/ISSN/EAN : 978-3-540-33098-1 Note générale : commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 14-XX Algebraic geometry:14PXX Real algebraic and real analytic geometry:14P10 Semialgebraic sets and related spaces 52-XX Convex and discrete geometry:52CXX Discrete geometry:52C45 Combinatorial complexity of geometric structures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity Mots-clés : algorithmic real algebraic geometry  complexity of algorithms  quantifier elimination  real semi-algebraic sets  real closed fields Index. décimale : 14C Monographie Algorithms in real algebraic geometry [texte imprimé] / Basu, Saugata ; Roy, Marie-Françoise ; Richard Pollack  . -  2nd ed. . - [S.l.] : Springer-Verlag, 2006 . - ix - 662 p.. - (Algorithms and Computation in Mathematics; 10) . ISBN : 978-3-540-33098-1 commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 14-XX Algebraic geometry:14PXX Real algebraic and real analytic geometry:14P10 Semialgebraic sets and related spaces 52-XX Convex and discrete geometry:52CXX Discrete geometry:52C45 Combinatorial complexity of geometric structures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity Mots-clés : algorithmic real algebraic geometry  complexity of algorithms  quantifier elimination  real semi-algebraic sets  real closed fields Index. décimale : 14C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17780	14C263	imprimé / autre	CRDM	14/GEOMETRIE ALGEBRIQUE	Disponible

Complements of Discriminants of Smooth maps: Topology and Applications / V. A. Vassiliev

Public ISBD Titre : Complements of Discriminants of Smooth maps: Topology and Applications Type de document : texte imprimé Auteurs : V. A. Vassiliev Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1994 Collection : Translations of Mathematical Monographs num. 98 Importance : ix - 265 p. ISBN/ISSN/EAN : 978-0-8218-4618-6 Langues : Anglais Langues originales : Russe Mots-clés : invariants of ornaments  cohopmology of the space of knopts  complexity of algorithms  cohomology of braid groups Index. décimale : 55C Monographie Complements of Discriminants of Smooth maps: Topology and Applications [texte imprimé] / V. A. Vassiliev . - Providence, R.I. : American Mathematical Society, 1994 . - ix - 265 p.. - (Translations of Mathematical Monographs; 98) . ISBN : 978-0-8218-4618-6 Langues : Anglais Langues originales : Russe Mots-clés : invariants of ornaments  cohopmology of the space of knopts  complexity of algorithms  cohomology of braid groups Index. décimale : 55C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12329	55C69	imprimé / autre	CRDM	55/TOPOLOGIE ALGEBRIQUE	Disponible

Structures de données et méthodes formelles / Marc Guyomard

Public ISBD Titre : Structures de données et méthodes formelles Type de document : texte imprimé Auteurs : Marc Guyomard, Auteur Editeur : Paris : Springer Année de publication : 2011 Collection : Collection Télécom Importance : xvi - 438 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0199-5 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68-XX Computer science :68PXX Theory of data:68P05 Data structures Mots-clés : sets theory  lists  queues  heaps  trees  complexity of algorithms Index. décimale : 68C Monographie Structures de données et méthodes formelles [texte imprimé] / Marc Guyomard, Auteur . - Paris : Springer, 2011 . - xvi - 438 p. ; 24 cm. - (Collection Télécom) . ISBN : 978-2-8178-0199-5 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68-XX Computer science :68PXX Theory of data:68P05 Data structures Mots-clés : sets theory  lists  queues  heaps  trees  complexity of algorithms Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21222	LINA/68C405	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible