springer berlin heidelberg jun 1979 (35 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Recovering a space from its banach sheaves.- Completeness is productive.- Legitimacy of certain topological completions.- On E-normal spaces.- Two procedures in bitopology.- Saks spaces and vector valued measures.- A question in categorical shape theory: When is a shape-invariant functor a kan extension .- The finest functor preserving the baire sets.- Lifting closed and monoidal structures along semitopological functors.- On non-simplicity of topological categories.- Kan Lift-extensions in C.G. Haus.- Topological functors from factorization.- Groupoids and classification sequences.- Concentrated nearness spaces.- Initial and final completions.- Algebra topology.- Topological spaces admitting a 'Dual'.- Special classes of compact spaces.- Pairs of topologies with same family of continuous self-maps.- Hereditarily locally compact separable spaces.- Injectives in topoi, I: Representing coalgebras as algebras.- Injectives in Topoi, II: Connections with the axiom of choice.- Categories of statistic-metric spaces.- A categorical approach to primary and secondary operations in topology.- Limit-metrizability of limit spaces and uniform limit spaces.- Banach spaces over a compact space.- A note on (E,M)-functors.- Convenient topological algebra and reflexive objects.- Existence and applications of monoidally closed structures in topological categories.- Connection properties in topological categories and related topics.- On projective and injective objects in some topological categories.- An embedding characterization of compact spaces.- Connection and disconnection.- Connections between convergence and nearness.- Functors on categories of ordered topological spaces.- On the coproduct of the topological groups and 2.- Lifting semifinal liftings.- Normally supercompact spaces and convexity preserving maps.- Structure Functors.- Function spaces in topological categories. 436 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of 'natural language programming'.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development ¿ The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always .- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation ¿ The formal approach.- Program development by stepwise transformations ¿ The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools ¿ Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Preparatory remarks.- Formal constructions.- Simple Lie superalgebras.- A survey of some further developments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Quelques Notations Et Definitions.- Resume De La Theorie Generale Des Processus.- Martingales, Semimartingales Et Integrales Stochastiques.- Mesures Aleatoires Et Integrales Stochastiques.- Sous-Espaces Stables De Martingales.- Complements Sur Les Semimartingales.- Formules Exponentielles Et Decompositions Multiplicatives.- Changements De Probabilite.- Conditions Pour L'Absolue Continuite.- Changements De Filtration.- Changements De Temps Et Changements D'Espace.- Solutions Extremales d'Un Premier Probleme De Martingales.- Un Second Probleme De Martingales.- Problemes De Martingales: Quelques Exemples.- Equations Differentielles Stochastiques Et Problemes De Martingales.- Representation Integrale Des Solutions De Problemes De Martingales.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Französisch.

Taschenbuch. Zustand: Neu. Neuware -Das vorliegende Buch wendet sich an jeden, den es interes siert, wie Menschen denken und Problem e lösen. Es stelIt die wichtigsten Ansätze, Methoden und Forschungsergebnisse der erst 75 lahre alten Psychologie des Denkens dar und will eine systematische Übersicht über unser heutiges Grundwissen vom menschlichen Denken bieten, anstatt sich auf einen ein zigen Gesichtspunkt zu konzentrieren. Moderne Theorien fin den sich hier ebenso wie grundlegende Erkenntnisse über de duktives Denken, Konzeptlernen, Stadien des Problemlösens, Aufgabenlösen und andere Aspekte. Diese Einflihrung in die Psychologie des Denkens setzt keine Vorkenntnisse voraus. Sie eignet sich fiir Kurse in kog nitiver Psychologie, Lernen und Gedächtnis und soll ver wendbar sein in Bereichen, in denen Problemlösen wichtig ist, etwa Unterricht, Wirtschaft, Mathematik. SchlieBlich richtet sie sich auch an den Leser, den ganz allgemein interessiert, was Psychologen über das Denken wissen. Viele Kollegen und Studenten von mir haben das Fehlen eines Lehrbuchs über die 'höheren' Aspekte des Denkens und Lernens beklagt. Vorhandene Werke neigten entweder dazu, Forschungsergebnisse zu einem bestimmten Problem zusammenzufassen - etwa der Klassiker von Bruner, Good now und Austin, A Study of Thinking (1956) - oder eine Rei he von Aufgaben um eine einzige spezifische Theorie zu grup pieren - etwa Newell und Simons eindrucksvolles Buch Hu man Problem Solving (1972). Oft fehlte Büchern fiir Lehrer und andere, die problemlösendes Denken vermitteln wollen, jeder Bezug zur psychologischen Literatur - etwa Polyas schmalem Klassiker How to Solve It (1957).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -In der Bundesrepublik werden jahrlich mehr als 9000 Brandverletzte statio nar behandelt, annahernd 1000 von ihnen sterben. Patienten mit thermischen Schaden sind hohen Infektionsrisiken ausgesetzt, die zu Heilungsst6rungen, Verlusten lebenswichtiger Hauttransplantate oder einer invasiven Infektion mit tOdlichem Ausgang fiihren k6nnen. 1m Bochumer Zentrum fUr Verbrennungskranke sind seit 1964 mehrere tausend Patienten behandelt worden. Durch systematische bakteriologische Untersuchungen wurde hier nach Ursachen der Infektionen, Erregerarten, Resistenz und septischen TodesHillen gesucht. In gleichem MaBe wurden neue Methoden lokaler Chemotherapie der Brandwunden erprobt und Indikationen fur eine systemische Anwendung der Antibiotica erarbeitet. Die vorliegende Monographie gibt unsere zusammengefaBten Erfahrungen wieder, die wir in mehr als einem Jahrzehnt standiger Auseinandersetzung mit den Infektionen Brandverletzter gesammelt haben. F. E. Muller Fa a I Ii iiterder ve rannten Haut Feinst-mikronisiert, lokal wirksam in sanfter, hochgeschmeidiger Sterilcreme. Minimale Wirkstoffmenge gibt maximalen Infektschutz gegen Problemkeime (Pseudomonas, Proteus, Klebsiellen) Nicht sensibilisierend, rasch reepithelisierend, pflege-und patientengerecht weil schmerzfrei in Auftrag, kiihlend und lindernd, weder krustend noch kJebend. Zu mmensetzung Wlfg n.::;h' oder nur genogluglg beetnllu81 Oamnttung$IOffnen und Pac''vngKroton I g Crcmc:I .',hill Von den 'ach oraler 8ehandturlg ml' OrIQ,nalPKkung ITfIt 50 ill 0. 18 1!.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 76 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Polynomial ideals in group rings.- Dimension subgroups.- Group rings of nilpotent groups.- Dimension subgroups over fields.- Polynomial maps on groups and dimension subgroups.- The residual nilpotence of the augmentation ideal.- The nilpotent residue of an augmentation ideal.- The associated graded ring of a group ring. 148 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Preliminaries.- Generalities.- Subspaces.- Quotient spaces.- Complemented subspaces.- Approximation properties. 196 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The temporal semantics of concurrent programs.- Modal logic of concurrent nondeterministic programs.- Non-deterministic system specification.- On properties preserved by contractions of concurrent systems.- Static analysis of concurrent processes for dynamic properties using Petri Nets.- Notion de Dualite et de Symetrie dans les Reseaux de Petri.- A characterization of concurrency-like relations.- The analysis of distributed systems by means of predicate/transition-nets.- On describing the behavior and implementation of distributed systems.- On the absence of livelocks in parallel programs.- Denotational semantics of parallelism.- An approach to fair applicative multiprogramming.- Modeling a solution for a control problem in distributed systems by restrictions.- Adequate path expressions.- Petri nets, event structures and domains.- An extensional treatment of dataflow deadlock.- On achieving distributed termination.- Specifying and proving properties of guardians for distributed systems.- Principles for distributing programs.- A Petri net definition of a system description language. 380 pp. Englisch, Französisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A criterion for detecting unnecessary reductions in the construction of Gr¿bner-bases.- Unification of commutative terms.- Canonicality in rule systems.- The application of symbolic algebra to physics ¿ A case of creeping flow.- Progress towards a solution of the equivalence problem in general relativity.- Symbol calculus by symbolic computation and semi-classical expansions.- An algorithm for the analytic evaluation of a class of integrals.- Fast computation of the rational hermite interpolant and solving toeplitz systems of equations via the extended Euclidean algorithm.- Approximate algorithms to derive exact solutions to systems of linear equations.- New recursive minor expansion algorithms, a presentation in a comparative context.- Systems of algebraic equations.- On the van der waerden criterion for the group of an equation.- Some computations related to torsion points on elliptic curves over number fields.- The computerisation of algebraic geometry.- Algebraic extensions of arbitrary integral domains.- On unit computation in real quadratic fields.- An algebraic form of a solution of a system of linear differential equations with constant coefficients.- Substitution methods for the automatic symbolic solution of differential equations of first order and first degree.- A semi-numeric difference algorithm.- Convergence behaviour of the Newton iteration for first order differential equations.- Probabilistic algorithms for verification of polynomial identities.- Probabilistic algorithms for sparse polynomials.- Non-modular computation of polynomial GCDS using trial division.- Product of symmetric and anti-symmetric polynomials.- Capabilities of the mumath-79 computer algebra system for the intel-8080 microprocessor.- CAMAC 1979.- The initial design of a vector based algebra system.- Hashing ¿ the key to rapid pattern matching.- A system for automatic generation of tensor algorithms and indicial tensor calculus, including substitution of sums.- Analysis of the p-adic construction of multivariate correction coefficiencts in polynomial factorization: Iteration vs. recursion.- A cellular decomposition algorithm for semialgebraic sets.- Gamma-algebra algorithms for canonical hypercomplex representations.- Factoring univariate integral polynomials in polynomial average time.- Symbolic-numeric interface: A review.- A note on methods for solving systems of polynomial equations with floating point coefficients.- An arbitrary precision real arithmetic package in REDUCE.- Symbolic preprocessing in interval function computing.- Approximate rational arithmetic systems: Analysis of recovery of simple fractions during expression evaluation.- Symbolic integration ¿ the dust settles .- Integration of simple radical extensions.- Algorithms for the integration of algebraic functions.- An extension of liouville's theorem.- Integer matrices and Abelian groups.- An algorithm for the computation of conjugacy classes and centralizers in p-groups.- MODLISP: An introduction.- Extending interlisp for modularization and efficiency.- TLISP ¿ A ¿transportable-lisp¿ implemented in pcode.- Symbolic computing with compression of data structures: General observations, and a case study.- On the design of algebraic data structures with the approach of abstract data types.- Matching under commutativity.- -algebra algorithms for canonical hypercomplex representations. 580 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recovering a space from its banach sheaves.- Completeness is productive.- Legitimacy of certain topological completions.- On E-normal spaces.- Two procedures in bitopology.- Saks spaces and vector valued measures.- A question in categorical shape theory: When is a shape-invariant functor a kan extension .- The finest functor preserving the baire sets.- Lifting closed and monoidal structures along semitopological functors.- On non-simplicity of topological categories.- Kan Lift-extensions in C.G. Haus.- Topological functors from factorization.- Groupoids and classification sequences.- Concentrated nearness spaces.- Initial and final completions.- Algebra topology.- Topological spaces admitting a 'Dual'.- Special classes of compact spaces.- Pairs of topologies with same family of continuous self-maps.- Hereditarily locally compact separable spaces.- Injectives in topoi, I: Representing coalgebras as algebras.- Injectives in Topoi, II: Connections with the axiom of choice.- Categories of statistic-metric spaces.- A categorical approach to primary and secondary operations in topology.- Limit-metrizability of limit spaces and uniform limit spaces.- Banach spaces over a compact space.- A note on (E,M)-functors.- Convenient topological algebra and reflexive objects.- Existence and applications of monoidally closed structures in topological categories.- Connection properties in topological categories and related topics.- On projective and injective objects in some topological categories.- An embedding characterization of compact spaces.- Connection and disconnection.- Connections between convergence and nearness.- Functors on categories of ordered topological spaces.- On the coproduct of the topological groups and 2.- Lifting semifinal liftings.- Normally supercompact spaces and convexity preserving maps.- Structure Functors.- Function spaces in topological categories. 436 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of 'natural language programming'.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development ¿ The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always .- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation ¿ The formal approach.- Program development by stepwise transformations ¿ The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools ¿ Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction. 664 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Preparatory remarks.- Formal constructions.- Simple Lie superalgebras.- A survey of some further developments. 288 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -White noise models in non-linear filtering and control.- Optimal impulsive control theory.- An introduction to duality in random mechanics.- Linear stochastic it¿ equations in Hilbert space.- Martingale methods in stochastic control.- A geometric approach to linear control and estimation.- The martingale calculus and applications.- Interaction between stochastic differential equations and partial differential equations.- Approximation of solutions to differential equations with random inputs by diffusion processes.- Optimal conditions and sufficient statistics for controlled jump processes.- Stochastic filtering theory: A discussion of concepts, methods, and results.- to the theory of optimal stopping.- Weak martingales associated with a two parameter jump process.- Stochastic stagewise Stackleberg strategies for linear quadratic systems.- Some remarks concerning attainable sets of stochastic optimal control systems.- Potential theory in optimal stopping and alternatinc processes.- Adaptive control of Markov chains.- Solution of the limited risk problem without rank conditions.- The parameterization of rational transferfunction linear systems.- A stochastic model for the electrical conduction in non homogeneous layers.- Policy improvement algorithm for continuous time Markov decision processes with switching costs.- An algebro-geometric approach to estimation and stochastic control for linear pure delay time systems.- A non-linear martingale problem.- Pathwise construction of random variables and function space integrals.- Non-gaussianity and non-linearity in electroencephalographic time series.- Canonical form and local characteristics of semimartingales.- On identification and the geometry of the space of linear systems.- A numerical comparison of non-linear with linear prediction for the transformed Ornstein-Uhlenbeck process.- On the bandit problem.- Existence and uniqueness for stochastic differential equations.- On the solution and the moments of linear systems with randomly disturbed parameters.- Some exact results on stability and growth of linear parameter excited stochastic systems.- A variational inequality for a partially observed stopping time problem.- Equations du filtrage non lineaire pour des processus a deux indices.- Minimum covariance, minimax and minimum energy linear estimators.- Non linear filtering for the system with general noise.- Filtering of a diffusion process with poisson-type observation.- On weak closures of convex and solid sets of probability measures.- Non L1-bounded martingales.- On the definition and detection of structural change.- Exact filtering in exponential families: Discrete time.- Lower estimation error bounds for Gauss-Poisson processes.- Sur L'Approximation D'Un Processus De Transport Par Une Diffusion.- Resolution of measurability problems in discrete ¿ time stochastic control.- Optimal non-explosive control of a non constrained diffusion and behaviour when the discount vanishes.- Sequential estimation of the solution of an integral equation in filtering theory.- Causal and non-anticipating solutions of stochastic equations. 632 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Duality theory of semi-infinite programming.- Second order necessary optimality conditions for semi-infinite programming problems.- Necessary conditions of higher order for semi-infinite programming.- On numerical analysis in semi-infinite programming.- A central-cutting-plane algorithm for semi-infinite programming problems.- A stable multiple exchange algorithm for linear sip.- On quadratically convergent methods for semi-infinite programming.- A comparison of some numerical methods for semi-infinite programming.- An approximation method for semi-infinite problems.- On semi-infinite programming in numerical analysis.- Bounds for the error in linear systems.- One sided L1-approximation as a problem of semi-infinite linear programming. 192 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The temporal semantics of concurrent programs.- Modal logic of concurrent nondeterministic programs.- Non-deterministic system specification.- On properties preserved by contractions of concurrent systems.- Static analysis of concurrent processes for dynamic properties using Petri Nets.- Notion de Dualite et de Symetrie dans les Reseaux de Petri.- A characterization of concurrency-like relations.- The analysis of distributed systems by means of predicate/transition-nets.- On describing the behavior and implementation of distributed systems.- On the absence of livelocks in parallel programs.- Denotational semantics of parallelism.- An approach to fair applicative multiprogramming.- Modeling a solution for a control problem in distributed systems by restrictions.- Adequate path expressions.- Petri nets, event structures and domains.- An extensional treatment of dataflow deadlock.- On achieving distributed termination.- Specifying and proving properties of guardians for distributed systems.- Principles for distributing programs.- A Petri net definition of a system description language.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A criterion for detecting unnecessary reductions in the construction of Gr¿bner-bases.- Unification of commutative terms.- Canonicality in rule systems.- The application of symbolic algebra to physics ¿ A case of creeping flow.- Progress towards a solution of the equivalence problem in general relativity.- Symbol calculus by symbolic computation and semi-classical expansions.- An algorithm for the analytic evaluation of a class of integrals.- Fast computation of the rational hermite interpolant and solving toeplitz systems of equations via the extended Euclidean algorithm.- Approximate algorithms to derive exact solutions to systems of linear equations.- New recursive minor expansion algorithms, a presentation in a comparative context.- Systems of algebraic equations.- On the van der waerden criterion for the group of an equation.- Some computations related to torsion points on elliptic curves over number fields.- The computerisation of algebraic geometry.- Algebraic extensions of arbitrary integral domains.- On unit computation in real quadratic fields.- An algebraic form of a solution of a system of linear differential equations with constant coefficients.- Substitution methods for the automatic symbolic solution of differential equations of first order and first degree.- A semi-numeric difference algorithm.- Convergence behaviour of the Newton iteration for first order differential equations.- Probabilistic algorithms for verification of polynomial identities.- Probabilistic algorithms for sparse polynomials.- Non-modular computation of polynomial GCDS using trial division.- Product of symmetric and anti-symmetric polynomials.- Capabilities of the mumath-79 computer algebra system for the intel-8080 microprocessor.- CAMAC 1979.- The initial design of a vector based algebra system.- Hashing ¿ the key to rapid pattern matching.- A system for automatic generation of tensor algorithms and indicial tensor calculus, including substitution of sums.- Analysis of the p-adic construction of multivariate correction coefficiencts in polynomial factorization: Iteration vs. recursion.- A cellular decomposition algorithm for semialgebraic sets.- Gamma-algebra algorithms for canonical hypercomplex representations.- Factoring univariate integral polynomials in polynomial average time.- Symbolic-numeric interface: A review.- A note on methods for solving systems of polynomial equations with floating point coefficients.- An arbitrary precision real arithmetic package in REDUCE.- Symbolic preprocessing in interval function computing.- Approximate rational arithmetic systems: Analysis of recovery of simple fractions during expression evaluation.- Symbolic integration ¿ the dust settles .- Integration of simple radical extensions.- Algorithms for the integration of algebraic functions.- An extension of liouville's theorem.- Integer matrices and Abelian groups.- An algorithm for the computation of conjugacy classes and centralizers in p-groups.- MODLISP: An introduction.- Extending interlisp for modularization and efficiency.- TLISP ¿ A ¿transportable-lisp¿ implemented in pcode.- Symbolic computing with compression of data structures: General observations, and a case study.- On the design of algebraic data structures with the approach of abstract data types.- Matching under commutativity.- -algebra algorithms for canonical hypercomplex representations.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeNonlinear problems in classical and quantumelectrodynamics.- On the stability of solitons.- Spectral transform and nonlinear evolution equations.- Spectral transform and solvability of nonlinear evolution equations.- The spectral transform NS a tool for solving nonlinear discrete evolution equations.- Hyperbolic balance laws in continuum phyisics.- Mathematical aspects of classical nonlinear field equations.- Non-linear transport equations: Properties deduced through transformation groups.- Nonlinear kinetic equation in plasma physics leading to soliton structures. 236 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -White noise models in non-linear filtering and control.- Optimal impulsive control theory.- An introduction to duality in random mechanics.- Linear stochastic it¿ equations in Hilbert space.- Martingale methods in stochastic control.- A geometric approach to linear control and estimation.- The martingale calculus and applications.- Interaction between stochastic differential equations and partial differential equations.- Approximation of solutions to differential equations with random inputs by diffusion processes.- Optimal conditions and sufficient statistics for controlled jump processes.- Stochastic filtering theory: A discussion of concepts, methods, and results.- to the theory of optimal stopping.- Weak martingales associated with a two parameter jump process.- Stochastic stagewise Stackleberg strategies for linear quadratic systems.- Some remarks concerning attainable sets of stochastic optimal control systems.- Potential theory in optimal stopping and alternatinc processes.- Adaptive control of Markov chains.- Solution of the limited risk problem without rank conditions.- The parameterization of rational transferfunction linear systems.- A stochastic model for the electrical conduction in non homogeneous layers.- Policy improvement algorithm for continuous time Markov decision processes with switching costs.- An algebro-geometric approach to estimation and stochastic control for linear pure delay time systems.- A non-linear martingale problem.- Pathwise construction of random variables and function space integrals.- Non-gaussianity and non-linearity in electroencephalographic time series.- Canonical form and local characteristics of semimartingales.- On identification and the geometry of the space of linear systems.- A numerical comparison of non-linear with linear prediction for the transformed Ornstein-Uhlenbeck process.- On the bandit problem.- Existence and uniqueness for stochastic differential equations.- On the solution and the moments of linear systems with randomly disturbed parameters.- Some exact results on stability and growth of linear parameter excited stochastic systems.- A variational inequality for a partially observed stopping time problem.- Equations du filtrage non lineaire pour des processus a deux indices.- Minimum covariance, minimax and minimum energy linear estimators.- Non linear filtering for the system with general noise.- Filtering of a diffusion process with poisson-type observation.- On weak closures of convex and solid sets of probability measures.- Non L1-bounded martingales.- On the definition and detection of structural change.- Exact filtering in exponential families: Discrete time.- Lower estimation error bounds for Gauss-Poisson processes.- Sur L'Approximation D'Un Processus De Transport Par Une Diffusion.- Resolution of measurability problems in discrete ¿ time stochastic control.- Optimal non-explosive control of a non constrained diffusion and behaviour when the discount vanishes.- Sequential estimation of the solution of an integral equation in filtering theory.- Causal and non-anticipating solutions of stochastic equations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 632 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -InhaltsangabeNonlinear problems in classical and quantumelectrodynamics.- On the stability of solitons.- Spectral transform and nonlinear evolution equations.- Spectral transform and solvability of nonlinear evolution equations.- The spectral transform NS a tool for solving nonlinear discrete evolution equations.- Hyperbolic balance laws in continuum phyisics.- Mathematical aspects of classical nonlinear field equations.- Non-linear transport equations: Properties deduced through transformation groups.- Nonlinear kinetic equation in plasma physics leading to soliton structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Duality theory of semi-infinite programming.- Second order necessary optimality conditions for semi-infinite programming problems.- Necessary conditions of higher order for semi-infinite programming.- On numerical analysis in semi-infinite programming.- A central-cutting-plane algorithm for semi-infinite programming problems.- A stable multiple exchange algorithm for linear sip.- On quadratically convergent methods for semi-infinite programming.- A comparison of some numerical methods for semi-infinite programming.- An approximation method for semi-infinite problems.- On semi-infinite programming in numerical analysis.- Bounds for the error in linear systems.- One sided L1-approximation as a problem of semi-infinite linear programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Introductory remarks.- Aspects of the geometry of twistor space.- Massive systems and their internal symmetries.- Twistor quantization: Zero rest mass fields.- Twistor quantization: Massive fields.- The low-lying baryons.- Mesons, resonances, and bound states.- Leptons and weak interactions.- Sheaves and cohomology.- Applications of complex manifold techniques to elementary particle physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sharing in nondeterminism.- Sur les mots sans carr¿¿nis par un morphisme.- A characterization of abstract data as model-theoretic invariants.- Inherent ambiguities in families of grammars extended abstract.- Representing complexity classes by equality sets.- Supercounter machines.- Existential quantifiers in abstract data types.- A generalization of Ginsburg and Rose's characterization of G-S-M mappings.- Strict deterministic languages and controlled rewriting systems.- A string matching algorithm fast on the average.- Functional characterization of some semantic equalities inside -calculus.- Arbitration and queueing under limited shared storage requirements.- On the homomorphic characterizations of families of languages.- Two level grammars: CF-grammars with equation schemes.- Proving termination with multiset orderings.- One abstract accepting algorithm for all kinds of parsers.- Studies in abstract/concrete mappings in proving algorithm correctness.- A characterization of a dot-depth two analogue of generalized definite languages.- Partitioned LL(k) grammars.- Recursion schemes and generalized interpretations.- A rational theory of AFLs.- On the succinctness of different representations of languages.- A fixed-point theorem for recursive-enumerable languages and some considerations about fixed-point semantics of monadic programs.- Hierarchic index sequential search with optimal variable block size and its minimal expected number of comparisons.- A unique termination theorem for a theory with generalised commutative axioms.- Dags and Chomsky hierarchy.- Recent advances in the probabilistic analysis of graph-theoretic algorithms.- On the average stack size of regularly distributed binary trees.- On reductions of parallel programs.- On the height of derivation trees.- The modal logic of programs.- A comparison between two variations of a pebble game on graphs.- LL(k) parsing for attributed grammars.- On eliminating nondeterminism from Turing machines which use less than logarithm worktape space.- Structure preserving transformations on non-left-recursive grammars.- The complexity of restricted minimum spanning tree problems.- A systematic approach to formal language theory through parallel rewriting.- Extending the notion of finite index.- On the complexity of general context-free language parsing and recognition.- Space-time tradeoffs for oblivious integer multiplication.- Investigating programs in terms of partial graphs.- On the power of random access machines.- An axiomatic treatment of ALGOL 68 routines.- P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP.- Constructing call-by-value continuation semantics.- A formal semantics for concurrent systems.- On constructing LL(k) parsers.- More on advice on structuring compilers and proving them correct.- Languages of nilpotent and solvable groups (extended abstract).- Unique fixed points vs. least fixed points.- A modification of the LR(k) method for constructing compact bottom-up parsers.- Optimal decomposition of linear automata.- Bracketed two-level grammars ¿ A decidable and practical approach to language definitions. 700 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -During recent years enzyme histochemical reactions have increasingly been considered as important, the reason being that enzyme histo chemistry is now a well-established link between morphology and bio chemistry. The development of numerous new methods and in particular the improvement of existing techniques contributed to the expansion of enzyme histochemical reactions. Today, the use of these methods allows detailed insight into molecular processes of single cells and their constituents. The selection of a suitable method for enzyme histochemical investigations needs thorough knowledge and critical evaluation of the reactions de scribed for the histochemical demonstration of enzymes and introduced in laboratory practice. Often, it is difficult for scientists primarily concerned with the application of methods and for laboratory assistants to comment on the value of an enzyme histochemical reaction. Our book will serve as a guide in this respect. It contains the most important histochemical methods for the localization of enzymes, all of which were checked by the authors themselves. These methods were often modified and frequently used for numerous different investigations of healthy and diseased organs in basic research and in routine practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Quelques Notations Et Definitions.- Resume De La Theorie Generale Des Processus.- Martingales, Semimartingales Et Integrales Stochastiques.- Mesures Aleatoires Et Integrales Stochastiques.- Sous-Espaces Stables De Martingales.- Complements Sur Les Semimartingales.- Formules Exponentielles Et Decompositions Multiplicatives.- Changements De Probabilite.- Conditions Pour L'Absolue Continuite.- Changements De Filtration.- Changements De Temps Et Changements D'Espace.- Solutions Extremales d'Un Premier Probleme De Martingales.- Un Second Probleme De Martingales.- Problemes De Martingales: Quelques Exemples.- Equations Differentielles Stochastiques Et Problemes De Martingales.- Representation Integrale Des Solutions De Problemes De Martingales. 556 pp. Französisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Sharing in nondeterminism.- Sur les mots sans carr¿¿nis par un morphisme.- A characterization of abstract data as model-theoretic invariants.- Inherent ambiguities in families of grammars extended abstract.- Representing complexity classes by equality sets.- Supercounter machines.- Existential quantifiers in abstract data types.- A generalization of Ginsburg and Rose's characterization of G-S-M mappings.- Strict deterministic languages and controlled rewriting systems.- A string matching algorithm fast on the average.- Functional characterization of some semantic equalities inside -calculus.- Arbitration and queueing under limited shared storage requirements.- On the homomorphic characterizations of families of languages.- Two level grammars: CF-grammars with equation schemes.- Proving termination with multiset orderings.- One abstract accepting algorithm for all kinds of parsers.- Studies in abstract/concrete mappings in proving algorithm correctness.- A characterization of a dot-depth two analogue of generalized definite languages.- Partitioned LL(k) grammars.- Recursion schemes and generalized interpretations.- A rational theory of AFLs.- On the succinctness of different representations of languages.- A fixed-point theorem for recursive-enumerable languages and some considerations about fixed-point semantics of monadic programs.- Hierarchic index sequential search with optimal variable block size and its minimal expected number of comparisons.- A unique termination theorem for a theory with generalised commutative axioms.- Dags and Chomsky hierarchy.- Recent advances in the probabilistic analysis of graph-theoretic algorithms.- On the average stack size of regularly distributed binary trees.- On reductions of parallel programs.- On the height of derivation trees.- The modal logic of programs.- A comparison between two variations of a pebble game on graphs.- LL(k) parsing for attributed grammars.- On eliminating nondeterminism from Turing machines which use less than logarithm worktape space.- Structure preserving transformations on non-left-recursive grammars.- The complexity of restricted minimum spanning tree problems.- A systematic approach to formal language theory through parallel rewriting.- Extending the notion of finite index.- On the complexity of general context-free language parsing and recognition.- Space-time tradeoffs for oblivious integer multiplication.- Investigating programs in terms of partial graphs.- On the power of random access machines.- An axiomatic treatment of ALGOL 68 routines.- P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP.- Constructing call-by-value continuation semantics.- A formal semantics for concurrent systems.- On constructing LL(k) parsers.- More on advice on structuring compilers and proving them correct.- Languages of nilpotent and solvable groups (extended abstract).- Unique fixed points vs. least fixed points.- A modification of the LR(k) method for constructing compact bottom-up parsers.- Optimal decomposition of linear automata.- Bracketed two-level grammars ¿ A decidable and practical approach to language definitions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 700 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 216 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das vorliegende Buch wendet sich an jeden, den es interes siert, wie Menschen denken und Problem e lösen. Es stelIt die wichtigsten Ansätze, Methoden und Forschungsergebnisse der erst 75 lahre alten Psychologie des Denkens dar und will eine systematische Übersicht über unser heutiges Grundwissen vom menschlichen Denken bieten, anstatt sich auf einen ein zigen Gesichtspunkt zu konzentrieren. Moderne Theorien fin den sich hier ebenso wie grundlegende Erkenntnisse über de duktives Denken, Konzeptlernen, Stadien des Problemlösens, Aufgabenlösen und andere Aspekte. Diese Einflihrung in die Psychologie des Denkens setzt keine Vorkenntnisse voraus. Sie eignet sich fiir Kurse in kog nitiver Psychologie, Lernen und Gedächtnis und soll ver wendbar sein in Bereichen, in denen Problemlösen wichtig ist, etwa Unterricht, Wirtschaft, Mathematik. SchlieBlich richtet sie sich auch an den Leser, den ganz allgemein interessiert, was Psychologen über das Denken wissen. Viele Kollegen und Studenten von mir haben das Fehlen eines Lehrbuchs über die 'höheren' Aspekte des Denkens und Lernens beklagt. Vorhandene Werke neigten entweder dazu, Forschungsergebnisse zu einem bestimmten Problem zusammenzufassen - etwa der Klassiker von Bruner, Good now und Austin, A Study of Thinking (1956) - oder eine Rei he von Aufgaben um eine einzige spezifische Theorie zu grup pieren - etwa Newell und Simons eindrucksvolles Buch Hu man Problem Solving (1972). Oft fehlte Büchern fiir Lehrer und andere, die problemlösendes Denken vermitteln wollen, jeder Bezug zur psychologischen Literatur - etwa Polyas schmalem Klassiker How to Solve It (1957). 272 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1. 1 Inhalationsanaesthetica und ihre Nebenwirkungen . . . . . . . . . . . . . . . . . . . . 1 1. 2 Die unterschiedlich starke Myokardwirkung von Halothan und Enfluran am isolierten Papillarmuskel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. 3 Die möglichen Ursachen für divergierende in-vitro-Versuchsergebnisse . . . . . . . . 2 1. 4 Die Probleme bei der Verabreichung von Inhalationsanaesthetica bei in-vitro- Versuchen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1. 5 Fragestellungen. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Untersuchungsmethode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2. 1 Versuchsaufbau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2. 1. 1 Organbad, Nährlösung und Stimulation. . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2. 1. 2 Kraftübertragung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Messung der Muskelverkürzung und Verkürzungsgeschwindigkeit . . . . . . . . . . . 8 2. 1. 3 2. 1. 4 Messung der Spannungsentwicklung und der maximalen Spannungsanstie- geschwindigkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2. 1. 5 Registriersystem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2. 1. 6 Meßgrößen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2. 1. 7 Verabreichungsverfahren fur Inhalationsanaesthetica . . . . . . . . . . . . . . . . . . . 9 2. 1. 8 Gaschromatographische Analysen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2. 2 Versuchsablauf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2. 3 Die Verarbeitung des Datenmaterials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3 Ergebnisse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3. 1 Vergleich der Myokard-Wirkung von Halothan und Enfluran am isolierten Papillarmuskel der Katze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3. 1. 1 Die Myokardwirkung in Abhängigkeit von den Dampfkonzentrationen in mg% . . 11 3. 1. 2 Notwendigkeit und Voraussetzung für die Umwandlung der Dampfkonz- trationen von Gewichts- in Volumeneinheiten (mg% in Vol. %) . . . . . . . . . . . . 13 3. 1. 3 Die Myokardwirkung in Abhängigkeit von den Dampfkonzentrationen in Vol. % 13 3. 1. 4 Vergleich der Myokardwirkung von Halothan und Enfluran bei Berücksichtigung der unterschiedlichen narkotischen Potenz beider Dämpfe . . . . . . . . . . . . . . . 15 3. 2 Einfluß von Temperatur, Reizfrequenz und pH-Wert auf die Myokardwirkung von Enfluran . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2. 1 Vorbemerkungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2. 2 Die Bedeutung der Temperatur der Perfusionslösung für die Myokardwirkung von Enfluran . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Monographie ist das Ergebnis ausgedehnter tierexperimenteller Untersu chungen tiber den Einflu~ verschiedener Anaesthetika auf die Kontraktionsdynamik des Herzens sowie einer langjiihrigen klinischen Erfahrung mit der DurchfUhrung von Narkosen bei Patienten mit einer manifesten oder latenten Herzinsufflzienz. Das Buch umfaBt zwei mehr oder weniger gleichgewichtige Komplexe: Der erste Teil wird dem Problem gewidmet, inwieweit sich das Herz-Lungen-Praparat als tierexperimentelles Modell zur Untersuchung der Kontraktionskraft des Herzens tiberhaupt, insbesondere aber bei pharmakologisch induzierten Xnderungen des inotropen Status eignet. Der zweite Teil vermittelt sodann Befunde tiber direkte chronotrope und inotrope Wirkun gen von Narkosemitteln am Herzen, wobei es offenbar darauf ankommen sollte, flir intra venose Anaesthetika und Inhalationsnarkotika einen Vergleichsma~stab zu finden und narkotische Dosisaquivalente festzulegen. Besonders originell ist die Formulierung eines sogenannten kardiotherapeutischen Index, mit dem der Abstand zwischen minimal narkoti scher Konzentration eines Narkotikums und schlidlicher Beeintrachtigung der Ventrikel funktion quantitativ defmierbar ist. Die hier vorgelegte Monographie beeindruckt durch die Sorgfalt im methodischen Ansatz, den Umfang der angestellten Untersuchungen und die kritische Beurteilung der Ergebnisse. Soweit ersichtlich hat es eine mit ahnlicher Konsequenz realisierte vergleichende Beobach tungsreihe zahlreicher Narkotika, insbesondere auch unter Einbeziehung von Inhalations narkotika, bislang nicht gegeben. Dabei ist gerade auch die Synopsis der Befunde von un mittelbarem klinischem Interesse, denn bestimmte Einwirkungen einzelner Narkotika waren zwar bislang im Prinzip langst bekannt, mtissen aber nunmehr im unmittelbaren Vergleich mit anderen Narkotika anders beurteilt oder gewichtet werden. 292 pp. Deutsch.