springer berlin heidelberg jul 1996 (68 risultati)

Taschenbuch. Condizione: Neu. Neuware -We investigate a two-person game of litigation and settlement with incomplete information on one side. So far, various theoretical attempts have been made to answer the question of why some people choose not to resolve their disputes and instead go to court and incur litigation costs, even if bargaining leaves room for both parties to fare better when avoiding the conflict. We can distinguish between games which focus on strategic elements like games with incomplete information (see, for example, P'ng (1983), Samuelson (1982) and Schweizer (1989» and decision-theoretic models neglecting strategic elements (see, for example, Landes (1971) and Gould (1973». The single-person decision theory approach to litigation assumes litigants to have a subjective estimate of the likelihood that the plaintiff will win the action. Differing views on the probability of winning the court case help to explain the fraction of cases that actually go to trial. Among others, P'ng (1983) points out the shortcomings of the single-person decision theory approach which does not take into account, for example, the different fee systems in England and the U.S. and the differences in information conflicting parties may have. P'ng constructs a model of one-sided incomplete information where the settlement terms are given exogenously. Schweizer (1989), on the other hand, extends P'ng's model and allows for two-sided asymmetric information where the settlement terms are determined endogenously.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -1. 1 Rational Expectations and Learning to Become Rational A characteristic feature of dynamic economic models is that, if future states of the economy are uncertain, the expectations of agents mat ter. Producers have to decide today which amount of a good they will produce not knowing what demand will be tomorrow. Consumers have to decide what they spend for consumption today not knowing what prices will prevail tomorrow. Adopting the neo-classical point of view that economic agents are 'rational' in the sense that they behave in their own best interest given their expectations about future states of the ecomomy it is usually assumed that agents are Bayesian deci sion makers. But, as LUCAS points out, there remains an element of indeterminacy: Unfortunately, the general hypothesis that economic agents are Bayesian decision makers has, in many applications, lit tle empirical content: without some way of infering what an agent's subjective view of the future is, this hypothesis is of no help in understanding his behavior. Even psychotic behavior can be (and today, is) understood as 'rational', given a sufficiently abnormal view of relevant probabili ties. To practice economics, we need some way (short of psychoanalysis, one hopes) of understanding which decision problem agents are solving. (LucAs (1977, p. 15)) 2 CHAPTER 1. INTRODUCTION 1. 1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Practical Usage of ISPF Dialog Manager is a concise and comprehensive source of information for the development of applications using IBM's Dialog Management package. Dialog Manager is a vehicle for implementing dialogue applications (such as PDF - Program Development Facility) and is very well suited to the implementation of individual dialogue systems and those systems which are required to run from the TSO/ISPF environment. It is also ideally suited for prototyping.This book is intended for both beginners and experts. With its carefully chosen blend of theory and practice, and extensive use of examples and case studies, this book will provide an invaluable guide to all those needing to learn about or using the ISPF Dialog Manager.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Crypto '96, the Sixteenth Annual Crypto Conference, is sponsored by the International Association for Cryptologic Research (IACR), in cooperation with the IEEE Computer Society Technical Committee on Security and P- vacy and the Computer Science Department of the University of California at Santa Barbara (UCSB). It takes place at UCSB from August 18 to 22, 1996. The General Chair, Richard Graveman, is responsible for local organization and registration. The scientific program was organized by the 16-member Program C- mittee. We considered 115 papers. (An additional 15 submissions had to be summarily rejected because of lateness or major noncompliance with the c- ditions in the Call for Papers.) Of these, 30 were accepted for presentation. In addition, there will be five invited talks by Ernest Brickell. Andrew Clark, Whitfield Diffie, Ronald Rivest, and Cliff Stoll. A Rump Session will be chaired by Stuart Haber. These proceedings contain the revised versions of the 30 contributed talks. least three com- The submitted version of each paper was examined by at mittee members and/or outside experts, and their comments were taken into account in the revisions. However, the authors (and not the committee) bear full responsibility for the content of their papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -GEORGE CHRISTOU Indiana University, Bloomington I am no doubt representative of a large number of current inorganic chemists in having obtained my undergraduate and postgraduate degrees in the 1970s. It was during this period that I began my continuing love affair with this subject, and the fact that it happened while I was a student in an organic laboratory is beside the point. I was always enchanted by the more physical aspects of inorganic chemistry; while being captivated from an early stage by the synthetic side, and the measure of creation with a small c that it entails, I nevertheless found the application of various theoretical, spectroscopic and physicochemical techniques to inorganic compounds to be fascinating, stimulating, educational and downright exciting. The various bonding theories, for example, and their use to explain or interpret spectroscopic observations were more or less universally accepted as belonging within the realm of inorganic chemistry, and textbooks of the day had whole sections on bonding theories, magnetism, kinetics, electron-transfer mechanisms and so on. However, things changed, and subsequent inorganic chemistry teaching texts tended to emphasize the more synthetic and descriptive side of the field. There are a number of reasons for this, and they no doubt include the rise of diamagnetic organometallic chemistry as the dominant subdiscipline within inorganic chemistry and its relative narrowness vis-d-vis physical methods required for its prosecution.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Buch. Condizione: Neu. Neuware -The soil is the medium through which pollutants originating from human activities, both in agriculture and industry, move from the land surfaces to groundwater. Polluting substances are subject to complex physical, chemical and biological transformations during their movement through the soil. Their displacement depends on the transport properties of the water-air-soil system and on the molecular properties of the pollutants. Prediction of soil pollution and restoration of polluted soils requires an under standing of the processes controlling the fate of pollutants in the soil medium and of the dynamics of the contaminants in the un saturated zone. Our book was conceived as a basic overview of the processes governing the behavior of pollutants as affected by soil constituents and environmental factors. It was written for the use of specialists working on soil and unsaturated zone pollution and restoration, as well as for graduate students starting research in this field. Since many specialists working on soil restoration lack a back ground in soil science or a knowledge of the properties of soil pollutants, we have included this information which forms the first part of the book. In the second part, we discuss the partitioning of pollutants between the aqueous, solid and gaseous phase of the soil medium. The retention, transformation and transport of pollutants in the soils form the third section. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Das AIDS-Taschenwörterbuch in der aktuellen 3. Auflage - enthält alle wichtigen Begriffe im Zusammenhang mit HIV und Aids - informiert über Medikamente und Therapieverfahren - berücksichtigt alle Teilgebiete der Medizin - gibt Arzt und Pflegepersonal rasch AuskunftSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Beeinflussung mikroklimatischer Faktoren der Haut unter einem Plastik-Okklusivverband stellt eine sehr wirksame Therapiemodifikation bei der Behandlung chronisch-entzündlicher (Ekzeme) oder hyperproliferativer (Psoriasis) Hauterkrankungen dar. Voraussetzung ist die Kenntnis der Wirkprinzipien einer derartigen Verbandstechnik. Sowohl Ärzte als auch Pflegepersonal müssen mit der korrekten Technik eines Okklusivverbandes vertraut sein. In dem vorliegenden Band werden daher zunächst in übersichtlicher Form die theoretischen Grundlagen über die Effekte des Okklusivverbandes auf Haut und topisch applizierte Wirkstoffe, verwendbare Materialien und Medikamente sowie Indikationen und Kontraindikationen dieser Therapieform ausführlich erläutert. Es erfolgt eine umfassende Darstellung der einzelnen Verbandstechniken.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 64 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die vorliegende Arbeit entstand wiihrend meiner Tatigkeit als wissenschaftIicher Mitar beiter am Institut filr Steuerungstechnik der Werkzeugmaschinen und Fertigungseinrich tungen (ISW) der Universitat Stuttgart. Oem Leiter des ISW, Herrn Prof. Dr.-Ing. Dr. h.c. G. Pritschow gebiihrt mein besonderer Dank filr die Schaffung der Rahmenbedingungen, die flir das Gelingen dieser Arbeit wesentlich waren, flir seine wohlwollende Ftirderung und die Obemahme des Haupt berichtes. Herrn Prof. Dr.-Ing. A. Storr danke ieh filr die sorgfaItige Durchsicht und seine wert vollen Anregungen. Fiir die Erstellung des Mitberichtes gilt mein Dank Herrn Prof. Dr.-Ing. habil. Dr. h.c. Prof. E.h. H.-J. Bullinger. Das kollegiale Umfeld am ISW, gepragt durch den Willen zur Zusammenarbeit und gegenseitigen Unterstiitzung, hat wesentlich zum Gelingen dieser Arbeit beigetragen. Bei allen Kolleginnen, Kollegen und Studenten, die mich in diesem Sinne unterstiitzt haben, mtichte ich mich ganz herzlich bedanken. Mein besonderer Dank gilt Frau Heinze sowie den Herren Dr.-Ing. C. Daniel, Dipl.-Ing. P. Demel, Dipl.-Ing. G. Hochholzer, Dr. Ing. W. Schittenhelm und Dr.-Ing. E. Wieland. Herrn R. Wohlfart danke ich filr die technische Unterstiitzung. An dieser Stelle mtichte ich es nieht versaumen, mich bei meinen Eltem Gerda und Karl Angerbauer ganz herzlich filr die Iiebevolle Forderung meiner Ausbildung bis hin zur Promotion zu bedanken. Nicht zuletzt will ich mich bei meiner Frau Ursula und meiner Tochter Katrin filr den moralischen Riickhalt bedanken und mich flir die Zeit entschuldigen, die sie mich ent behren muBten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1. 1 Rational Expectations and Learning to Become Rational A characteristic feature of dynamic economic models is that, if future states of the economy are uncertain, the expectations of agents mat ter. Producers have to decide today which amount of a good they will produce not knowing what demand will be tomorrow. Consumers have to decide what they spend for consumption today not knowing what prices will prevail tomorrow. Adopting the neo-classical point of view that economic agents are 'rational' in the sense that they behave in their own best interest given their expectations about future states of the ecomomy it is usually assumed that agents are Bayesian deci sion makers. But, as LUCAS points out, there remains an element of indeterminacy: Unfortunately, the general hypothesis that economic agents are Bayesian decision makers has, in many applications, lit tle empirical content: without some way of infering what an agent's subjective view of the future is, this hypothesis is of no help in understanding his behavior. Even psychotic behavior can be (and today, is) understood as 'rational', given a sufficiently abnormal view of relevant probabili ties. To practice economics, we need some way (short of psychoanalysis, one hopes) of understanding which decision problem agents are solving. (LucAs (1977, p. 15)) 2 CHAPTER 1. INTRODUCTION 1. 1. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Crypto '96, the Sixteenth Annual Crypto Conference, is sponsored by the International Association for Cryptologic Research (IACR), in cooperation with the IEEE Computer Society Technical Committee on Security and P- vacy and the Computer Science Department of the University of California at Santa Barbara (UCSB). It takes place at UCSB from August 18 to 22, 1996. The General Chair, Richard Graveman, is responsible for local organization and registration. The scientific program was organized by the 16-member Program C- mittee. We considered 115 papers. (An additional 15 submissions had to be summarily rejected because of lateness or major noncompliance with the c- ditions in the Call for Papers.) Of these, 30 were accepted for presentation. In addition, there will be five invited talks by Ernest Brickell. Andrew Clark, Whitfield Diffie, Ronald Rivest, and Cliff Stoll. A Rump Session will be chaired by Stuart Haber. These proceedings contain the revised versions of the 30 contributed talks. least three com- The submitted version of each paper was examined by at mittee members and/or outside experts, and their comments were taken into account in the revisions. However, the authors (and not the committee) bear full responsibility for the content of their papers. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines. 456 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems.Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We investigate a two-person game of litigation and settlement with incomplete information on one side. So far, various theoretical attempts have been made to answer the question of why some people choose not to resolve their disputes and instead go to court and incur litigation costs, even if bargaining leaves room for both parties to fare better when avoiding the conflict. We can distinguish between games which focus on strategic elements like games with incomplete information (see, for example, P'ng (1983), Samuelson (1982) and Schweizer (1989' and decision-theoretic models neglecting strategic elements (see, for example, Landes (1971) and Gould (1973'. The single-person decision theory approach to litigation assumes litigants to have a subjective estimate of the likelihood that the plaintiff will win the action. Differing views on the probability of winning the court case help to explain the fraction of cases that actually go to trial. Among others, P'ng (1983) points out the shortcomings of the single-person decision theory approach which does not take into account, for example, the different fee systems in England and the U.S. and the differences in information conflicting parties may have. P'ng constructs a model of one-sided incomplete information where the settlement terms are given exogenously. Schweizer (1989), on the other hand, extends P'ng's model and allows for two-sided asymmetric information where the settlement terms are determined endogenously. 188 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Shells and plates have been widely studied by engineers during the last fifty years. As a matter of fact an important number of papers have been based on analytical calculations. More recently numerical simulations have been extensively used. for instance for large displacement analysis. for shape optimization or even -in linear analysis -for composite material understanding. But all these works lie on a choice of a finite element scheme which contains usually three kinds of approximations: 1. a plate or shell mndel including smnll parameters associated to the thickness, 2. an approximntion of the geometry (the medium sUrface of a shell and its boundary), 3. afinite element scheme in order to solve the mndel chosen. VI Obviously the conclusions that we can draw are very much depending on the quality of the three previous choices. For instance composite laminated plates with damage like a delamination is still an open problem even if interesting papers have already been published and based on numerical simulation using existing fmite element and even plate models. - In our opinion the understanding of plate modelling is still an area of interest. Furthermore the links between the various models have to be handled with care. The certainly best understood model is the Kirchhoff-Love model which was completely justified by P. O. Ciarlet and Ph. Destuynder in linear analysis using asymptotic method. But the conclusion is not so clear as far as large displacements are to be taken into account. 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995.The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management. 372 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation. 492 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996.The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding. 344 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '96, held in Santa Barbara, California, in August 1996.The volume presents 28 revised full papers selected from 51 submissions; also included are one full invited paper by Torben Hagerup and abstracts of four other invited talks. The papers are organized in topical sections on sparse matrix problems, partitioning and domain composition, irregular applications, communication and synchronization, systems support, and mapping and load balancing. 376 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The lecture courses of the CIME Summer School on Probabilistic Models for Nonlinear PDE's and their Numerical Applications (April 1995) had a three-fold emphasis: first, on the weak convergence of stochastic integrals; second, on the probabilistic interpretation and the particle approximation of equations coming from Physics (conservation laws, Boltzmann-like and Navier-Stokes equations); third, on the modelling of networks by interacting particle systems. This book, collecting the notes of these courses, will be useful to probabilists working on stochastic particle methods and on the approximation of SPDEs, in particular, to PhD students and young researchers.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Shells and plates have been widely studied by engineers during the last fifty years. As a matter of fact an important number of papers have been based on analytical calculations. More recently numerical simulations have been extensively used. for instance for large displacement analysis. for shape optimization or even -in linear analysis -for composite material understanding. But all these works lie on a choice of a finite element scheme which contains usually three kinds of approximations: 1. a plate or shell mndel including smnll parameters associated to the thickness, 2. an approximntion of the geometry (the medium sUrface of a shell and its boundary), 3. afinite element scheme in order to solve the mndel chosen. VI Obviously the conclusions that we can draw are very much depending on the quality of the three previous choices. For instance composite laminated plates with damage like a delamination is still an open problem even if interesting papers have already been published and based on numerical simulation using existing fmite element and even plate models. ¿ In our opinion the understanding of plate modelling is still an area of interest. Furthermore the links between the various models have to be handled with care. The certainly best understood model is the Kirchhoff-Love model which was completely justified by P. O. Ciarlet and Ph. Destuynder in linear analysis using asymptotic method. But the conclusion is not so clear as far as large displacements are to be taken into account.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996.The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '96, held in Santa Barbara, California, in August 1996.The volume presents 28 revised full papers selected from 51 submissions; also included are one full invited paper by Torben Hagerup and abstracts of four other invited talks. The papers are organized in topical sections on sparse matrix problems, partitioning and domain composition, irregular applications, communication and synchronization, systems support, and mapping and load balancing. 376 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems.Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994.The 31 full papers included in the book were chosen from originally 82 submissions and reflect the state of the art in the area of computer aided systems theory. The volume is divided into sections on foundations, methods, and tools and environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995.The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.