A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'éditeur
Éditeur Cambridge university pres
localisé Ã
Collections rattachées
Documents disponibles chez cet éditeur
Affiner la rechercheUnderstanding Z [Texte imprimé] / Spivey, J. Mike
Titre : Understanding Z [Texte imprimé] : a specification language and its formal semantics Type de document : texte imprimé Auteurs : Spivey, J. Mike, Auteur Editeur : Cambridge university pres Année de publication : 2008 Collection : Cambridge tracts in theoretical computer science Importance : 131 p Présentation : ill Format : 25/17.5 cm ISBN/ISSN/EAN : 978-0-521-05414-0 Note générale : Fundamental properties of invariant subspaces and applications ; Invariant subspaces : definition, examples, and first properties ; Jordan form and invariant subspaces ; Coinvariant and semiinvariant subspaces ; Jordan form for extensions and completions ; Applications to matrix polynomials ; Invariant subspaces for transformations between different spaces ; Rational matrix functions ; Linear systems ; Algebraic properties of invariant subspaces ; Commuting matrices and hyperinvariant subspaces ; Description of invariant subspaces and linear transformations with the same invariant subspaces ; Algebras of matrices and invariant subspaces ; Real linear transformations ; Topological properties of invariant subspaces and stability ; The metric space of subspaces ; The metric space of invariant subspaces ; Continuity and stability of invariant subspaces ; Perturbations of lattices of invariant subspaces with restrictions on the Jordan structure ; Applications ; Analytic properties of invariant subspaces ; Analytic families of subspaces ; Jordan form of analytic matrix functions ; Applications ; Equivalence of matrix polynomials..
Bibliogr. p. 119-122Langues : Anglais (eng) Mots-clés : Z (méthode formelle)
Langages de programmation : SémantiqueUnderstanding Z [Texte imprimé] : a specification language and its formal semantics [texte imprimé] / Spivey, J. Mike, Auteur . - [S.l.] : Cambridge university pres, 2008 . - 131 p : ill ; 25/17.5 cm. - (Cambridge tracts in theoretical computer science) .
ISBN : 978-0-521-05414-0
Fundamental properties of invariant subspaces and applications ; Invariant subspaces : definition, examples, and first properties ; Jordan form and invariant subspaces ; Coinvariant and semiinvariant subspaces ; Jordan form for extensions and completions ; Applications to matrix polynomials ; Invariant subspaces for transformations between different spaces ; Rational matrix functions ; Linear systems ; Algebraic properties of invariant subspaces ; Commuting matrices and hyperinvariant subspaces ; Description of invariant subspaces and linear transformations with the same invariant subspaces ; Algebras of matrices and invariant subspaces ; Real linear transformations ; Topological properties of invariant subspaces and stability ; The metric space of subspaces ; The metric space of invariant subspaces ; Continuity and stability of invariant subspaces ; Perturbations of lattices of invariant subspaces with restrictions on the Jordan structure ; Applications ; Analytic properties of invariant subspaces ; Analytic families of subspaces ; Jordan form of analytic matrix functions ; Applications ; Equivalence of matrix polynomials..
Bibliogr. p. 119-122
Langues : Anglais (eng)
Mots-clés : Z (méthode formelle)
Langages de programmation : SémantiqueRéservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité FL 3676 24-12-073 Ouvrage Bibliothèque de la Faculté des Langues Étrangères Langue Anglaise Exclu du prêt FL 5277 24-12-073 Ouvrage Bibliothèque de la Faculté des Langues Étrangères Langue Anglaise Disponible FL 3675 24-12-073 Ouvrage Bibliothèque de la Faculté des Langues Étrangères Langue Anglaise Disponible
Titre : Research Perspectives on English for Academic Purposes Type de document : texte imprimé Auteurs : Flowerdew, John, Auteur ; Peacock, Matthew, Auteur Editeur : Cambridge university pres Année de publication : 2001 Importance : 467 P Présentation : ill Format : 23/15 cm ISBN/ISSN/EAN : 978-0-521-80518-6 Prix : 29.78 eur Langues : Anglais (eng) Research Perspectives on English for Academic Purposes [texte imprimé] / Flowerdew, John, Auteur ; Peacock, Matthew, Auteur . - [S.l.] : Cambridge university pres, 2001 . - 467 P : ill ; 23/15 cm.
ISBN : 978-0-521-80518-6 : 29.78 eur
Langues : Anglais (eng)Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC 41249/03 24-14-028 Ouvrage Bibliothèque de la Faculté des Langues Étrangères Langue Anglaise Exclu du prêt BC 41249/02 24-14-028 Ouvrage Bibliothèque de la Faculté des Langues Étrangères Langue Anglaise Disponible
