Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540629572ISBN 13: 9783540629573
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In Deutschland hat sich nach dem Zusammenbruch des Weltwährungssystems von Bretton Woods ein stabilitätspolitisches Regime etabliert, das dem Ziel der Geldwertstabilisierung Vorrang vor den anderen stabilitätspolitischen Zielen gibt. Dieses Lehrbuch untersucht die Implikationen einer Dominanz der Geldwertstabilisierung für alle Bereiche der Stabilitätspolitik. In die Untersuchung werden auch die stabilitätspolitischen Strategien einer künftigen Europäischen Währungsunion einbezogen. Im Anschluß an eine kurze Einführung in die methodischen und theoretischen Grundlagen der Stabilitätspolitik werden modellanalytische Schlußfolgerungen zur Stabilitätspolitik jeweils mit konkreten Problemlagen für komplexe Handlungssituationen konfrontiert. TOC:Theoretische Grundlagen der Stabilisierung: Die Instabilität von Marktprozessen.- Der Konjunkturzyklus.- Die Inflation.- Die Stagnation.- Der Entwurf stabilitätspolitischer Strategien: Rollenverteilung in der Stabilitätspolitik.- Die Rolle der Geldpolitik.- Die offene Volkswirtschaft: Geldpolitik als Wechselkurspolitik.- Die Rolle der Einkommenspolitik.- Die Rolle der Finanzpolitik.- Die Rolle der Arbeitsmarktpolitik.- Wirtschaftspolitische Probleme der deutschen Vereinigung.- Die Stabilisierungsaufgabe in einem integrierten Europa: Theorie des optimalen Währungsraumes.- Das Europäische Währungssystem (EWS).- Die Europäische Währungsunion und der Vertrag von Maastricht.- Finanzpolitik in einer Währungsunion. 332 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540631038ISBN 13: 9783540631033
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This survey covers groups of homotopy self-equivalence classes of topological spaces, and the homotopy type of spaces of homotopy self-equivalences. For manifolds, the full group of equivalences and the mapping class group are compared, as are the corresponding spaces. Included are methods of calculation, numerous calculations, finite generation results, Whitehead torsion and other areas. Some 330 references are given. The book assumes familiarity with cell complexes, homology and homotopy. Graduate students and established researchers can use it for learning, for reference, and to determine the current state of knowledge. 188 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 354063438XISBN 13: 9783540634386
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Information extraction (IE) is a new technology enabling relevant content to be extracted from textual information available electronically. IE essentially builds on natural language processing and computational linguistics, but it is also closely related to the well established area of information retrieval and involves learning. In concert with other promising and emerging information engineering technologies like data mining, intelligent data analysis, and text summarization, IE will play a crucial role for scientists and professionals as well as other end-users who have to deal with vast amounts of information, for example from the Internet. As the first book solely devoted to IE, it is of relevance to anybody interested in new and emerging trends in information processing technology. 232 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 354060734XISBN 13: 9783540607342
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Maple V est un logiciel de calcul formel qui comporte non seulement un environnement interactif mais aussi un langage de programmation. Programmer avec Maple V est un ouvrage entièrement nouveau qui présente les caractéristiques de ce langage de programmation. Après une introduction aux principes généraux de la programmation, l'ouvrage présente les multiples possibilités des structures de données de Maple à travers des exemples variés allant de la simple évaluation mathématique à la réalisation de programmes complexes. Les chapitres qui suivent sont consacrés à des thèmes particuliers comme la description des structures de données utilisées par Maple pour élaborer des graphiques des entrées/sorties ou l'utilisation du debogueur. 416 pp. Französisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633502ISBN 13: 9783540633501
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In dem MaBe, wie die Tourismusbranche einer verscharften Wettbewerbsdynamik bei einer sich standig wandelnden Nachfrage ausgesetzt ist, werden die Entschei dungstrager in den unterschiedlichsten Tourismusbereichen vor neue und veranderte Herausforderungen gestellt. Diese Marktsituation erfordert vor allem die Entwick lung situationsgerechter strategischer Optionen und Marketing-MaBnahmen, die den vorhandenen Leistungspotentialen sowie den Nachfrage- und Konkurrenzbedin gungen gerecht werden. Urn diese Entwicklungsarbeit und die sich daran anschlie Bende Umsetzungsarbeit leisten zu konnen, ist ein spezifisches Know-how notwen dig. Die Notwendigkeit eines Marketing-Managementwissens ist nicht nur der Pra xis bewuGt. An allen Hochschulen, Akademien und Institutionen der Weiterbil dung, die Tourismus im Lehrangebot vorhalten, ist die 'ehrwiirdige' Fremdenver kehrslehre zum Tourismusmarketing bzw. -management mutiert. Einem markt orientierten Tourismusmanagementwissen kommt somit ein hoher Stellenwert zu. Ein wissenschaftliches Lehrbuch zum marktorientierten Tourismusmanagement, das sich vor diesem Hintergrund insbesondere an Studierende und in der beruflichen Praxis tatige Personen wendet, muG eine Gratwanderung zwischen Untersuchungs und Gestaltungsobjekt durchmachen. SolI ein Rezeptbuch fUr die Praxis vorgelegt und dabei der Eindruck erweckt werden, das Tourismusgeschehen sei ohne wei teres gestaltbar, dann mag es geniigen, Gegenstande darzustellen bzw. zu beschreiben und vermeintliche Losungen vorzugeben. Will man dagegen von einem wissen schaftlichen Lehrbuch verlangen, ein besseres Verstandnis fUr den Tourismus in seiner Umwelt- und Marktdynamik zu gewinnen, dann muB man sich wissenschaft lich fundierter Argumentationen bedienen. Dabei muG die Praxis nicht auf der Strecke bleiben. Nur was erkannt (untersucht) ist, liefert Begriindungen fUr prakti sche Probleme und deren Losungen. 408 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540628045ISBN 13: 9783540628040
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Für zahlreiche neue Anwendungen vor allem in der Kommunikationstechnik sind die III-V-Verbindungshalbleiter die technologische Basis. Entsprechend wertvoll wird das Wissen über die Herstellungstechniken von Bauelementen für integrierte Mikrowellenschaltungen, denen dieses Werk gewidmet ist. Es wendet sich als Lehr- und Fachbuch an Studenten und Entwicklungsingenieure, denen der Einstieg in dieses Gebiet durch den methodischen Ansatz und den Verweis auf die aktuelle internationale Fachliteratur erleichtert wird. Besonders hervorzuheben ist die ausführliche Behandlung von Halbleiter-Heterostukturen. 220 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540628770ISBN 13: 9783540628774
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -o Preisgünstig, professionell + praxisgerechto Mit Anwendungsbeispielen und praktischen Tipso Demoversionen zahlreicher DTP-ProgrammeNeuauflage jetzt mit Adobe Photoshop 4.0 212 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633987ISBN 13: 9783540633983
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc. 444 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540634061ISBN 13: 9783540634065
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general. 276 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540632182ISBN 13: 9783540632184
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Regenerative Energiequellen sind besonders durch die Frage nach effizientem Schutz unserer Atmosphäre zum zentralen Bestandteil der energiepolitischen Diskussion geworden. Ein gleichnamiges Lehrbuch stellt die regenerativen Energiequellen nicht nur unter physikalischen, technischen und wirtschaftlichen Gesichtspunkten dar, sondern behandelt auch die für unser Land interessantesten Nutzungsmöglichkeiten. Dieses Praktikumsbuch gibt Anleitungen zur Durchführung von Versuchen, die vom Leser teilweise auch selbständig durchgeführt werden können. Auch wenn der Leser diese Experimente nicht selbst durchführt, ermöglichen Beispiele von Versuchsauswertungen deren gedanklichen Nachvollzug. Verständnisfragen mit entsprechenden Antworten erlauben die Kontrolle des erlernten Wissens. 176 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540631542ISBN 13: 9783540631545
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Beatmung bedeutet nicht immer Intubation oder Tracheotomie, sondern kann auch oft nichtinvasiv und mit gleicher Effektivität über nasale oder oronasale Masken erfolgen. Ausgehend von typischen Fallberichten, neuen pathophysiologischen Überlegungen zur Bedeutung der Hyperkapnie sowie von aktuellen Übersichten über nichtinvasive Beatmungsverfahren im Kindes- und Erwchsenenalter wird der Stellenwert der nasalen Maskenbeatmung bei Patienten mit Mukoviszidose und anderen Lungenerkrankungen untersucht. Dabei werden Erfahrungen einzelner Kliniken sowie die Ergebnisse von Multizenterstudien in Deutschland dargestellt. Die Lungentransplantation bei Mukoviszidose wird aus internistisch-pädiatrischer, chirurgischer und psychologisch-ethischer Sicht ausführlich und kritisch diskutiert. Beatmung bedeutet nicht immer Intubation oder Tracheotomie. Oft kann Beatmung auch nichtinvasiv und mit gleicher Effektivität über nasale oder oronasale Masken erfolgen. Sie muß auch nicht automatisch ganztägig durchgeführt werden, sondern ist durchaus für nur einige Stunden pro Tag (intermittierend) möglich. Diese Form der Beatmung wird z.B. eingesetzt, wenn die Atemmuskulatur aufgrund einer Krankheit erschöpft ist ('Insuffizienz der Atempumpe'). Mit der nichtinvasiven, intermittierenden nasalen Maskenbeatmung können zahlreiche Patienten mit chronischer Ateminsuffizienz Unterstützung erhalten. Ausgehend von den typischen Fallberichten, neuen pathophysiologischen Überlegungen zur Bedeutung der Hyperkapnie sowie von aktuellen Übersichten über nichtinvasive Beatmungsverfahren im Kindes- und Erwachsenenalter wird der Stellenwert der nasalen Maskenbeatmung bei Patienten mit Mukoviszidose und anderen chronischen Lungenerkrankungen untersucht. Dabei werden die Erfahrungen einzelner Kliniken sowie die Ergebnisse von Multizenterstudien in Deutschland dargestellt. Die Lungentransplantation bei Mukoviszidose wird aus internistisch-pädiatrischer, chirurgischer und psychologisch-ethischer Sicht ausführlich und kritisch diskutiert. Der Stellenwert der Maskenbeatmung als Brücke zur Lungentransplantation wird dadurch deutlich. z 180 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540634479ISBN 13: 9783540634478
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Arbeit entstand wahrend meiner Tatigkeit als wissenschaftlicher Mitar beiter am Fraunhofer-Institut fur Produktionstechnik und Automatisierung (IP A), Stuttgart. Mein besonderer Dank gilt dem ehemaligen Leiter des IP A und derzeitigen Prasidenten der Fraunhofer-Gesellschaft, Herm Professor Dr.-Ing. Dr. h. c. mult. Hans-Jiirgen Warnecke, fur seine wohlwollende Unterstiitzung und Forderung der Arbeit. Herm Professor Dr.-Ing. Gisbert Lechner danke ich fur die Durchsicht der Arbeit und fur die Obemahme des Mitberichts. Aus dem Kreis der Kollegen am Institut, die mich durch ihre Mitarbeit und anregende Kritik unterstlitzt haben, mochte ich die Herren Dr.-Ing. Bernhard Klumpp, Prof. Dr.-Ing. Dr. h. c. Rolf Dieter Schraft sowie Dr.-Ing. Manfred Schweizer besonders hervorheben. Auch sollen die Hiwis, Diplomarbeiter und Praktikanten nicht unerwahnt bleiben, die mich wahrend dieser Zeit tatkraftig unterstlitzt haben. Bei ihnen allen bedanke ich mich herzlich. Ein ganz besonderes Dankeschon gilt meinem ehemaligen Kollegen Herm Dr.-Ing. Elmar Degenhart, der auch in schwierigen Zeiten ermutigende Worte gefunden hat, sowie meinen Freunden Dr.-Ing. Oliver Krockenberger und Dipl.-Ing. Jiirgen Roth fur ihre ausdauemde Diskussionsbereitschaft wahrend der Entstehung dieses Werkes. 176 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540629742ISBN 13: 9783540629740
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In diesem Buch werden neuere Arbeiten zur Grundlage und Therapie von Alkoholkrankheit dargestellt. Das Spektrum der Themen reicht dabei über tierexperimentelle Arbeiten und Arbeiten zu neurobiologischen Grundlagen des Alkoholismus bis hin zu klinischen Themen, speziell der Komorbidität von Alkoholismus mit psychischen Störungen (Angsterkrankungen, Schizophrenien, Folgestörungen), sowie neuen therapeutischen Ansätzen. Dabei wird ein Überblick sowohl über psychotherapeutische wie pharmakotherapeutische Möglichkeiten der Behandlung und Rehabilitation alkohol- kranker Patienten gegeben. Das Buch wendet sich an alle an der Alkoholismusforschung und der Behandlung Alkoholkranker interessierten Ärzte, Psychologen und Grundlagenforscher. 200 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633995ISBN 13: 9783540633990
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference documentation of the First Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'96, held in Taejon, Korea, in November 1996.The 23 revised full papers were selected for inclusion in this book on the basis of 2 rounds of reviewing and improvements. Also included are invited papers by John L. Casti and Lawrence J. Fogel. The volume covers a wide range of current topics in simulated evolution and learning e.g. evolutionary optimization, evolutionary learning, artificial life, hybrid evolutionary fuzzy systems, evolutionary artificial neural networks, co-evolution, novel evolutionary approaches to computer tomography image reconstruction, power systems load flow control, and water flow control in cropped soils. 248 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540634126ISBN 13: 9783540634126
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings originating from the Second Australian Workshop on Distributed Artificial Intelligence, held in Cairns, QLD, Australia, in August 1996, as a satellite meeting of PRICAI'96.The 13 revised full papers presented have been selected for inclusion in the book during a very careful and iterated process of reviewing and improvement. Among these papers are three invited ones, by leading scientists, solicited in order to round off the overall presentation and coverage of relevant topics. A wide range of multi-agent systems issues is covered including methodologies, cooperation, conflict resolution, applications, mobility, adaptation, negotiation, and implementations. 212 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540631364ISBN 13: 9783540631361
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is devoted to perturbation theory for the Schrödinger operator with a periodic potential, describing motion of a particle in bulk matter. The Bloch eigenvalues of the operator are densely situated in a high energy region, so regular perturbation theory is ineffective. The mathematical difficulties have a physical nature - a complicated picture of diffraction inside the crystal. The author develops a new mathematical approach to this problem. It provides mathematical physicists with important results for this operator and a new technique that can be effective for other problems. The semiperiodic Schrödinger operator, describing a crystal with a surface, is studied. Solid-body theory specialists can find asymptotic formulae, which are necessary for calculating many physical values. 364 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540635165ISBN 13: 9783540635161
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the Third International Workshop on Rules in Database Systems, RIDS '97, held in Skövde, June 1997.The 13 revised papers presented in the book were carefully reviewed and selected from 33 submissions. The book documents the state-of-the art in the area. The papers are devoted to deductive databases, active database systems architectures, events in workflow management, rule modelling and simulation, rule confluence, rule termination analysis, rule testing and validation, active database systems design. 228 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540634592ISBN 13: 9783540634591
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods. 308 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540635742ISBN 13: 9783540635741
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the 1997 IPPS Workshop on Job Scheduling Strategies for Parallel Processing held in Geneva, Switzerland, in April 1997, as a satelite meeting of the IEEE/CS International Parallel Processing Symposium.The 12 revised full papers presented were carefully reviewed and revised for inclusion in the book. Also included is a detailed introduction surveying the state of the art in the area. Among the topics covered are processor allocation, parallel scheduling, massively parallel processing, shared-memory architectures, gang scheduling, etc. 316 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633707ISBN 13: 9783540633709
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the German Conference on Bioinformatics, GCB'96, held in Leipzig, Germany, in September/October 1996. The volume presents 18 revised full papers together with three invited papers; these contributions were selected after a second round of reviewing from the 91 conference presentations. The book addresses current issues in computational biology and biologically inspired computing. The papers are organized in sections on biological and metabolic pathways, sequence analysis, molecular modeling, visualization, and formal languages, and DNA. 244 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 354063455XISBN 13: 9783540634553
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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 Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems. 328 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540631909ISBN 13: 9783540631903
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nur Contents aufnehmen 436 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540634541ISBN 13: 9783540634546
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Database research in the last decade has increasingly focused on providing support for non-standard applications. One important domain is representation and processing of spatial information, needed, e.g., in geographical information systems. Spatial data types provide a fundamental abstraction for modeling the structure of geometric entities, their relationships, properties and operations. This monograph is an extensive survey of this field and introduces a new, general, sophisticated framework for the formal definition and robust implementation of spatial data types. 296 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633790ISBN 13: 9783540633792
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS. 356 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540629025ISBN 13: 9783540629023
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Depressionsstationen dokumentieren einen wichtigen Fortschritt in der Behandlung depressiver Patienten. Das Buch stellt die Einrichtungen und die Erfahrungen vor und beschreibt neue Psychotherapie-Methoden, neue Antidepressiva und integrative Behandlungsansätze. 300 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540635203ISBN 13: 9783540635208
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 Urn bei weitestgehend gesattigten Markten im internationalen 1 Konkurrenzkampf bestehen zu konnen, sind GroBserienfertiger mehr und mehr gezwungen, mit ihrem Produktprogramm dem Indivi dualismus der Kunden Rechnung zu tragen. Dies fuhrte zu einem bislang noch nicht erreichten AusmaB an Produktdiversifizierung auf allen Produktebenen. Mit der zunehmenden Vielfalt an Pro dukten ging eine Stuckzahlsplittung einher, so daB einst typi sche GroBserienfertiger aus wirtschaftlichen Oberlegungen her aus heute in vielen Fertigungsbereichen mit standig kleiner werdenden Losen bedarfsgerecht fertigen mussen. Urn moglichst viele Fertigungsstufen harmonisch, ohne Variantenkomplexitat betreiben zu konnen, gehen die Empfehlungen dahin, die Varian ten moglichst weit hinten in der Wertschopfungskette entstehen zu lassen. In der Montage, tiblicherweise der letzten Fertigungsstufe in nerhalb der Wertschopfungskette, wirkt sich dieser Sachverhalt besonders drastisch aus. Hier herrscht heute der Organisations typ Mehrproduktlinienfertigung2 mit der LosgroBe eins vor. Die 3 se hohe Variantenvielfalt , mit den an einem Montagearbeits platz variantenabhangig stark schwankenden Arbeitsinhalten, 1 Die Serienfertigung kann nach (Dolezalek 81) als ununterbrochene Ferti gung gleicher Erzeugnisse in der fUr ein Los (optimale LosgroBe) erfor derlichen Menge definiert werden. Dabei kann das Los ein Teil einer Serie sein, die in mehrere Fertigungslose aufgeteilt wird. Wesentlich dabei ist, daB die gesamte StUckzahl des Loses an jedem Arbeitsplatz ohne Un terbrechung durch Einrichtearbeit gefertigt wird. Je nach StUckzahl un terscheidet man Klein-, Mittel- und GroBserienfertigung. 2 In Anlehnung an die im englischen Sprachraum Ubliche Bezeichnung 'mix model-assembly' oder 'model-mix-assembly' werden Mehrproduktmontageli nien, welche die LosgroBe 1 bevorzugen, als Modell-Mix-Montagelinien be zeichnet (Koether 85). 144 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633383ISBN 13: 9783540633389
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Dissertation entstand während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Institut für Werkzeugmaschinen und Betriebswissenschaften (iwb) der Technischen Universität München. Herrn Prof. Dr. -Ing. Dr. h. c. Joachim Milberg und Herrn Prof. Dr. -Ing. Gunther Reinhart, den Leitern dieses Instituts, gilt mein besonderer Dank für die wohlwollende Förderung und großzügige Unterstützung meiner Arbeit. Bei Herrn Prof. Dr. -Ing. U. Lindemann, dem Leiter des Lehrstuhls für Konstruktion im Maschinenbau der Technischen Universität München, möchte ich mich für die Übernahme des Korreferates und die aufmerksame Durchsicht meiner Arbeit sehr herzlich bedanken. Darüberhinaus bedanke ich mich bei allen Mitarbeiterinnen und Mitarbeitern des Instituts sowie allen Studenten, die mich bei der Erstellung meiner Arbeit unterstützt haben, recht herzlich. Mein besonderer Dank gilt schließlich meiner Frau. Ihr beruflicher Fleiß und Einsatz waren mir Vorbild bei der Erstellung dieser Arbeit. München, im Mai 1997 Ulrich Krönert Inhaltsverzeichnis Inhaltsverzeichnis 1 Einleitung und Zielsetzung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. 1 Ausgangssituation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. 2 Mangelnde Transparenz produktbezogener Informationen . . . . . . . . . . . . . . . . . . . . 2 1. 3 Zielsetzung der Arbeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1. 4 Vorgehen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Begriffsbestimmung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2. 1 Methoden der Lösungsfindung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2. 2 Was ist Ähnlichkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3 Methoden und Werkzeuge für die Ähnlichteilsuche und Standardisierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 3. 1 Übersicht . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 3. 2 Klassifizierung (Schlüsselung, Nummerung) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3. 2. 1 Übersicht . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3. 2. 2 Verfahren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3 . 2. 3 Anwendung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2. 4 Bewertung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3. 3 Sachmerkmale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 pp. Deutsch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633839ISBN 13: 9783540633839
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Conference on Coordination Models and Languages, COORDINATION '97, held in Berlin, Germany, in September 1997.The 22 revised full papers and 6 posters presented in the book were carefully reviewed and selected from a total of 69 submissions. Also included are three invited papers. The papers are devoted to an emerging class of languages and models, which have been variously termed coordination languages, configuration languages, and architectural description languages. These formalisms provide a clean separation between software components and their interaction in the overall software organization, which is particularly important for large-scale applications and open systems. 452 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540634681ISBN 13: 9783540634683
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination. 432 pp. Englisch.
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540618236ISBN 13: 9783540618232
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Erstmalig wird die Entwicklung verfahrenstechnischer Prozesse von der Aufgabenstellung über Synthese, Analyse und Bewertung bis hin zur Entscheidung über ihre technische, ökologische und wirtschaftliche Durchführbarkeit dargestellt. Anhand von Vorgehensplänen und vielen praktischen Beispielen werden systematische, planmäßige Vorgehensweisen für den Entwicklungsprozeß demonstriert. Das Buch bietet mit seiner ganzheitlichen Betrachtungsweise der Systemtechnik einen modernen didaktischen Ansatz. Es schließt Sicherheits- und Umwelttechnik in die Verfahrensentwicklung ein. 656 pp. Deutsch.