springer springer aug 1984 (95 risultati)

Buch. Condizione: Neu. Neuware - This book is intended for a two-semester, graduate-level course and is paced to admit more extensive treatment of areas of specific interest to the instructor and students. It is assumed that the reader of the book will have had an econometric methods course. In the final section of each chapter we have provided a guide to further readings that briefly lists and describes useful related works in the area. The exercises provided with each chapter are a blend of proofs and results that replace or extend many of those in the text. Applications are included in the exercises as well. We believe strongly that students must grapple with applied econometric techniques. Of course, this means the development of an appropriate dexterity with computers and relevant software as a requirement for serious students in econometrics.

Buch. Condizione: Neu. Neuware - W. KUPPER Coronary artery vasoconstriction is not only the mechanism responsible for Prinzmetal's variant angina, but may also be involved in stable angina pectoris and myocardial infarction. However, the underlying patho-physiological mecha nisms and the importance of coronary vasoconstriction in these syndromes is still largely unknown. Several hypotheses have been proposed. Sympathetic nervous activity plays a key role in the regulation of coronary blood flow, but mechanical or humoral constrictive factors may be active as well. a-adrenergic tone Adrenergic nerve fibers accompany coronary vessels of any size. The stimulation of cardiac sympathetic nerves causes an increase in coronary blood flow. If, however, chronotropic and inotropic effects of adrenergic stimulation are sup pressed pharmacologically by beta-adrenoceptor blockade, a reduction in flow is observed. Thus, the primary effect of sympathetic stimulation on the coronary arteries is the alpha-adrenergic mediated vasoconstriction. Functionally inner vated alpha-adrenoceptors have been documented both in large coronary con ductance arteries and in the small resistance vessels. Animal studies and a human study have documented that a permanent constrictor tone is present on the coronary circulation both at rest and during exercise; this condition could be prevented with alpha-adrenoceptor blockade or was absent after heart transplan tation. Therefore, alpha-adrenoceptor mediated coronary constriction is an at tractive hypothesis as a possible pathophysiological mechanism of inappropriate coronary vasoconstriction and cororiary vasospasm.

Buch. Condizione: Neu. Neuware - Over the past 30 years many significant advances have been made in the management of a number of disseminated malignant diseases. The prognosis for diseases such as childhood leukaemia, choriocarcinoma and Hodgkin's disease has gradually been transformed as better anti tumour agents have become available and their clinical use has been refined. During the past 10 years the advent of new agents, particularly cisplatin, bleomycin and the podophyllotoxins, has allowed the cure of disseminated testicular tumours. This degree of success has not, however, been achieved in the case of a number of other common cancers. Ovarian carcinoma is tantalisingly chemo-sensitive and although there are long term survivors from disseminated disease, these are only a small proportion of the total. Breast cancer, although 'sensitive' to a multitude of drugs appears to have yielded neither survival benefit, nor cure to the efforts of therapists, while tumours such as those of the colon remain stubbornly unresponsive. Against this backcloth it is apparent that additional more selective treatments are needed if further impact is to be made on the problem of cancer. The development of such agents requires the integration of a multidisciplinary effort encompassing the fields of chemistry, biology and medicine. This symposium provided a forum for clinical and preclinical sCientists, where current aspects of cancer treatment were reviewed and approaches to the development of a new generation of more selective anticancer drugs discussed.

