Springer springer jun 1979 (63 résultats)
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 26,74
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 26,70
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 nil…potent residue of an augmentation ideal.- The associated graded ring of a group ring. 148 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 32,09
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 42,79
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.- 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 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,10
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 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. 436 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,28
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Jun 1979, 1979
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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-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. 192 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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, reson…ances, and bound states.- Leptons and weak interactions.- Sheaves and cohomology.- Applications of complex manifold techniques to elementary particle physics. 168 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 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. 212 pp. Englisch.
Langue : anglais
Edité par Springer, Springer Berlin Heidelberg Jun 1979, 1979
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 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. 236 pp. Englisch.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1979, 1979
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 26,70
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 nilpote…nt residue of an augmentation ideal.- The associated graded ring of a group ring.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 26,74
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 32,09
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 pro…cesses 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 74,89
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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 geometrical…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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 42,79
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 to…wards 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,10
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,28
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 geo…metric 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 KG, Sachsenplatz 4-6, 1201 Wien 192 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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, variational… 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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, resonance…s, 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.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 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 KG, Sachsenplatz 4-6, 1201 Wien 236 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 1…972. 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.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 96,29
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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, 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). 348 pp. Englisch.
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 g…roup 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.
- Couverture rigide
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : 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 Groningen in the Netherlands. Organized because of the recent establishment at the Faculty of Economics of a group that is engaged in te…aching and research in the field of regional science, the aim of the symposium was to make university members more familiar with regional science and to introduce the newly created group to the national and international scene. Two separate topics were selected, of potential interest to both re searchers and policy-makers. The first, 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 orientated point of view. This ensured the enlightenment of the various dimensions of spatial inequality and its implications for regional policy. The results have been collected in the volume Spatial Inequalities and Regional Development. The second theme focused on spatial statistical analysis. This branch of statistics is a relatively new one which receives growing attention among researchers in the field of applied regional science. The meeting on this topic concentrated on new results of research on the use of appro priate statistical and econometric methods for analyzing spatial data. The papers concerned have been collected into another volume, Explora tory and Explanatory Statistical Analysis of Spatial Data. 276 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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 nume…rous 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. 356 pp. Englisch.
