Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 153,14
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - This volume is the product of a conference on the theme 'Development - the Next Twenty-five Years' which the Institute of Social Studies held in Decem ber 1977 to mark its own twenty-fifth anniversaryas a centre of development studies. We felt it appropriate at that point in time to caU together specialists from all over the world in an attempt to assess the 'state of play' in our field as we move into the last quarter of the twentieth century. 1 For several days, therefore, the Institute's new building house d a remarkable concentration of knowledge and experience concerning the problems of the so-calle d less developed countries, drawn from all over the world. Although it was inevitable that the participants should represent the past (and it was several times re marked that, in that sense, there were too few women present), the earnest and sometimes heated discussions looked to the future as much as to what had happened in the last twenty-five years. As the discussions proceeded, three things became apparent. Firstly , although the papers submitted did not fully reveal it, the ongoing debate between radicals and moderates, those who saw possibilities of change only basically through a direct break with existing structures and those who felt change possibIe within them, is by no means at an end.
EUR 241,87
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - While general systems research has had a considerable impact on research in the social sciences, this impact has been mainly conceptual and has not served to provide the operational and methodological aids for research which are possible. In addition, many of those systems-oriented directions and results which do impact social science research have developed inde pendently and in piecemeal fashion in recent decades. The main develop ment of this book is a cohesive framework within which to integrate results of general systems research and which provides a means for the organiza tion of data and observations - and operational procedures by which to proceed - in the investigation and study of social and socio-technical systems. The book systematically develops in the first five chapters ail of the basic concepts and aspects which make up the framework, showing wherever possible the main sources of these concepts and placing them in historical perspective. The developments of the first five chapters are pulled together and integrated, in the last chapter, into a conceptual and operational general systems problem solving framework which extends the investiga tive capabilities of researchers of specific systems. The last chapter also contains an example of an overall investigation which utilizes the frame work and which proceeds from system definition through the derivation of explanatory knowledge regarding the object system and which illustrates in detail most of the concepts and elements of the framework.
Lingua: Tedesco
Editore: Springer, Springer Spektrum Jul 1979, 1979
ISBN 10: 3540085912 ISBN 13: 9783540085911
Da: Wegmann1855, Zwiesel, Germania
EUR 54,99
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -Kopplung zwischen ACC- und CNC-Funk tionen innerhalb des Steuerungsrechners und der daraus resul tierende minimale Hardware-Aufwand fUr das ACC-System.
Lingua: Tedesco
Editore: Springer, Springer Vieweg Jul 1979, 1979
ISBN 10: 3540085912 ISBN 13: 9783540085911
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 54,99
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - Mit dem verstarkten Einsatz des ProzeBrechners in der spanen den Fertigung wachst auch die Forderung, Grenzregelungs (ACC-) Systeme in den Rechner zu integrieren. Diese Aufgabe wurde in der vorliegenden Arbeit in drei Entwicklungsstufen durchge ftihrt. Zunachst wurde die Grenzregelung als Einzelfunktion in einen ProzeBrechner integriert (direkte digitale Grenzregelung) . Ausgehend von der Dynamik der Regelstrecke -Bahnsteuerung, FrasprozeB, Sensor- ergab sich die Abtastperiode ftir dieses DDC-System durch Untersuchung der Bandbreite und des Strecken storverhaltens. Die ermittelten Werte ftir die Abtastperiode dienten als Anhaltswerte ftir die Rechnerbelastung durch den zu entwickelnden Regelalgorithmus. Dieser wurde in Form eines nichtlinearen Kompensationsalgorith mus gefunden, der das System trotz der stark schwankenden Ver starkung des Frasprozesses adaptiv stabilisiert und zudem eine ext rem niedrige Rechnerbelastung bewirkt. Die Programmierung des ACC-programms wurde in Assemblersprache durchgeftihrt. Dabei erweist sich der Befehlsumfang gangiger ProzeBrechner einschlieBlich Mikro-Computer als ausreichend, so fern die Operationen Multiplikation und Division hardware maBig ablaufen. Die Steuerung des Anschnittvorgangs tiber den ProzeBrechner kann auf Grund seiner geringen Interrupt-Reaktionszeit ohne Schwie rigkeiten durchgeftihrt werden. Das entwickelte programm ftir die direkte digitale Grenzregelung beim Frasen kann in seiner vorliegenden Konzeption auch auf an dere ProzeBrechner, insbesondere auch auf Mikro-Computer, tiber tragen werden. In einem zweiten Schritt folgt die Integration des entwickel ten Regelkonzepts in den Steuerungsrechner einer CNC. - 123 - Ausschlaggebend fUr diese Systemlosung war die Moglichkeit der schnittstellennahen Kopplung zwischen ACC- und CNC-Funk tionen innerhalb des Steuerungsrechners und der daraus resul tierende minimale Hardware-Aufwand fUr das ACC-System.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095063 ISBN 13: 9783540095064
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 26,70
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A representation theorem for fibered knots and their monodromy maps.- Homogeneity of S2 ¿T2.- A link calculus for 4-manifolds.- Nice spines of 3-manifolds.- Introducting doodles.- Generators for the mapping class group.- On the mapping class group of simple 3-manifolds.- Shake ¿ Slice knots.- Signatures of iterated torus knots.- Some homology 3-spheres which bound acyclic 4-manifolds.- A criterion for an embedded surface in 3 to be unknotted.- An elliptical path from parabolic representations to hyperbolic structures.- Presentations and the trivial group.- On the genera of knots. 164 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095144 ISBN 13: 9783540095149
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 26,70
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Limiting absorption principle.- Asymptotic behavior of the radiative function.- Spectral representation. 160 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095071 ISBN 13: 9783540095071
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 26,70
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Linearly compact modules and almost maximal rings.- h-Local domains.- Valuation rings and Bezout rings.- Basic facts about FGC rings and the local case.- Further facts about FGC rings and Torch rings.- The Zariski and Patch topologies of the spectrum of a ring.- The Stone-Cech compactification of N.- Relating topology to the decomposition of modules.- The main theorem.- Valuations.- Long power series rings.- Maximally complete valuation domains.- Examples of maximal valuation rings.- Examples of almost maximal Bezout domains.- Examples of Torch rings. 120 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 354009508X ISBN 13: 9783540095088
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 26,70
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Additive systems.- Cancellative systems.- Uniqueness and nonuniqueness. 116 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095268 ISBN 13: 9783540095262
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 42,79
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A sound and complete proof system for partial program correctness.- The problem of reachability and verification of programs.- Assertion programming.- Complexity classes of formal languages.- Fast probabilistic algorithms.- Relative succinctness of representations of languages and separation of complexity classes.- On two types of loops.- Full abstraction for a simple parallel programming language.- On some developments in cryptography and their applications to computer science.- Searching, sorting and information theory.- Lcf: A way of doing proofs with a machine.- Axioms or algorithms.- Power from power series.- Computational complexity of string and graph ident ification.- A survey of grammar and l forms-1978.- A theoretical study on the time analysis of programs.- Completeness problems in verification of programs and program schemes.- Relationships between AFDL's and cylinders.- Computable data types.- Program equivalence and provability.- Interactive L systems with almost interactionless behaviour.- On the simplification of constructions in degrees of unsolvability via computational complexity.- An algebraic extension of the Chomsky ¿ hierarchy.- Bounds on computational complexity and approximability of initial segments of recursive sets.- On the weighted path length of binary search trees for unknown access probabilities.- Computational complexity of approximation algorithms for combinatorial problems.- A reduct-and-closure algorithm for graphs.- Small universal Minsky machines.- Parallel and two-way recognizers of directed acyclic graphs.- Fully effective solutions of recursive domain equations.- A note on computational complexity of a statistical deducibility testing procedure.- Context free normal systems.- New proofs for jump dpda's.- Synchronization and maximality for very pure subsemigroups of a free semigroup.- On the sets of minimal indices of partial recursive functions.- Some remarks on Boolean sums.- On the propositional algorithmic logic.- Ch(k) grammars: A characterization of LL(k) languages.- A uniform approach to balanced binary and multiway trees.- On the generative capacity of some classes of grammars with regulated rewriting.- Validity test for Floyd's operator-precedence parsing algorithms.- On the languages of bounded Petri nets.- Dyck language D2 is not absolutely parallel.- Fixed points in the power-set algebra of infinite trees.- On relaxation rules in algorithmic logic.- L-Fuzzy functorial automata.- Schematics of structural parallel programming and its applications.- On axiomatization of deterministic propositional dynamic logic.- Bounded recursion and complexity classes.- Characterization of rational and algebraic power series.- A crossing measure for 2-tape Turing machines.- The complexity of lexicographic sorting and searching.- An algebraic approach to concurrence.- On multitape automata.- A turing machine oracle hierarchy.- A survey of some syntactic results in the -calculus.- On rational expressions representing infinite rational trees : Application to the structure of flow charts. 596 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095012 ISBN 13: 9783540095019
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 48,14
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -and background.- Ehrenfeucht games and decision procedures.- Integer addition ¿ An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds. 256 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095160 ISBN 13: 9783540095163
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 48,14
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fourier transforms of some invariant distribution on semisimple Lie groups and Lie algebras.- Global solvability of bi-invariant differential operators on solvable Lie groups.- ¿Base change¿ g¿¿ique : Rel¿ment de la s¿e principale de GL(n, / ).- Sur la m¿ode des orbites.- Polynomes de Vogan pour SL(n, ).- On a fundamental series of representations related to an affine symmetric space.- Higher order tensor products of wave equations.- W-module structure in the primitive spectrum of the enveloping algebra of a semisimple Lie algebra.- Functions on the shilov boundary of the generalized half plane.- K-types and singular spectrum.- A vanishing theorem for L2-cohomology in the nilpotent case.- The Eichler Commutation Relation and the continuous spectrum of the weil representation. 252 pp. Englisch, Französisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095136 ISBN 13: 9783540095132
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,45
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -General notations.- Schwartz spaces.- Vector sequence spaces and absolutely summing mappings.- Nuclear spaces.- Tensor products.- Tensor products of ordered convex spaces. 428 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540096094 ISBN 13: 9783540096092
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Background and scope.- The Cartesian tensor formulation.- The Boolean tensor formulation.- The reachability criterion.- The term rank criterion.- On partitioning of A digraph.- Towards a total systems description.- Some general remarks. 136 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 354009525X ISBN 13: 9783540095255
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -to the algebraic theory of graph grammars (a survey).- A tutorial and bibliographical survey on graph grammars.- Partially-additive monoids, graph-growing, and the algebraic semantics of recursive calls.- Rewriting systems as a tool for relational data base design.- Programmed graph grammars.- Shortest path problems and tree grammars: An algebraic framework.- Constructing specifications of abstract data types by replacements.- Decomposition of graph grammar productions and derivations.- Locally star gluing formulas for a class of parallel graph grammars.- Transformations of data base structures.- Explicit versus implicit parallel rewriting on graphs.- Two-level graph grammars.- A pumping lemma for context-free graph languages.- Two-dimensional, differential, intercalary plant tissue growth and parallel graph generating and graph recurrence systems.- Parallel generation of maps: Developmental systems for cell layers.- Processes in structures.- Map grammars: Cycles and the algebraic approach.- On multilevel ¿ Graph grammars.- Graph grammars and operational semantics.- Complexity of pattern generation by map-L systems.- A graph grammar that describes the set of two-dimensional surface networks.- Definition of programming language semantics using grammars for hierarchical graphs.- Determinism in relational systems.- Analysis of programs by reduction of their structure.- Graphs of processors.- Definitional mechanisms for conceptual graphs.- A graph-like lambda calculus for which leftmost-outermost reduction is optimal.- Relationships between graph grammars and the design and analysis of concurrent software.- Cellular graph automata.- List of participants. 492 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540092552 ISBN 13: 9783540092551
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Statistical description of systems in classical mechanics.- Study of equilibrium distributions.- The law of large numbers for macroscopic variables and the foundations of thermodynamics. 136 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Jul 1979, 1979
ISBN 10: 902472239X ISBN 13: 9789024722396
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Conference 'Solar Energy for Development' was held from the 26th to the 29th of March 1979 in Varese, Italy. The Conference was organised by the Commission of the European Communities to assess the potential of solar energy for meeting the needs in the developing countries, particularly in their rural areas. The objectives of the Conference were threefold: - To review those solar energy technologies which are appropriate for large scale utilisation in the short and medium term; - To appraise problems which may be alleviated by a better use of conventional solar energy and the introduction of appropriate new solar technologies; - To recommend ways and means of extending the use of solar energy, taking into account technical and non-technical criteria. Before the Conference, in September and October 1978, five regional solar energy seminars were held in Nairobi (East Africa), Bamako (West Africa), Amman (Arab countries), Caracas (Latin America) and New Delhi (South and South-East Asia). With the help of the experts at these seminars a general working document was established and made available to the participants of the Conference. 280 experts from 80 countries all over the world were invited by the Commission to attend the Conference. The United Nations and 11 other regional and international organisa tions were represented. The Conference was opened by Dr. Guido Brunner, Member of the Commission responsible for Energy, Research, Science and Education, in the presence of Dr. 244 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jul 1979, 1979
ISBN 10: 3540096124 ISBN 13: 9783540096122
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 304 pp. Englisch.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 220 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands Jul 1979, 1979
ISBN 10: 0412161303 ISBN 13: 9780412161308
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes the experimental study of evolution and adaptation, carried out by means of combined field-work and laboratory genetics. That technique has been developed during the last forty years or so by my colleagues and myself, and by a small but increasing number of geneticists throughout the world. In discussing what has been achieved by these means many relevant pieces of work familiar to me have been omitted, while doubtless there are others that have escaped my attention. To those who have thus laboured without recognition here, I offer my apologies. Yet I would not include further examples were I writing again, and this for two reasons. First, my aim is not to produce a com pendium in the German fashion, for I have endeavoured to develop principles with enough instances to illustrate them but no more. Secondly, this book is in danger of becoming too long as it is: one which is in general consulted only in libraries, not read familiarly by students. 484 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Spektrum Jul 1979, 1979
ISBN 10: 354009508X ISBN 13: 9783540095088
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 26,70
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Additive systems.- Cancellative systems.- Uniqueness and nonuniqueness.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 116 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Spektrum Jul 1979, 1979
ISBN 10: 3540095144 ISBN 13: 9783540095149
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 26,70
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Limiting absorption principle.- Asymptotic behavior of the radiative function.- Spectral representation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 160 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Spektrum Jul 1979, 1979
ISBN 10: 3540095071 ISBN 13: 9783540095071
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 26,70
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Linearly compact modules and almost maximal rings.- h-Local domains.- Valuation rings and Bezout rings.- Basic facts about FGC rings and the local case.- Further facts about FGC rings and Torch rings.- The Zariski and Patch topologies of the spectrum of a ring.- The Stone-Cech compactification of N.- Relating topology to the decomposition of modules.- The main theorem.- Valuations.- Long power series rings.- Maximally complete valuation domains.- Examples of maximal valuation rings.- Examples of almost maximal Bezout domains.- Examples of Torch rings.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 120 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Spektrum Jul 1979, 1979
ISBN 10: 3540095063 ISBN 13: 9783540095064
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 26,70
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A representation theorem for fibered knots and their monodromy maps.- Homogeneity of S2 ¿T2.- A link calculus for 4-manifolds.- Nice spines of 3-manifolds.- Introducting doodles.- Generators for the mapping class group.- On the mapping class group of simple 3-manifolds.- Shake ¿ Slice knots.- Signatures of iterated torus knots.- Some homology 3-spheres which bound acyclic 4-manifolds.- A criterion for an embedded surface in 3 to be unknotted.- An elliptical path from parabolic representations to hyperbolic structures.- Presentations and the trivial group.- On the genera of knots.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 164 pp. Englisch.
Lingua: Francese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095128 ISBN 13: 9783540095125
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 37,40
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Quelques applications des C\*-algebres et des algebres de von Neumann a l¿etude des representations des groupes.- Projecteurs dans U(G) : un exemple.- Sur la theorie non commutative de l¿integration.- Application de la K-theorie algebrique aux C\*-algebres.- A density theorem for left Hilbert algebras.- Initiation a l¿algebre de Calkin.- Moyennabilite du groupe unitaire et propriete P de Schuartz des algebres de von Neumann.- Characterization and norms of derivations on von Neumann algebras.- An invariant for group actions.- K-theorie algebrique de certaines algebres d¿operateurs.- Automorphic group representations : The hyperfinite II1 factor and the Weyl algebra. 324 pp. Englisch, Französisch.
Lingua: Inglese
Editore: Springer, Springer Jul 1979, 1979
ISBN 10: 3540095268 ISBN 13: 9783540095262
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 42,79
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A sound and complete proof system for partial program correctness.- The problem of reachability and verification of programs.- Assertion programming.- Complexity classes of formal languages.- Fast probabilistic algorithms.- Relative succinctness of representations of languages and separation of complexity classes.- On two types of loops.- Full abstraction for a simple parallel programming language.- On some developments in cryptography and their applications to computer science.- Searching, sorting and information theory.- Lcf: A way of doing proofs with a machine.- Axioms or algorithms.- Power from power series.- Computational complexity of string and graph ident ification.- A survey of grammar and l forms-1978.- A theoretical study on the time analysis of programs.- Completeness problems in verification of programs and program schemes.- Relationships between AFDL's and cylinders.- Computable data types.- Program equivalence and provability.- Interactive L systems with almost interactionless behaviour.- On the simplification of constructions in degrees of unsolvability via computational complexity.- An algebraic extension of the Chomsky - hierarchy.- Bounds on computational complexity and approximability of initial segments of recursive sets.- On the weighted path length of binary search trees for unknown access probabilities.- Computational complexity of approximation algorithms for combinatorial problems.- A reduct-and-closure algorithm for graphs.- Small universal Minsky machines.- Parallel and two-way recognizers of directed acyclic graphs.- Fully effective solutions of recursive domain equations.- A note on computational complexity of a statistical deducibility testing procedure.- Context free normal systems.- New proofs for jump dpda's.- Synchronization andmaximality for very pure subsemigroups of a free semigroup.- On the sets of minimal indices of partial recursive functions.- Some remarks on Boolean sums.- On the propositional algorithmic logic.- Ch(k) grammars: A characterization of LL(k) languages.- A uniform approach to balanced binary and multiway trees.- On the generative capacity of some classes of grammars with regulated rewriting.- Validity test for Floyd's operator-precedence parsing algorithms.- On the languages of bounded Petri nets.- Dyck language D2 is not absolutely parallel.- Fixed points in the power-set algebra of infinite trees.- On relaxation rules in algorithmic logic.- L-Fuzzy functorial automata.- Schematics of structural parallel programming and its applications.- On axiomatization of deterministic propositional dynamic logic.- Bounded recursion and complexity classes.- Characterization of rational and algebraic power series.- A crossing measure for 2-tape Turing machines.- The complexity of lexicographic sorting and searching.- An algebraic approach to concurrence.- On multitape automata.- A turing machine oracle hierarchy.- A survey of some syntactic results in the -calculus.- On rational expressions representing infinite rational trees : Application to the structure of flow charts.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 596 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Vieweg Jul 1979, 1979
ISBN 10: 3540095160 ISBN 13: 9783540095163
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 48,14
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Fourier transforms of some invariant distribution on semisimple Lie groups and Lie algebras.- Global solvability of bi-invariant differential operators on solvable Lie groups.- ¿Base change¿ g¿¿ique : Rel¿ment de la s¿e principale de GL(n, / ).- Sur la m¿ode des orbites.- Polynomes de Vogan pour SL(n, ).- On a fundamental series of representations related to an affine symmetric space.- Higher order tensor products of wave equations.- W-module structure in the primitive spectrum of the enveloping algebra of a semisimple Lie algebra.- Functions on the shilov boundary of the generalized half plane.- K-types and singular spectrum.- A vanishing theorem for L2-cohomology in the nilpotent case.- The Eichler Commutation Relation and the continuous spectrum of the weil representation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands Jul 1979, 1979
ISBN 10: 9024722276 ISBN 13: 9789024722273
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 85,55
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -BELDING H. SCRIBNER The year was 1942 and Will em Kolff was hard at 60's, we encountered exactly the same kind of work perfecting the device that would not only resistance to the concept of chronic dialysis. But revolutionize the treatment of renal failure, but as has happened over and over again in all of more importantly point the way to the develop science, the heresy of one decade becomes the ment of the entire field of extracorporeal devices practice of the next - a phenomenon that the in general and cardiac bypass devices in particular. young heretics among the third generation readers The enormity of the impact that Kolffs con of this volume should not forget. tribution was to have on medicine was revealed And so, today Drukker, Parsons and Maher retrospectively to me when I recalled that in that have successfully undertaken the very difficult same year, 1942, I was a second year medical task of bringing together in one volume all the student at Stanford University, taking among diverse elements of dialysis therapy. The size of other things, P. J. Hanzlik's required course in the volume reflects not only the magnitude ofthe pharmacology. I have two memories of that interdisciplinary effort that brought about the course. One was the requirement that we students technical and clinical advances, but also the learn to recognize 64 old time drugs by appear many clinical and other ramifications of dialysis ance, smell and taste. For better or worse, almost therapy. 768 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540093036 ISBN 13: 9783540093039
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 85,55
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The question of how man has emerged must be as old as human thought itself. However, it was not until last century that, amidst a storm of opposition and highly emotional criticism, man was first conceived as a product of evolution rather than creation. Moreover, it is not yet thirty years since the chemical composition and molecular structure of the hereditary material was fully understood or the chromosome number of man became known. It should not be surprising then, to find how little, at present, we understand how our genes and chromosomes operate, and how they have evolved during phylogeny. In this work I have discussed how our own chromosomes have been transmitted and altered as far back as we may trace their phylogeny into the past. To make the work more complete, the composition and evolution of our own genome had also to be consiered in order to understand some of the recent findings at the chromosome level. These have resulted from using methods for localizing repetitive and single copy DNA sequences in chromosomes. Moreover, the development of biochemical methods of studying evolution at the macromolecular level has not only led to a more complete understanding of the evolutionary mechanisms, but has enabled us to make comparisons with evolutionary change at the chromosome level. In addition, a simple reference to the fossil record was necessary, because impressive discoveries in recent years have supplied valuable data on man's evolution. 208 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands Jul 1979, 1979
ISBN 10: 0412161508 ISBN 13: 9780412161506
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 85,59
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In revising the text opportunity has been taken to introduce SI units throughout. An Appendix has been included which contains tables of SI units and a table of conversion factors for use when consulting data in non-SI units. Chapter 19 now includes experiments demon strating the use of ion-exchange and solid-liquid chromatography_ Exercises involving colorimetry have been included in Chapter 17. These techniques are introduced as part of a complementary exercise where their relevance is seen as part of a complete piece of work. Minor improvements have been made to some of the experimental procedures and we are grateful to those who have made helpful suggestions in this respect. G. PASS H. SUTCLIFFE iii Preface to the First Edition The student of inorganic chemistry is fortunate in having a wide choice of textbooks covering the descriptive and theoretical aspects of the sUbject. There is no comparable choice of textbooks covering practical inorganic chemistry. Moreover, there is a tendency for many students to draw an unfortunate distinction between chemistry taught in the lecture room, and laboratory work. Consideration of these points prompted the preparation of this book, in which we have attempted to emphasize the relationship between theory and practice. 260 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands Jul 1979, 1979
ISBN 10: 9027708932 ISBN 13: 9789027708939
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 85,55
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -IAU Symposium No. 82, 'Time and the Earth's Rotation', met to discuss modern research in the field of the rotation of the Earth with particu lar emphasis on the role of new observational techniques in this work. The use of these techniques has prompted a new look at the definitions of the traditional reference systems and the concepts of the rotation of the Earth around its center of mass. Specific topics discussed were time, polar motion, reference systems, conventional radio interferometry, very'long baseline interferometry (VLBI), Doppler satellite methods, satellite laser ranging, lunar laser ranging, and geophysical research concerning the Earth's rotation. Improvement in the accuracy of the observations is a key to possible solutions of the many unsolved problems remaining in this field. It appears that such improvement, using both classical and new techniques, is forthcoming in the near future. This will surely contribute to a better understanding of some of the long-standing questions concerning the rotation of the Earth around its center of mass and lead to an improved knowledge of the rotating, deformable Earth. This volume contains the papers presented at IAU Symposium No. 82 as well as the discussions provoked by these papers. It is hoped that it captures the principal points of the meeting and that it will contribute not only to a better understanding of existing problems, but also to future research in time and the Earth's rotation. 356 pp. Englisch.