springer berlin heidelberg aug 1992 (88 résultats)

Taschenbuch. Etat : Neu. Neuware -About ten years ago, V.D. Goppa found a surprisingconnection between the theory of algebraic curves over afinite field and error-correcting codes. The aim of themeeting 'Algebraic Geometry and Coding Theory' was to give asurvey on the present state of research in this field andrelated topics. The proceedings contain research papers onseveral aspects of the theory, among them: Codes constructedfrom special curves and from higher-dimensional varietiesDecoding of algebraic geometric codes, Trace codes, Exponential sums, Fast multiplication in finite fields, Asymptoticnumber of points on algebraic curves, Sphere packings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This volume presents the proceedings of the joint meetingCONPAR 92 - VAPP V, held in Lyon, France, September 1992.The international Conferences on Parallel Processing(CONPAR) and the meetings on Vector and Parallel Processorsin computational science (VAPP) have been held jointly sinceCONPAR 90 - VAPP IV, held in Zurich.The aim of the meeting presented in this volume is to reviewhardware and architecture developmentstogether withlanguages and software tools for supporting parallelprocessing and to highlight advances in models, algorithmsandapplications software on vector and parallelarchitectures. The papers in the volume are organized intosections on networks, software tools, distributedalgorithms, dedicated architectures, numerical applicationssystolic algorithms, parallel linear algebra, architecturesshared virtual memory, load balancing, data parallelismparallel algorithms, image processing, compiling andscheduling, simulation and performance analysis, parallelartificialintelligence, dataflow architectures, parallelprogramming, and poster presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 876 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. The aim of the workshop was to evaluate current methods of code generation and to indicate the main directions which future research is likely to take. It provided an excellent forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialised gatherings. This volume contains 14 of the 30 papers presented at the Dagstuhl workshop. The papers deal mainly with the following four topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures. As a direct result of one of these discussions, a group of the participants have collaborated to make a pure BURS system available for public distribution. This system, named BURG, is currently being beta-tested. Code Generation - Concepts, Tools, Techniques provides a representative summary of state-of-the-art code generation techniques and an important assessment of possible future innovations. It will be an invaluable reference work for researchers and practitioners in this important area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book gives a comprehensive account of traditional and more recent developments in macroeconomic theory. It is written primarily for students at the intermediate level. The book differs from the customary expositions in that the authors do not discuss topic by topic but orthodoxy by orthodoxy. Thus, the main approaches, like Classical theory, Keynesian theory, theory of portfolio selection, Monetarism, Rational Expectations theory, and Neokeynesian 'disequilibrium' theory are presented in historical order. Each of these approaches is substantiated and criticized in a self-contained chapter, and the authors have taken great pains to bring out the relations and differences between them. A mathematical appendix reviews those mathematical facts which are especially important for macroeconomic models and serves to make the text easy to read.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -In a multi-disciplinary approach the book deals withliposome dermatics fromthe chemist's, pharmacist's, biologist's as well as clinician's point of view. It features the production of liposomes, appropriate raw materials, encapsulation of active ingredients, possible incorporation into vehicles such as gels, assessment of stability, fate of liposomes and active ingredients exposed to animaland human skin both in vitro and in vivo, activity of topical liposome preparations in normal and inflamed skin in animal and man as well as efficacy in skin diseases in man. Other aspects covered comprise the ecological and juridic area. The scope being theoretical and practical at a time, the book provides a sound basis for future developments to meet the needs of patients suffering from so far recalcitrant skin diseases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Etat : Neu. Neuware -An arrangement of hyperplanes is a finite collection ofcodimension one affine subspaces in a finite dimensionalvector space. Arrangements have emerged independently asimportant objects in various fields of mathematics such ascombinatorics, braids, configuration spaces, representationtheory, reflection groups, singularity theory, and incomputer science and physics.This book is the first comprehensive study of the subject.It treats arrangements with methods from combinatoricsalgebra, algebraic geometry, topology, and group actions. Itemphasizes general techniques which illuminate theconnections among the different aspects of the subject. Itsmain purpose is to lay the foundations of the theory.Consequently, it is essentially self-contained and proofsare provided. Nevertheless, there are several new resultshere. In particular, many theorems that were previouslyknown only for central arrangements are proved here for thefirst time in completegenerality.The text provides the advanced graduate student entry into avital and active area of research. The working mathematicianwill findthe book useful as a source of basic results ofthe theory, open problems, and a comprehensive bibliographyof the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -'Lieber Herr A., Sie hatten so viele Fragen - und meine Zeit war so begrenzt. Hoffentlich war Ihre Entscheidung richtig. Wäre sie anders ausgefallen, wenn ich mir mehr Zeit genommen hätte Ausführlicher, verständlicher und geduldiger erklärt hätte Lassen Sie mich das Versäumte nachholen. Dieses Buch ist für Sie geschrieben.' Herrmann Mannebach beschreibt in seinem Buch allgemeinverständlich und unterhaltsam den Aufbau und die Arbeitsweise des gesunden Herzens, die wichtigsten Untersuchungen bei Herzerkrankungen und ihre Behandlungsweise. Ratschläge zur Gesunderhaltung und Krankheitsvorsorge ergänzen die Diskussion der verschiedenen Behandlungsarten. Medizinische Fachausdrücke sind in einem Anhang erklärt. Das Buch hilft damit zu einem besseren Verständnis der Herzerkrankung und zu einer besseren Verständigung zwischen Arzt und Patient.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Waschmittel haben eine wichtige Aufgabe in der Hygiene. Gleichzeitig sollen sie die Umwelt nicht belasten. Das ist ein interessantes Gebiet für den Chemiker. Stache und Großmann führen verständlich in die Textilkunde und die Physik der Grenzflächen ein. Sie stellen dar, welche Vor- und Nachteile die verschiedenen waschaktiven Substanzen für die Reinigung und die Umwelt haben. Und sie zeigen auf, was für eine komplizierte Mischung von Grundstoffen für das Waschergebnis notwendig ist. Die zweite Auflage des erfolgreichen Buches geht besonders auf die moderneren Ansichten über die Umweltverträglichkeit der Waschhilfsstoffe ein. Grundlage sind die neuesten gesetzlichen Vorschriften.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Ist der Fisch nicht munter, sinkt er standig runter oder wirkt er wie paniert, ihn eine Parasitose ziert. Mehr als 2,5 Millionen Aquarianer erfreuen sich in Deutschland taglich an der Formenvielfalt und Farben pracht ihrer oft seltenen und z. T. nur schwer nachzuchtba ren Zierfische. Die Gesundheit dieser Tiere, von denen 50 Arten im Bild vorgestellt werden, ist von einer Vielzahl von Parasiten bedroht, die sich haufig explosionsartig ausbrei ten und dann in nur wenigen Tagen zum Tode ganzer Be stan de fiihren konnen. Selbst schwacher Befall kann enor me Schaden bewirken, zumal Parasiten Eintrittspforten fur andere Erreger wie Bakterien, Viren oder Pilze schaffen. Da in vielen Fallen das rechtzeitige Erkennen von Parasiten de ren Bekiimpfung ermoglicht und das Wissen urn mogliche Dbertragungsmechanismen die Dbertragung vollig verhin dem kann, wird in diesem Buch Anleitung zur schnell en Selbsthilfe geboten und gleichzeitig aufgezeigt, wo der Fachmann bzw. der Tierarzt herangezogen werden muK So solI dem Aquarianer anhand von Farbfotos, Schemata, Ta bellen und einfachen Bestimmungsschlusseln die Suche nach Parasiten und deren richtige Diagnose ermoglicht wer den. 1m Text, der bei jedem Erreger jeweils in die Abschnit te Fundort, Auftreten, Biologie und Merkmale, Ubertra gung, Symptome der Erkrankung, Diagnose, Vorbeugung und BekampfungsmaGnahmen gegliedert ist, wird dann in ubersichtlicher uhd anschaulicher Weise alles Notwendige zur Bekiimpfung (bis hin zur Chemotherapie) von Parasiten v zusammengestellt und auf den aktuellen Stand der Thera pie, unter Einbeziehung eigener Untersuchungen, gebracht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Aus den Besprechungen: '. dieses gehaltvolle Buch . ist je zur Hälfte der linearen Algebra und der klassischen Geometrie gewidmet. Neben dem Standardmaterial der linearen Algebra werden auch eingehend die Jordansche Normalform und deren Anwendung auf die Lösung von Systemen linearer Differentialgleichungen mit konstanten Koeffizienten und, ausführlicher als üblich, einiges aus der Hilberttheorie behandelt. Wegen seiner reichen und interessanten Stoffauswahl und der Ökonomie der Darstellung ist das Buch sowohl als Grundlage von Vorlesungen wie zum Selbststudium bestens geeignet.' #Internationale Mathematische Nachrichten#1 In der nun 3. Auflage finden sich auf oft geäußerten Wunsch erneut zahlreiche Übungsaufgaben.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Hochkomplexe elektronische Schaltungen werden in immer mehrBereichen der Technik eingesetzt, in denen es auf eine hoheZuverl{ssigkeit ankommt, wie z.B. der Medizin und derVerkehrstechnik. Eine effiziente ]berpr}fung dieserSchaltungen, m|glichst in Form eines 'Selbsttests', istdeshalb von entscheidender Bedeutung.Das Buch beschreibt zun{chst Verfahren f}r denautomatisierten Entwurf und den Test hochintegrierterSchaltungen und f}hrt dann beide Themengebiete zu einereinheitlichen Entwurfsmethodik zusammen. Der Test - alsexterner Test mit Hilfe von Pr}fpfaden oder als Selbsttestwird damit zu einem organischen Bestandteil des Entwurfs.Die Zuverl{ssigkeit von Schaltungen kann so mit erheblichgeringeren Mehrkosten als bisher gesteigert werden.Das Buch spricht neben Fachleuten f}r Entwurfswerkzeuge vorallem Entwickler hochintegrierter Schaltungen an. Der Autorwurde f}r diese Arbeit mit dem VMI-Preis 1991 des Verbandsder Metallindustrie Baden-W}rttemberg ausgezeichnet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Deutsch.

