A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
Éditeur Springer
localisé à London
Collections rattachées
- Algebra and applications
- Springer series in statistics
- Springer undergraduate mathematics series
- Texts in Computer Science
- Undergraduate Topics in Computer Science
- Universitext
Documents disponibles chez cet éditeur


An introduction to manifolds / Loring W. Tu
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21208 ERC/58C224 imprimé / autre CRDM ERC Disponible Understanding concurrent systems / A.W. Roscoe
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
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
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 theoremsMots-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 theoremsMots-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
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 constructionsMots-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 constructionsMots-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
PermalinkAlgebraic geometry and commutative algebra / Siegfried Bosch
PermalinkA course on rough paths / Peter K. Friz
PermalinkMod two homology and cohomology / Jean-Claude Hausmann
PermalinkMod Two Homology and Cohomology / Jean-Claude Hausmann
Permalink