springer springer vieweg jun 2002 (7 résultats)

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -About 60 years ago, R. Brauer introduced 'block theory'; his purpose was to study the group algebra kG of a finite group G over a field k of nonzero characteristic p: any indecomposable two-sided ideal that also is a direct summand of kG determines a G-block.But the main discovery of Brauer is perhaps the existence of families of infinitely many nonisomorphic groups having a 'common block'; i.e., blocks having mutually isomorphic 'source algebras'.In this book, based on a course given by the author at Wuhan University in 1999, all the concepts mentioned are introduced, and all the proofs are developed completely. Its main purpose is the proof of the existence and the uniqueness of the 'hyperfocal subalgebra' in the source algebra. This result seems fundamental in block theory; for instance, the structure of the source algebra of a nilpotent block, an important fact in block theory, can be obtained as a corollary.The exceptional layout of this bilingual edition featuring 2 columns per page (one English, one Chinese) sharing the displayed mathematical formulas is the joint achievement of the author and A. Arabia.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.- Some Results in Dynamic Model Theory.- Mathematics in Computer Science Curricula.- Contributed Papers.- Logical Relations and Galois Connections.- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.- Fine Control of Demand in Haskell.- Reasoning about Timeouts.- Eternity Variables to Simulate Specifications.- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.- Type-Indexed Data Types.- Verification of Java's AbstractCollection Class: A Case Study.- Solving Regular Path Queries.- Inverting Functions as Folds.- From Kleene Algebra to Refinement Algebra.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 280 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -A Blended Fictitious/Real Domain Decomposition Method for Partially Axisymmetric Exterior Helmholtz Problems with Dirichlet Boundary.- Dual-Primal FETI Methods with Face Constraints.- A FETI - DP Method for a Mortar Discretization of Elliptic Problems.- Balancing Neumann-Neumann Methods for Mixed Approximations of Linear Elasticity.- Partition of Unity Coarse Spaces and Schwarz Methods with Harmonic Overlap.- Convergence of Some Two-Level Overlapping Domain Decomposition Preconditioners with Smoothed Aggregation Coarse Spaces.- Wavelet/FEM Coupling by the Mortar Method.- Non-Conforming hp Finite Element Methods for Stokes Problems.- A Defect Correction Method for Multi-Scale Problems in Computational Aeroacoustics.- Domain Decomposition Methods for Time-Harmonic Maxwell Equations: Numerical Results.- Iterated Frequency Filtering Preconditioners.- A 'Parareal' Time Discretization for Non-Linear PDE's with Application to the Pricing of an American Put.- The Influence of Quadrature Formulas in 2D and 3D Mortar Element Methods.- Portable Efficient Solvers for Adaptive Finite Element Simulations of Elastostatics in Two and Three Dimensions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The book contains many techniques that are helpful in obtaining regularity results for solutions of nonlinear systems of partial differential equations. They are then applied in various cases to provide useful examples and relevant results, particularly in fields such as fluid mechanics, solid mechanics, semiconductor theory, and game theory.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 456 pp. Englisch.

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This double volume provides a systematic account of the anatomy, physiology, neurochemistry, molecular biology and behavioural pharmacology of dopamine in the CNS. HEP 154/II deals with functional and behavioural aspects as the electrophysiology of dopamine neurons and of dopamine actions, the interaction w. other transmitters and its role in behaviour and in the action of centrally acting drugs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 540 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Grundlagen und Praxisanleitung für die Behandlung von Kindern und Erwachsenen in Gruppen- und Einzeltherapien. Nach Anamnese und Diagnostik werden die praktisch bewährten Elemente einer effizienten Myofunktionellen Therapie vorgestellt und mit Hinweisen zur individuellen Anwendung verknüpft. Therapiegrundlagen sind Körperwahrnehmung, Haltung und Gesamtspannung des Patienten sowie Übungen im Mundbereich. Motivation und aktive Mitarbeit des Patienten stehen bei dem ganzheitlichen Konzept im Vordergrund.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 200 pp. Deutsch.