Springer Springer Jun 1979 (63 results)
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 23.54
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 23.57
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 28.29
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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 concur…rent 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.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 37.72
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.- Pro…gress 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.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 42.40
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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 cat…egorical 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.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 44.33
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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 po…wers 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.
Language: English
Published by Springer, Springer Berlin Heidelberg Jun 1979, 1979
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.15
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nonlinear 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 tr…ansform 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.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1979, 1979
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.15
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.
Language: English
Published by Springer Berlin Heidelberg, Springer Jun 1979, 1979
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.15
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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-i…nfinite 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.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.15
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.15
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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, r…esonances, and bound states.- Leptons and weak interactions.- Sheaves and cohomology.- Applications of complex manifold techniques to elementary particle physics. 168 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.15
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To English-speaking historians, the author of this book, a Dutchman who for many years now finds his base at the University of Florida, became well known when his The Dutch in the Caribbean and on the Wild Coast, 158~I680 was publis…hed in 1972. At that time Professor Goslinga, who prior to his academic career in the United States, lived for an extended period in Cura~ao, Netherlands Antilles, had already acquired a solid reputation among Dutch Caribbeanists by his manifold publications on social, political and maritime aspects of Dutch West Indian history. By his training, interests and present position, Dr. Goslinga would seem to me to be singularly well-equipped to write a comprehensive history - geared to an English-speaking university public - of what was once known as the Netherlands West Indies. The present book is the product of this professional equipment and of his long teaching experience. It should go a long way in filling the old and wide gap in historical information on this part of the former Dutch empire, and I hope an equally wide but younger audience will appreciate it. 212 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 23.54
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 nil…potent residue of an augmentation ideal.- The associated graded ring of a group ring.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 23.57
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Preliminaries.- Generalities.- Subspaces.- Quotient spaces.- Complemented subspaces.- Approximation properties.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 28.29
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 KG, Sachsenplatz 4-6, 1201 Wien 380 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 66.02
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the reviews of the second edition: 'The new methods of complex manifold theory are very useful tools for investigations in algebraic geometry, complex function theory, differential operators and so on. The differential geometri…cal methods of this theory were developed essentially under the influence of Professor S.-S. Chern's works. The present book is a second edition. It can serve as an introduction to, and a survey of, this theory and is based on the author's lectures held at the University of California and at a summer seminar of the Canadian Mathematical Congress.The text is illustrated by many examples. The book is warmly recommended to everyone interested in complex differential geometry.' #Acta Scientiarum Mathematicarum, 41, 3-4# 164 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 37.72
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.- Progres…s 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 vectorbased 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 KG, Sachsenplatz 4-6, 1201 Wien 580 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 42.40
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 categor…ical 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 44.33
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 664 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 withlinear 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 KG, Sachsenplatz 4-6, 1201 Wien 632 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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-infin…ite 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 KG, Sachsenplatz 4-6, 1201 Wien 192 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is based on lecture notes of the late Professor de Veubeke. The subject is presented at a level suitable for graduate students in engineering, physics, or mathematics. Some exposure to linear algebra, complex analysis, variati…onal calculus, or basic continuum mechanics would be helpful. The first third of the book contains the fundamentals of the theory of elasticity. Kinematics of continuous media, the notions of stress and equilibrium, conservation of energy, 'and the elastic constitutive law are each treated first in a nonlinear context, then specialized to the linear case. The remainder of the book is given to three classic applications of the theory, each supplemented by original re sults based on the use of complex variables. Each one of the three topics - Saint-Venant's theory of prismatic beams, plane deformations, and the bending of plates - is first pre sented and analyzed in general, then rounded out with numerous specific and sometimes novel examples. The following notational conventions are generally in force, except where noted to the contrary: lower case boldface letters denote vectors or triples of Cartesian co ordinates, upper case boldface letters denote 3 x 3 matrices, repeated lower case Latin subscripts are summed over (1,2,3), and non-repeated lower case Latin subscripts are assumed to range over (1,2,3).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Preparatory remarks.- Formal constructions.- Simple Lie superalgebras.- A survey of some further developments.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 288 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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, reson…ances, and bound states.- Leptons and weak interactions.- Sheaves and cohomology.- Applications of complex manifold techniques to elementary particle physics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 168 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Nonlinear 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 transf…orm 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 KG, Sachsenplatz 4-6, 1201 Wien 236 pp. Englisch.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -To English-speaking historians, the author of this book, a Dutchman who for many years now finds his base at the University of Florida, became well known when his The Dutch in the Caribbean and on the Wild Coast, 158~I680 was published…in 1972. At that time Professor Goslinga, who prior to his academic career in the United States, lived for an extended period in Cura~ao, Netherlands Antilles, had already acquired a solid reputation among Dutch Caribbeanists by his manifold publications on social, political and maritime aspects of Dutch West Indian history. By his training, interests and present position, Dr. Goslinga would seem to me to be singularly well-equipped to write a comprehensive history - geared to an English-speaking university public - of what was once known as the Netherlands West Indies. The present book is the product of this professional equipment and of his long teaching experience. It should go a long way in filling the old and wide gap in historical information on this part of the former Dutch empire, and I hope an equally wide but younger audience will appreciate it.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 212 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 84.89
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is based on lecture notes of the late Professor de Veubeke. The subject is presented at a level suitable for graduate students in engineering, physics, or mathematics. Some exposure to linear algebra, complex analysis, var…iational calculus, or basic continuum mechanics would be helpful. The first third of the book contains the fundamentals of the theory of elasticity. Kinematics of continuous media, the notions of stress and equilibrium, conservation of energy, 'and the elastic constitutive law are each treated first in a nonlinear context, then specialized to the linear case. The remainder of the book is given to three classic applications of the theory, each supplemented by original re sults based on the use of complex variables. Each one of the three topics - Saint-Venant's theory of prismatic beams, plane deformations, and the bending of plates - is first pre sented and analyzed in general, then rounded out with numerous specific and sometimes novel examples. The following notational conventions are generally in force, except where noted to the contrary: lower case boldface letters denote vectors or triples of Cartesian co ordinates, upper case boldface letters denote 3 x 3 matrices, repeated lower case Latin subscripts are summed over (1,2,3), and non-repeated lower case Latin subscripts are assumed to range over (1,2,3). 348 pp. Englisch.
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 94.32
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -How much can innovation contribute to the quality of life How can innovation be used to develop and market commercial products These are two major questions considered by an international symposium of active researchers from the USA and Eu…rope in the fields of industrial innovation which was held at the University of Strathclyde, Glasgow. The scope of the papers is extensive and embraces the whole process of innovation, from invention through development to commercialisation and diffusion. Some papers cover broad general issues such as the social and economic consequences of innovation and government policies towards innovation and research and development. Others provide highly specific and pragmatic advice upon the management of innovation and the development of marketing strategies to promote the speedy acceptance of new products and processes. Despite the diversity of the contributions, a number of clear themes emerge. These include the importance, for successful innovation, of clearly identifying user needs and the need for total immersion in the detail of an industry or market in order to understand the diffusion of an innovation. In short, there is something in this book for anyone who is concerned with the impact and influence of technological innovation on our future. 464 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 94.32
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The history of science is mostly written retrospec tively, a generation or two after the actual events being discussed. Science historians are now analyzing and evaluating the origins of evolutionary and genetical theory in the nine…teenth century and a sort of 'Darwin industry' seems to have grown up. A history of mammalian cytogenetics by one of the main participants is, hence, a very welcome change, since it has a vividness, an immediacy and a personal flavor which these scholarly tomes and the official biog raphies of scientists mostly lack. The life of the author, Chinese-born, T. C. Hsu, has been a romantic and color ful one, and he is himself a unique personality, so that his book is a very unusual blend of reminiscences, history of his special field (which has transformed human genetics) and wise comments on the mistakes made along the way. The best qualities of a very fine Chinese mind have contributed to Dr. Hsu's career, including this book. Those qualities (which seem to me especially Chinese) include a kind of transparent honesty, a very direct em pirical approach to problems and superb technical ability. 204 pp. Englisch.
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 94.32
£ 19.69 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In September 1977 a 'Regional Science Symposium' was held at the Faculty of Economics of the University of Goningen in the Netherlands. The impetus in organizing this symposium was the recent estab lishmen t at the F acuIty of Economics of… a group engaged in teaching and research within the field of regional science. The aim of the symposium was to familiarize university members with regional science and to introduce the new group to both the national and international scene. Two separate topics of potential interest to both researchers and policy-makers were selected. The first theme, spatial inequalities and regional development, was chosen because of its central place in regional science. Authors from several disciplines were asked to approach this theme from a general, policy-oriented point of view. This ensured the spotlighting of the various dimensions of spatial inequality and its implications for regional policy. The results of their efforts have been collected in a volume entitled Spatial Inequalities and Regional Development. The second theme focussed on spatial statistical analysis. This branch of statistics is a relatively new one. It is receiving growing attention from researchers in the field of applied regional science. The conference dealing with this topic concentrated on recent research results related to the use of appropriate statistical and econometric methods for analyzing spatial data. The papers con cerned have been collected in another volume, entitled Exploratory and Explanatory Statistical Analysis of Spatial Data. 284 pp. Englisch.
