An introduction to manifolds / Loring W. Tu

Public ISBD Titre : An introduction to manifolds Type de document : texte imprimé Auteurs : Loring W. Tu, Auteur Mention d'édition : 2nd éd. Editeur : London : Springer Année de publication : 2011 Collection : Universitext Importance : xviii - 410 p. Format : 24 cm ISBN/ISSN/EAN : 978-1-4419-7399-3 Langues : Anglais Catégories : 58-XX Global analysis, analysis on manifolds :58-01 Instructional exposition (textbooks, tutorial papers, etc.) 58-XX Global analysis, analysis on manifolds :58CXX Calculus on manifolds; nonlinear operators :58C25 Differentiable maps 58-XX Global analysis, analysis on manifolds :58CXX Calculus on manifolds; nonlinear operators :58C35 Integration on manifolds; measures on manifolds Mots-clés : Euclidean spaces  tangent vector  differential forms  manifolds tangent space  submanifolds  tangent bundle  vector fields  Lie group  integration on a manifold  de Rham cohomology Index. décimale : 58C Monographie An introduction to manifolds [texte imprimé] / Loring W. Tu, Auteur  . -  2nd éd. . - London : Springer, 2011 . - xviii - 410 p. ; 24 cm. - (Universitext) . ISBN : 978-1-4419-7399-3 Langues : Anglais Catégories : 58-XX Global analysis, analysis on manifolds :58-01 Instructional exposition (textbooks, tutorial papers, etc.) 58-XX Global analysis, analysis on manifolds :58CXX Calculus on manifolds; nonlinear operators :58C25 Differentiable maps 58-XX Global analysis, analysis on manifolds :58CXX Calculus on manifolds; nonlinear operators :58C35 Integration on manifolds; measures on manifolds Mots-clés : Euclidean spaces  tangent vector  differential forms  manifolds tangent space  submanifolds  tangent bundle  vector fields  Lie group  integration on a manifold  de Rham cohomology Index. décimale : 58C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21208	ERC/58C224	imprimé / autre	CRDM	ERC	Disponible

Understanding concurrent systems / A.W. Roscoe

Public ISBD Titre : Understanding concurrent systems Type de document : texte imprimé Auteurs : A.W. Roscoe, Auteur Editeur : London : Springer Année de publication : 2010 Collection : Texts in Computer Science, ISSN 1868-0941 Importance : xviii - 527 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-84882-257-3 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : software  programming techniques  concurrent programming  communicating sequential processes  FDR  models of concurrent systems Index. décimale : 68C Monographie Understanding concurrent systems [texte imprimé] / A.W. Roscoe, Auteur . - London : Springer, 2010 . - xviii - 527 p. ; 25 cm. - (Texts in Computer Science, ISSN 1868-0941) . ISBN : 978-1-84882-257-3 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) 68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Mots-clés : software  programming techniques  concurrent programming  communicating sequential processes  FDR  models of concurrent systems Index. décimale : 68C Monographie

Exemplaires

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

Proofs and algorithms / Gilles Dowek

Public ISBD Titre : Proofs and algorithms : an introduction to logic and computability Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : London : Springer Année de publication : 2011 Collection : Undergraduate Topics in Computer Science Importance : xii - 155 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-85729-120-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 68C Monographie Proofs and algorithms : an introduction to logic and computability [texte imprimé] / Gilles Dowek, Auteur . - London : Springer, 2011 . - xii - 155 p. ; 24 cm. - (Undergraduate Topics in Computer Science) . ISBN : 978-0-85729-120-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21238	LINA/68C413	Ouvrage	CRDM	68/INFORMATIQUE	Disponible

Topological methods in the study of boundary value problems / Pablo Amster

Public ISBD Titre : Topological methods in the study of boundary value problems Type de document : texte imprimé Auteurs : Pablo Amster, Auteur Editeur : London : Springer Année de publication : 2014 Collection : Universitext Importance : xvi - 226 p. Format : 24 cm ISBN/ISSN/EAN : 978-1-4614-8892-7 Langues : Anglais Catégories : 34-XX Ordinary differential equations:34-01 Instructional exposition (textbooks, tutorial papers, etc.) 34-XX Ordinary differential equations:34BXX Boundary value problems :34B15 Nonlinear boundary value problems 54-XX General topology :54HXX Connections with other structures, applications:54H25 Fixed-point and coincidence theorems Mots-clés : ordinary differential equations Index. décimale : 34C Monographie Topological methods in the study of boundary value problems [texte imprimé] / Pablo Amster, Auteur . - London : Springer, 2014 . - xvi - 226 p. ; 24 cm. - (Universitext) . ISBN : 978-1-4614-8892-7 Langues : Anglais Catégories : 34-XX Ordinary differential equations:34-01 Instructional exposition (textbooks, tutorial papers, etc.) 34-XX Ordinary differential equations:34BXX Boundary value problems :34B15 Nonlinear boundary value problems 54-XX General topology :54HXX Connections with other structures, applications:54H25 Fixed-point and coincidence theorems Mots-clés : ordinary differential equations Index. décimale : 34C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21452	34C199	imprimé / autre	CRDM	34/EQUATIONS DIFFERENTIELLES ORDINAIRES	Disponible

Algebraic geometry over the complex numbers / Donu Arapura

Public ISBD Titre : Algebraic geometry over the complex numbers Type de document : texte imprimé Auteurs : Donu Arapura, Auteur Editeur : London : Springer Année de publication : 2012 Collection : Universitext Importance : xii - 329 p. Format : 24 cm ISBN/ISSN/EAN : 978-1-4614-1808-5 Langues : Anglais Catégories : 14-XX Algebraic geometry:14-01 Instructional exposition (textbooks, tutorial papers, etc.) 14-XX Algebraic geometry:14CXX Cycles and subschemes:14C30 Transcendental methods, Hodge theory , Hodge conjecture 14-XX Algebraic geometry:14FXX (Co)homology theory :14F05 Vector bundles, sheaves, related constructions Mots-clés : transcendental algebraic geometry  complex manifolds  Hodge theory  coherent sheaves  scheaf cohomology  algebraic schemes  Weil conjectures Algebraic geometry over the complex numbers [texte imprimé] / Donu Arapura, Auteur . - London : Springer, 2012 . - xii - 329 p. ; 24 cm. - (Universitext) . ISBN : 978-1-4614-1808-5 Langues : Anglais Catégories : 14-XX Algebraic geometry:14-01 Instructional exposition (textbooks, tutorial papers, etc.) 14-XX Algebraic geometry:14CXX Cycles and subschemes:14C30 Transcendental methods, Hodge theory , Hodge conjecture 14-XX Algebraic geometry:14FXX (Co)homology theory :14F05 Vector bundles, sheaves, related constructions Mots-clés : transcendental algebraic geometry  complex manifolds  Hodge theory  coherent sheaves  scheaf cohomology  algebraic schemes  Weil conjectures

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
30094	LAREMA/ARA	imprimé / autre	Fédération FR 2962 - Angers	Angers Ouvrages	Disponible

Fluctuations of Lévy processes with applications / Andreas E. Kyprianou

Permalink

Algebraic geometry and commutative algebra / Siegfried Bosch

Permalink

A course on rough paths / Peter K. Friz

Permalink

Mod two homology and cohomology / Jean-Claude Hausmann

Permalink

Mod Two Homology and Cohomology / Jean-Claude Hausmann

Permalink

---

page /8