Buch. Condizione: Neu. Neuware.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -General introduction.- Asymptotic developability and vanishing theorems in asymptotic analysis.- Existence theorems of asymptotic solutions and splitting lemmas.- Stokes phenomena and riemann-hilbert-birkhoff problem.- -poincar¿ lemma and -derham cohomology theorem. 172 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Notation.- Preliminary Analysis.- Basic Results.- Applications. 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Generators of positive semigroups.- Wiener's theorem and semigroups of operators.- A class of nonlinear diffusion problems.- On abstract Volterra equations in Banach spaces with completely positive kernels.- Stability of non-autonomous delay differential equations by Liapunov functionals.- Abstract differential equations and extrapolation spaces.- Wave propagation for abstract integrodifferential equations.- Retarded abstract equations in Hilbert spaces.- A variation of parameters formula for burgers system.- A typical Perron-Frobenius theorem with applications to an age-dependent population equation.- On positive solutions of semilinear periodic-parabolic problems.- A simplified approach to the existence and stability problem of a functional evolution equation in a general Banach space.- Approximations of analytic and differentiable semigroups ¿ Rate of convergence with nonsmooth initial conditions.- Asymptotic estimates for resolvents of some integral equations.- The rate of convergence in singular perturbations of parabolic equations.- Some problems on non-linear semigroups and the blow-up of integral solutions.- The linear quadratic optimal control problem for infinite dimensional systems with unbounded input and output operators.- On the differentiability of nonlinear semigroups.- Semigroups generated by a convolution equation.- A -bounded, finite rank perturbations of s.c. group generators A: Counterexamples to generation and to another condition for well-posedness.- A semigroup proof of the Sharpe-Lotka theorem.- Integrable resolvent operators for integrodifferential equations in Hilbert space. 288 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on some problems concerning the PL/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1. Conflict Analysis in Macroeconomic Planning Models.- A: Multiobjective Macro Models.- 2. Adaptive Learning and Multistage Compromises for Multilevel Decision Making in Macroeconomic Systems.- 3. Objectives and Potentials of the Dutch Economy in the Eighties.- 4. A Reference Point Approach to Nonlinear Macroeconomic Multiobjective Models.- B: Game Theoretic Models.- 5. Policy Evaluation with Conflicting Goals for a Linked Two Country Model.- 6. A Game Theoretic Approach to Macroeconomic Simulations for the Study of Conflicting Goals.- 7. A General Framework for Analysing the Stability of Fiscal Federalism.- C: Multiobjective Regional Models.- 8. An Operational Multi-Component Multi-Actor Policy Model for Economic-Environmental Scenarios.- 9. Regional-National Linkages in Multiregional Models: Alternative Perspectives.- 10. Interactive Economic Policy Formulation with Multiregional Econometric Models.- D: Fuzzy and Qualitative Conflict Analysis.- 11. Design and Management of Regional Systems by Fuzzy Ratings and Polyhedral Dynamics (MCQA).- 12. Multiple Objective Economic Control Problems and Fuzzy Systems Analysis.- 13. The Use of Qualitative Information in Macro-economic Policy Analysis.- E: Prospect.- 14. Perspectives of Macro-economic Conflict Analysis.- Contributing Authors. 312 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Separating, strongly separating, and collapsing relativized complexity classes.- Complexity of quantifier elimination in the theory of algebraically closed fields.- Systolic automata ¿ power, characterizations, nonhomogeneity.- A note on unique decipherability.- Outline of an algebraic language theory.- Thue systems and the Church-Rosser property.- Limits, higher type computability and type-free languages.- Traces, histories, graphs: Instances of a process monoid.- Recent results on automata and infinite words.- VLSI algorithms and architectures.- Decidability of monadic theories.- On the Ehrenfeucht conjecture on test sets and its dual version.- Sparse oracles, lowness, and highness.- Computability of probabilistic parameters for some classes of formal languages.- A truely morphic characterization of recursively enumerable sets.- On the Herbrand Kleene universe for nondeterministic computations.- An investigation of controls for concurrent systems by abstract control languages.- On generalized words of Thue-Morse.- Nondeterminism is essential for two-way counter machines.- Weak and strong fairness in CCS.- On the complexity of inductive inference.- Monotone edge sequences in line arrangements and applications.- Many-sorted temporal logic for multi-processes systems.- Process logics : two decidability results.- On searching of special classes of mazes and finite embedded graphs.- The power of the future perfect in program logics.- Hierarchy of reversal and zerotesting bounded multicounter machines.- On the power of alternation in finite automata.- The equivalence problem and correctness formulas for a simple class of programs.- Lower bounds for polygon simplicity testing and other problems.- A uniform independence of invariant sentences.- On the equivalence of compositions of morphisms and inverse morphisms on regular languages.- Some connections between presentability of complexity classes and the power of formal systems of reasoning.- Finding a maximum flow in /s,t/-planar network in linear expected time.- Nondeterministic logspace reductions.- Factoring multivariate polynomials over algebraic number fields.- G¿del numberings, principal morphisms, combinatory algebras.- Representations of integers and language theory.- New lower bound for polyhedral membership problem with an application to linear programming.- Decidability of the equivalence problem for synchronous deterministic pushdown automata.- Models and operators for nondeterministic processes.- Algorithms for string editing which permit arbitrarily complex edit constraints.- The structure of polynomial complexity cores.- Solving visibility problems by using skeleton structures.- Another look at parameterization using algebras with subsorts.- A lower bound on complexity of branching programs.- From dynamic algebras to test algebras.- Combinatorial games with exponential space complete decision problems.- Fast recognitions of pushdown automaton and context-free languages.- Multiprocessor systems and their concurrency.- Free constructions in algebraic institutions.- Remarks on comparing expressive power of logics of programs.- The complexity of problems concerning graphs with regularities.- On the complexity of slice functions.- An exponential lower bound for one-time-only branching programs.- A topological view of some problems in complexity theory.- Propositional dynamic logic with strong loop predicate. 600 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This means that semigroup theory may be applied directly to the study of the equation I'!.f = h on M. In [45] Yau proves that, for h ~ 0, there are no nonconstant, nonnegative solutions f in [j' for 1 p 00. From this, Yau gets the geometric fact that complete noncom pact Riemannian manifolds with nonnegative Ricci curvature must have infinite volume, a result which was announced earlier by Calabi [4]. 6. Concluding Remarks In several of the above results, positivity of the semigroup plays an important role. This was also true, although only implicitly, for the early work of Hille and Yosida on the Fokker-Planck equation, i.e., Equation (4) with c = O. But it was Phillips [41], and Lumer and Phillips [37] who first called attention to the importance of dissipative and dispersive properties of the generator in the context of linear operators in a Banach space. The generation theorems in the Batty-Robinson paper appear to be the most definitive ones, so far, for this class of operators. The fundamental role played by the infinitesimal operator, also for the understanding of order properties, in the commutative as well as the noncommutative setting, are highlighted in a number of examples and applications in the different papers, and it is hoped that this publication will be of interest to researchers in a broad spectrum of the mathematical sub-divisions. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -and survey.- Equilibrium phase transitions.- Nonequilibrium phase transitions. 160 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -General introduction.- Asymptotic developability and vanishing theorems in asymptotic analysis.- Existence theorems of asymptotic solutions and splitting lemmas.- Stokes phenomena and riemann-hilbert-birkhoff problem.- -poincar¿ lemma and -derham cohomology theorem.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 172 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Notation.- Preliminary Analysis.- Basic Results.- Applications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Generators of positive semigroups.- Wiener's theorem and semigroups of operators.- A class of nonlinear diffusion problems.- On abstract Volterra equations in Banach spaces with completely positive kernels.- Stability of non-autonomous delay differential equations by Liapunov functionals.- Abstract differential equations and extrapolation spaces.- Wave propagation for abstract integrodifferential equations.- Retarded abstract equations in Hilbert spaces.- A variation of parameters formula for burgers system.- A typical Perron-Frobenius theorem with applications to an age-dependent population equation.- On positive solutions of semilinear periodic-parabolic problems.- A simplified approach to the existence and stability problem of a functional evolution equation in a general Banach space.- Approximations of analytic and differentiable semigroups ¿ Rate of convergence with nonsmooth initial conditions.- Asymptotic estimates for resolvents of some integral equations.- The rate of convergence in singular perturbations of parabolic equations.- Some problems on non-linear semigroups and the blow-up of integral solutions.- The linear quadratic optimal control problem for infinite dimensional systems with unbounded input and output operators.- On the differentiability of nonlinear semigroups.- Semigroups generated by a convolution equation.- A -bounded, finite rank perturbations of s.c. group generators A: Counterexamples to generation and to another condition for well-posedness.- A semigroup proof of the Sharpe-Lotka theorem.- Integrable resolvent operators for integrodifferential equations in Hilbert space.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 288 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These notes are based on a course which I gave during the academic year 1983-84 at the University of Colorado. My intention was to provide both my audience as well as myself with an introduction to the theory of 1arie deviations - The organization of sections 1) through 3) owes something to chance and a great deal to the excellent set of notes written by R. Azencott for the course which he gave in 1978 at Saint-Flour (cf. Springer Lecture Notes in Mathematics 774). To be more precise: it is chance that I was around N. Y. U. at the time'when M. Schilder wrote his thesis. and so it may be considered chance that I chose to use his result as a jumping off point; with only minor variations. everything else in these sections is taken from Azencott. In particular. section 3) is little more than a rewrite of his exoposition of the Cramer theory via the ideas of Bahadur and Zabel. Furthermore. the brief treatment which I have given to the Ventsel-Freidlin theory in section 4) is again based on Azencott's ideas. All in all. the biggest difference between his and my exposition of these topics is the language in which we have written. However. another major difference must be mentioned: his bibliography is extensive and constitutes a fine introduction to the available literature. mine shares neither of these attributes. Starting with section 5). 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Electrochemistry is clearly an important component of the technology of many quite diverseindustries. Moreover, the future for electrochemical technology is bright and there is a general expectation that new applications of electrochemistry will become economic as the world responds to the challenge of more expensive energy, of the need to develop new materials and to exploit different chemical feedstocks and of the necessity to protect the environment. ' Inthis situation, the present rather fragmentary state ofelectrochemical technology is disappointing. Whilethere are many similarities in the underlying principles and even the practices of the electrochemically based industries, they are often not fully appreciated. Certainly, the Rand D programmes in many industries are in the hands of those with little formal training and whose experience of and interest in other branches of electrochemistry is very limited. Moreover, the academic world has done little to help. Electrode processes are, too often, totally ignored in courses to both scientists and engineers and certainly electrochemical technology is almost never taught as a unified subject with an appropriate balance between fundamentals, engineering and applications. Overall, it isnot surprising that the various strands have not interwoven and that scientists and engineers do not have a proper appreciation of the importance of electrochemical technology. Inthe first half of 1979 I conducted a survey into the research and development needs of the various industries in Britain using electrochemical technology. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Electrochemistry is clearly an important component of the technology of many quite diverseindustries. Moreover, the future for electrochemical technology is bright and there is a general expectation that new applications of electrochemistry will become economic as the world responds to the challenge of more expensive energy, of the need to develop new materials and to exploit different chemical feedstocks and of the necessity to protect the environment. ' Inthis situation, the present rather fragmentary state ofelectrochemical technology is disappointing. Whilethere are many similarities in the underlying principles and even the practices of the electrochemically based industries, they are often not fully appreciated. Certainly, the Rand D programmes in many industries are in the hands of those with little formal training and whose experience of and interest in other branches of electrochemistry is very limited. Moreover, the academic world has done little to help. Electrode processes are, too often, totally ignored in courses to both scientists and engineers and certainly electrochemical technology is almost never taught as a unified subject with an appropriate balance between fundamentals, engineering and applications. Overall, it isnot surprising that the various strands have not interwoven and that scientists and engineers do not have a proper appreciation of the importance of electrochemical technology. Inthe first half of 1979 I conducted a survey into the research and development needs of the various industries in Britain using electrochemical technology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A family counselor explores the hardships of a new lifestyle which often accompany remarriage and suggests ways of overcoming the conflicts that frequently result from divorce, remarriage, and stepparenting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 274 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1. Conflict Analysis in Macroeconomic Planning Models.- A: Multiobjective Macro Models.- 2. Adaptive Learning and Multistage Compromises for Multilevel Decision Making in Macroeconomic Systems.- 3. Objectives and Potentials of the Dutch Economy in the Eighties.- 4. A Reference Point Approach to Nonlinear Macroeconomic Multiobjective Models.- B: Game Theoretic Models.- 5. Policy Evaluation with Conflicting Goals for a Linked Two Country Model.- 6. A Game Theoretic Approach to Macroeconomic Simulations for the Study of Conflicting Goals.- 7. A General Framework for Analysing the Stability of Fiscal Federalism.- C: Multiobjective Regional Models.- 8. An Operational Multi-Component Multi-Actor Policy Model for Economic-Environmental Scenarios.- 9. Regional-National Linkages in Multiregional Models: Alternative Perspectives.- 10. Interactive Economic Policy Formulation with Multiregional Econometric Models.- D: Fuzzy and Qualitative Conflict Analysis.- 11. Design and Management of Regional Systems by Fuzzy Ratings and Polyhedral Dynamics (MCQA).- 12. Multiple Objective Economic Control Problems and Fuzzy Systems Analysis.- 13. The Use of Qualitative Information in Macro-economic Policy Analysis.- E: Prospect.- 14. Perspectives of Macro-economic Conflict Analysis.- Contributing Authors.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 312 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -and overview.- Game theory and economics.- Mathematical formulation of differential games.- Solutions of hierarchical differential games.- Regional investment allocation problem.- Stackelberg games in linear programming context.- Application to a world industrialization model.- Econometric models: Adaptive games.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Separating, strongly separating, and collapsing relativized complexity classes.- Complexity of quantifier elimination in the theory of algebraically closed fields.- Systolic automata - power, characterizations, nonhomogeneity.- A note on unique decipherability.- Outline of an algebraic language theory.- Thue systems and the Church-Rosser property.- Limits, higher type computability and type-free languages.- Traces, histories, graphs: Instances of a process monoid.- Recent results on automata and infinite words.- VLSI algorithms and architectures.- Decidability of monadic theories.- On the Ehrenfeucht conjecture on test sets and its dual version.- Sparse oracles, lowness, and highness.- Computability of probabilistic parameters for some classes of formal languages.- A truely morphic characterization of recursively enumerable sets.- On the Herbrand Kleene universe for nondeterministic computations.- An investigation of controls for concurrent systems by abstract control languages.- On generalized words of Thue-Morse.- Nondeterminism is essential for two-way counter machines.- Weak and strong fairness in CCS.- On the complexity of inductive inference.- Monotone edge sequences in line arrangements and applications.- Many-sorted temporal logic for multi-processes systems.- Process logics : two decidability results.- On searching of special classes of mazes and finite embedded graphs.- The power of the future perfect in program logics.- Hierarchy of reversal and zerotesting bounded multicounter machines.- On the power of alternation in finite automata.- The equivalence problem and correctness formulas for a simple class of programs.- Lower bounds for polygon simplicity testing and other problems.- A uniform independence of invariant sentences.- On the equivalence ofcompositions of morphisms and inverse morphisms on regular languages.- Some connections between presentability of complexity classes and the power of formal systems of reasoning.- Finding a maximum flow in /s,t/-planar network in linear expected time.- Nondeterministic logspace reductions.- Factoring multivariate polynomials over algebraic number fields.- Gödel numberings, principal morphisms, combinatory algebras.- Representations of integers and language theory.- New lower bound for polyhedral membership problem with an application to linear programming.- Decidability of the equivalence problem for synchronous deterministic pushdown automata.- Models and operators for nondeterministic processes.- Algorithms for string editing which permit arbitrarily complex edit constraints.- The structure of polynomial complexity cores.- Solving visibility problems by using skeleton structures.- Another look at parameterization using algebras with subsorts.- A lower bound on complexity of branching programs.- From dynamic algebras to test algebras.- Combinatorial games with exponential space complete decision problems.- Fast recognitions of pushdown automaton and context-free languages.- Multiprocessor systems and their concurrency.- Free constructions in algebraic institutions.- Remarks on comparing expressive power of logics of programs.- The complexity of problems concerning graphs with regularities.- On the complexity of slice functions.- An exponential lower bound for one-time-only branching programs.- A topological view of some problems in complexity theory.- Propositional dynamic logic with strong loop predicate.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 600 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This means that semigroup theory may be applied directly to the study of the equation I'!.f = h on M. In [45] Yau proves that, for h ~ 0, there are no nonconstant, nonnegative solutions f in [j' for 1Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -and survey.- Equilibrium phase transitions.- Nonequilibrium phase transitions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 160 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In this volume on the mechanics of fracture of Portland cement concrete, the general theme is the connection between microstructural phenomena and macroscopic models. The issues addressed include techniques for observation over a wide range of scales, the influence of .microcracking on common measures of strength and de formability , and ultimately, the relationship between microstructural changes in concrete under load and its resistance to cracking. It is now commonly accepted that, in past attempts to force-fit the behavior of concrete into the rules of linear elastic fracture mechanics, proper attention has not been paid to scale effects. Clearly, the relationships among specimen size, crack length and opening, and characteristic material fabric dimensions have been, in comparison to their counterparts in metals, ceramics, and rocks, abused in concrete. Without a fundamental understanding of these relationships, additional testing in search of the elusive, single measure of fracture toughness has spawned additional confusion and frustration. No one is in a better position to document this observation than Professor Mindess.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 218 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on some problems concerning the PL/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 292 pp. Englisch.