Buch. Etat : Neu. Neuware -Der bekannte Astronom Karl Schwarzschild (1873-1916) giltals der Begr}nder der Astrophysik und als hervorragenderForscher mit einer erstaunlichen Bandbreite seinerInteressen. Arbeiten zur Himmelsmechanik, Elektrodynamik undRelativit{tstheorie weisen ihn als vorz}glichenMathematiker und Physiker seiner Zeit aus. Untersuchungenzur Photographischen Photometrie, Optik und Spektroskopiezeigen den versierten Beobachter, der sein Me~instrumentbeherrscht. Schlie~lich arbeitete Schwarzschild alsAstrophysiker und an Sternatmosph{ren, Kometen, Struktur undDynamikvon Sternsystemen. Die in seinem kurzen Lebenentstandene F}lle von wissenschafltichen Arbeiten ist indrei B{nden der Gesamtausgabe gesammelt, erg{nzt durchbiographisches Material und ein Essay des Nobelpreistr{gersS. Chandrasekhar und Annotationen von Fachleuten in jedemder drei B{nde. 564 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -About ten years ago, V.D. Goppa found a surprisingconnection between the theory of algebraic curves over afinite field and error-correcting codes. The aim of themeeting 'Algebraic Geometry and Coding Theory' was to give asurvey on the present state of research in this field andrelated topics. The proceedings contain research papers onseveral aspects of the theory, among them: Codes constructedfrom special curves and from higher-dimensional varieties,Decoding of algebraic geometric codes, Trace codes, Exponen-tial sums, Fast multiplication in finite fields, Asymptoticnumber of points on algebraic curves, Sphere packings. 240 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains 10 invited papers and 40 shortcommunications contributed for presentation at the 17thSymposium on Mathematical Foundations of Computer Science,held in Prague, Czechoslovakia, August 24-28, 1992.The series of MFCS symposia, organized alternately in Polandand Czechoslovakia since 1972, has a long and wellestablished tradition. The purpose of the series is toencourage high-quality research in all branches oftheoretical computer science and to bring togetherspecialists working actively in the area.Numerous topics are covered in this volume. The invitedpapers cover: range searching with semialgebraic sets, graphlayout problems, parallel recognition and ranking ofcontext-free languages, expansion of combinatorialpolytopes, neural networks and complexity theory, theory ofcomputation over stream algebras, methods in parallelalgorithms, the complexity of small descriptions, weakparallel machines, and the complexity of graph connectivity. 536 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software process technology emerged as an identifiedresearch and development activity in the early 1980s. Sincethen, several international workshops and conferences havecontributed to the creation of an international communitywith a common understanding of the concepts involved.Numerous prototypes and tools are now appearing to supportthesoftware process life cycle. The first European Workshopon Software ProcessTechnology was held in 1991, which ledamong other things to the creation ofan ESPRIT workinggroup. EWSPT '92 is the first event of this working group.This volume presents the proceedings of EWSPT '92. Thepapers areorganized into sections on:- Concepts and reference frameworks,- Humanand social aspects in process modelling,- Process engines and enactment mechanisms,- Models,- Process lifecycle. 268 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book has its source in the question of whether anyknowledge engineering tools can be applied or analyzed incognition research and what insights and methods ofcognitive science might be relevant for knowledge engineers.It presents the proceedings of a workshop organized by theSpecial Interest Groups Cognition and Knowledge Engineeringof the German Society for Informatics, held in February 1992in Kaiserslautern.The book is structured into three parts. The first partcontrasts work in knowledge engineering with approaches fromthe side of the 'soft sciences'. The second part deals withcase-based approaches in expert systems. Cognition researchand the cognitive adequacy of expert systems are discussedin the third part. Contributions from Canada, England,France, Switzerland, and the USA demonstrate how knowledgeengineering and cognitive science are woven togetherinternationally. 276 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the joint meetingCONPAR 92 - VAPP V, held in Lyon, France, September 1992.The international Conferences on Parallel Processing(CONPAR) and the meetings on Vector and Parallel Processorsin computational science (VAPP) have been held jointly sinceCONPAR 90 - VAPP IV, held in Zurich.The aim of the meeting presented in this volume is to reviewhardware and architecture developmentstogether withlanguages and software tools for supporting parallelprocessing and to highlight advances in models, algorithms,andapplications software on vector and parallelarchitectures. The papers in the volume are organized intosections on networks, software tools, distributedalgorithms, dedicated architectures, numerical applications,systolic algorithms, parallel linear algebra, architectures,shared virtual memory, load balancing, data parallelism,parallel algorithms, image processing, compiling andscheduling, simulation and performance analysis, parallelartificialintelligence, dataflow architectures, parallelprogramming, and poster presentations. 876 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. The aim of the workshop was to evaluate current methods of code generation and to indicate the main directions which future research is likely to take. It provided an excellent forum for the exchange of ideas and had the added advantage of bringing together European and American experts who were unlikely to meet at less specialised gatherings. This volume contains 14 of the 30 papers presented at the Dagstuhl workshop. The papers deal mainly with the following four topics: tools and techniques for code generation, code generation for parallel architectures, register allocation and phase ordering problems, and formal methods and validations. Most of the papers assess the progress of on-going research work, much of which is published here for the first time, while others provide a review of recently completed projects. The volume also contains summaries of two discussion groups which looked at code generation tools and parallel architectures. As a direct result of one of these discussions, a group of the participants have collaborated to make a pure BURS system available for public distribution. This system, named BURG, is currently being beta-tested. Code Generation - Concepts, Tools, Techniques provides a representative summary of state-of-the-art code generation techniques and an important assessment of possible future innovations. It will be an invaluable reference work for researchers and practitioners in this important area. 336 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universitiesresearch institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between theory and practice, andon practical applications.The introduction to the volume is by R. Kowalski, one of thepioneers in the field. The following papers are organizedinto sections on constraint logic programming, deductivedatabases and expert systems, processing of natural andformal languages, software engineering, and education. 340 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book gives a comprehensive account of traditional and more recent developments in macroeconomic theory. It is written primarily for students at the intermediate level. The book differs from the customary expositions in that the authors do not discuss topic by topic but orthodoxy by orthodoxy. Thus, the main approaches, like Classical theory, Keynesian theory, theory of portfolio selection, Monetarism, Rational Expectations theory, and Neokeynesian 'disequilibrium' theory are presented in historical order. Each of these approaches is substantiated and criticized in a self-contained chapter, and the authors have taken great pains to bring out the relations and differences between them. A mathematical appendix reviews those mathematical facts which are especially important for macroeconomic models and serves to make the text easy to read. 348 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP '92) held in Leuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional, and object-oriented programming. The topics discussed in the volume include: - Declarative implementation techniques; - Implementation of declarative concepts and modules; - Compiler specification and construction; - Program transformation; - Programming environments for declarative languages; - Amalgamation of logic programming with algorithmic, functional, or object-oriented techniques; - Executable specification. 508 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Chemical modifications of supracrustal materials haveoccurred at various times in the Earth's history. Thisreference book gives an overlook over themost recentfindings of isotope research in the sedimentary environment.The reader, interested in the diagnetic evolution ofsediments, can use the book as a tool for the understandingof mineral-water interactions in the supracrustal level. 540 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universitiesresearch institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between theory and practice, andon practical applications.The introduction to the volume is by R. Kowalski, one of thepioneers in the field. The following papers are organizedinto sections on constraint logic programming, deductivedatabases and expert systems, processing of natural andformal languages, software engineering, and education.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers 'f x : ~ 1 x ~ O fx = x + 1 (i) 'f x : ~ 1 x ~ O fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. This contradicts the fact that f was declared as a function, that is, f must have a unique result when applied to an argument. Hence no suchfexists. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced! From 1 = 2 anything can be deduced, thus showing the danger of an inconsistent specification. Note that all examples and proofs start with the word Example or Proof and end with the symbol.1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS). In addition, there are five papers which have been included because of their relevance to the subject of the workshop. The book represents something of a landmark in software engineering research. The British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS) has an established reputa tion among researchers in formal methods of software specification, design and validation. These researchers have not in the past paid much attention to software measurement. Perhaps software measurement re search was felt to have emphasised its management potential at the expense of proper scientific foundations At any rate, for the FACS group to host a workshop in this field is recognition of the significant body of formal measurement theories and techniques which has now become available to software engineers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This monograph is the result of merging parts of the authors's doctoral dissertations presented at The University of Pennsylvania in the spring of 1991. We would like to thank the members of our dissertation committees, Francis X. Diebold, Roberto S. Mariano and Marc Nerlove for their guidance and helpful comments. We received very good comments from Albert Ando, Yin-Wong Cheung, William English, S0ren Johansen, W. Krelle, Bruce Mizrach and seminar participants at the University of Pennsylvania and the XV Simposio de Analisis Econ6mico in Barcelona. Our thanks also to Werner A. MUller of Springer-Verlag for his help. Of course, any remaining errors are ours. We are indebted to Departamento de Trabajo del Gobierno Vasco and the Department of Economics at the University of Pennsylvania for financial support through our graduate studies. The research underlying this work was partially supported by two Alfred P. Sloan Foundation Fellowships. We could not have written this monograph without the support received from our families. Sections wi thin chapters are numbered using roman numerals. References to equations within the same chapter are of the form (11.7) whereas if they correspond to different chapters are (2.1V.4). TABLE OF CONTENTS CHAPTER 1. Introduction 1 CHAPTER 2. The Monetary Model of Exchange Rate Determination. I. Introduction. . . . 7 II. Monetary Models . . . 8 III. The Asset Market View 13 IV. Empirical Evidence 15 V. Treatment of Nonstationary Variables 16 CHAPTER 3. Long Run Exchange Rate Determination I.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP '92) held in Leuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional, and object-oriented programming. The topics discussed in the volume include: - Declarative implementation techniques; - Implementation of declarative concepts and modules; - Compiler specification and construction; - Program transformation; - Programming environments for declarative languages; - Amalgamation of logic programming with algorithmic, functional, or object-oriented techniques; - Executable specification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Software process technology emerged as an identifiedresearch and development activity in the early 1980s. Since then, several international workshops and conferences have contributed to the creation of an international community with a common understanding of the concepts involved. Numerous prototypes and tools are now appearing to support thesoftware process life cycle. The first European Workshop on Software ProcessTechnology was held in 1991, which led among other things to the creation ofan ESPRIT working group. EWSPT '92 is the first event of this working group. This volume presents the proceedings of EWSPT '92. The papers areorganized into sections on: - Concepts and reference frameworks, - Humanand social aspects in process modelling, - Process engines and enactment mechanisms, - Models, - Process lifecycle.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.