Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540607269 ISBN 13: 9783540607267
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch enthält eine durch zahlreiche Beispiele veranschaulichte Einführung in die objektorientierte Systemanalyse. Dem Leser werden die Grundlagen der Objektorientierung im einleitenden Teil des Buches erläutert. Anhand vielfältiger Beispiele und einer Fallstudie wird der von den Autoren gewählte Ansatz praxisorientiert dargestellt. Eine Darstellung des Übergangs von der Analyse- in die Designphase sowie ein Überblick über die heute verfügbare Computerunterstützung bilden weitere Schwerpunkte des Buches. 256 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540608125 ISBN 13: 9783540608127
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Vollständigkeit, klare Gliederung und Verständlichkeit zeichnen das dreiteilige Standardwerk aus. Theoretisch fundiert und zugleich praxisorientiert wendet es sich an alle, die sich mit Fragen und Aufgaben auf dem Gebiet des Marketing auseinandersetzen.Band 1 liefert die absatzwirtschaftlichen Verhaltens- und Informationsgrundlagen: das Käuferverhalten, die Marktforschung und Marketing-Prognosen. Die grundlegenden Inhalte dieser drei Bereiche werden anhand von Beispielen illustriert. Die dritte Auflage ist vollständig überarbeitet und erweitert.Das Kernstück des Gesamtwerks ist Band 2. Hier werden die Teilbereiche der Marketing-Politik umfassend und entscheidungsorientiert dargestellt. Dabei sind neue Kommunikationsinstrumente wie Product-Placement und Sponsoring aufgenommen.Im letzten Band werden Marketing-Planung, -Organisation und -Führung behandelt. Das methodische Instrumentarium wird durchweg anhand von Beispielen erörtert. 400 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540608621 ISBN 13: 9783540608622
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Gegenstand von Band 2 eines zweiteiligen Gesamtwerkes, das die wichtigsten betrieblichen Funktionen von Touristikunternehmen darstellt, sind eine Produktanalyse von Reisedienstleistungen, die Darstellung von Strategien und Instrumenten der Qualitätspolitik, die Produktpolitik einschließlich Programmplanung und Markenführung sowie kostenrechnerische und verhaltenswissenschaftliche Aspekte des Preismanagements. Konzeptionell überträgt das Buch den aktuellen Stand der betriebswirtschaftlichen Forschung auf die Touristik und arbeitet dabei die Konsequenzen der Tatsache besonders heraus, daß Reisen Produkte mit einem hohen Anteil persönlicher Dienstleistungen sind. Ein umfangreiches Verzeichnis der relevanten in- und ausländischen Literatur soll ein weiterführendes Vertiefungsstudium erleichtern. 372 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540604383 ISBN 13: 9783540604389
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ein lebendiges, gut verständliches und an moderner mathematischer Praxis orientiertes Werk in zwei Bänden, das alles enthält, was ein Ingenieurstudent in den ersten Semestern von der Analysis wissen sollte. Das sind im wesentlichen die Methoden und Anwendungen der Differential- und Integralrechnung auf der reellen Achse, in der Ebene und im dreidimensionalen Raum, inklusive Differentialgleichungen und Vektoranalysis. Besondere Vorzüge dieser Darstellung sind die geometrisch-begriffliche Herangehensweise sowie die eingestreuten Aufgaben, von denen ein großer Teil zur Behandlung mit Maple und Mathematica geeignet und entsprechend markiert ist. 336 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540606653 ISBN 13: 9783540606659
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch behandelt die heutige roboterorientierte Programmierung mit Roboterprogrammiersprachen und stellt wichtige Konzepte der zukünftigen aufgabenorientierten Programmierung intelligenter Roboter dar, z.B. Umweltmodellierung, Aufgabentransformatoren, regelbasierte Programmierung und Multiagentensysteme. Die zum Verständnis notwendigen Grundlagen, beispielsweise aus Mathematik, Informatik und Künstlicher Intelligenz, werden bereitgestellt. Viele Abbildungen unterstützen die Darstellung. Alle Konzepte werden durch ausführliche Beispiele, auch Programmierbeispiele, erläutert und vertieft, die auch zur Selbstkontrolle dienen.Das Buch ist geschrieben für Studierende der Informatik, des Maschinenbaus und der Elektrotechnik sowie für Ingenieure, die sich mit der Programmierung von Robotern beschäftigen. 320 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540606661 ISBN 13: 9783540606666
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch vermittelt die gängigen Methoden der Modellbildung und Analyse verteilter Systeme, die in der Leistungsbewertung von Rechner- und Kommunikationssystemen sowie von Fertigungssystemen angewendet werden. Zunächst werden die Grundlagen der Wahrscheinlichkeitsrechnung, der stochastischen Prozesse, der Markov- und der Erneuerungsprozesse behandelt, die zum Verständnis der analytischen Leistungsbewertungsverfahren erforderlich sind. Grundmodelle der klassischen Nachrichtenverkehrstheorie und des Operations Research werden eingehend beschrieben, wobei Modellierungs- und Anwendungsaspekte im Vordergrund stehen. Abschließend werden moderne Analysemethoden vorgestellt, z.B. zeitdiskrete Analyseverfahren und Algorithmen sowie die Klasse der matrixanalytischen Methoden. 260 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 354060572X ISBN 13: 9783540605720
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Unternehmen, die ihr Kreativitätspotential nutzen, können schnell und gewinnbringend kundengerechte Innovationen am Markt plazieren. Dazu bietet das Buch die geeigneten Kreativitätstechniken an, die individuell oder in interdisziplinären Gruppen einsetzbar sind. 284 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540608605 ISBN 13: 9783540608608
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel 'Grundlagen der Theoretischen Informatik'. Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen. 208 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540608680 ISBN 13: 9783540608684
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der Informatik, insbesondere in der Datenanalyse und Wissensverarbeitung. Das Buch vermittelt vor allem Methoden der graphischen Darstellung von Begriffssystemen, die sich in der Wissenskommunikation bestens bewährt haben. Theorie und graphische Darstellung werden dabei eng miteinander verknüpft. Die mathematischen Grundlagen werden vollständig abgehandelt und durch zahlreiche Beispiele anschaulich gemacht. Da zur Wissensverarbeitung immer stärker der Computer genutzt wird, gewinnen formale Methoden begrifflicher Analyse überall an Bedeutung. Das Buch macht die dafür grundlegende Theorie in kompakter Form zugänglich. 300 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540604391 ISBN 13: 9783540604396
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ein lebendiges, gut verständliches und an moderner mathematischer Praxis orientiertes Werk in zwei Bänden, das alles enthält, was ein Ingenieurstudent in den ersten Semestern von der Analysis kennenlernen sollte. Das sind im wesentlichen die Methoden und Anwendungen der Differential- und Integralrechnung auf der reellen Achse, in der Ebene und im dreidimensionalen Raum, inklusive Differentialgleichungen und Vektoranalysis. Besondere Vorzüge dieser Darstellung sind die geometrisch-begriffliche Herangehensweise sowie die eingestreuten Aufgaben, von denen ein großer Teil zur Behandlung mit Maple oder mit Mathematica geeignet und entsprechend markiert ist. 276 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540570039 ISBN 13: 9783540570035
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Als Repetitorium ergänzt dieses Werk ideal die beiden Lehrbücher des Autors im gleichen Verlag. Das Konzept unterscheidet sich wesentlich von anderen Aufgabensammlungen; der einführende Teil Repetitorium dient als Grundlage zur Vorbereitung auf die Prüfung. Die wesentlichen Lern-Inhalte sind hier zusammengefaßt. Das Werk eignet sich auch für Ingenieure der Praxis, um Wissensinhalte rasch nachschlagen zu können. Um die Lerninhalte sicher einsetzen zu können, sind die Übungen notwendig, die in den ergänzenden Arbeitsbüchern verfügbar sind. 660 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 354061043X ISBN 13: 9783540610434
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Solving combinatorial optimization problems can often lead to runtime growing exponentially as a function of the input size. But important real-world problems, industrial applications, and academic research challenges, may demand exact optimal solutions. In such situations, parallel processing can reduce the runtime from days or months, typical when one workstation is used, to a few minutes or even seconds.Partners of the CEC-sponsored SCOOP Project (Solving Combinatorial Optimization Problems in Parallel) contributed, on invitation, to this book; much attention was paid to competent coverage of the topic and the style of writing. Readers will include students, scientists, engineers, and professionals interested in the design and implementation of parallel algorithms for solving combinatorial optimization problems. 292 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540607536 ISBN 13: 9783540607533
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In studying General Equilibrium Theory the student must master first the theory and then apply it to solve problems. This book teaches the basic methods of proof and problem solving in General Equilibrium Theory. The problems cover the entire spectrum of difficulty; some are routine, some require a good grasp of the material involved, and some are exceptionally challenging. The book presents complete solutions to two hundred problems. In searching for the basic required techniques, the student will find a wealth of new material incorporated into the solutions. The student is challenged to produce solutions which are different from the ones presented in the book. 264 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540608001 ISBN 13: 9783540608004
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume includes revised final versions of the best papers presented at the fourth European Workshop on Natural Language Generation, EWNLG '93, held in Pisa, Italy in April 1993. Out of the 35 papers accepted for presentation at the workshop, 19 were selected for publication in this book.The papers deal with NLG from different perspectives: linguistics, artificial intelligence, psychology, and engineering. The broad spectrum covered and the outstanding quality of the papers presented are evidence of the remarkable dynamism of the field. 400 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540609415 ISBN 13: 9783540609414
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures. 260 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540610200 ISBN 13: 9783540610205
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Arbeit entstand wahrend meiner Tatigkeit als wissenschaftliche Mitarbeiterin am Fraunhofer-Institut flir Produktionstechnik und Automatisierung, Stuttgart. Mein Dank gilt Herrn Prof. Dr.-Ing. H.-I. Warnecke flir die groBziigige Unterstiitzung und For derung meiner Arbeit. Herrn Prof. Dr.-Ing. habil. D. Fichtner danke ich flir die eingehende Durchsicht der Arbeit und die wertvollen Hinweise, die sich daraus ergaben. Dariiberhinaus danke ich allen Mitarbeitern des Instituts, die mich durch ihre anregende Diskus sion und Kritik sowie durch ihre Hilfsbereitschaft unterstiitzt haben. Mein besonderer Dank gilt den Herren Dr. K. Melchior und Dr. W. Rauh. Sabine Roth-Koch Stuttgart, Dezember 1995 Inhaltsverzeichnis o Notation und Begriffe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 . . . . . . . . . . . . Einleitung . 15 2 Modelle im ProduktentstehungsprozeB . 21 2.1 Fonnale Mode1le . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 . . . . . . . . . . . . . . 2.1.1 Erfassen bildhafter und gestalthafter Modelle in fonnalen Modellen . 24 2.1.2 Priifen in fonnalen Modellen . 29 2.1.3 Verbessem und Aktualisieren in fonnalen Modellen . . . . . . . . . . . . . . . . 31 . . . . 2.2 Infonnationsverarbeitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 . . . . . . . . . . . 3 Definition von Freifonngeometrien in fonnalen Modellen . 37 3.1 Werkzeuge zur fonnalen Modellierung digitalisierter gestalthafter Modelle . . 37 3.2 Anforderungen an die fonnale Modellierung . . . . . . . . . . . . . . . . . . . 47 . . . . . . . 3.2.1 Systemtechnik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 . . . . . . . . . . . . . . . 3.2.2 Infonnationsverarbeitung. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 . . . . . . . . . . . 3.2.3 Modellierungsverfahren, Eingabeinfonnation und Randbedingungen . 51 3.2.4 Fehlerbetrachtung und Bewertungskriterien . 54 4 Charakterisierung von Freifonngeometrien durch Merkmale . 57 4.1 Ansatz zur Merkmalsfestlegung . . . . . . . . . . . . . . . . . . . . . . . . . . 57 . . . . . . . . . . 4.2 Lokale und globale Merkmale . 58 5 Erfassen und Auswerten der Merkmale zur fonnalen Modellierung . . . . . . . . 69 5.1 Abbilden in das initiale fonnale Modell . . . . . . . . . . . . . . . . . . . . . . 70 . . . . . . . . 160 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540610197 ISBN 13: 9783540610199
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 1. 1 Problemstellung Der Wettbewerb zwischen produzierenden Unternehmen findet auf den Feldern Kosten, Lieferzeit und Qualitat statt. Diese Herausforde rung zwingt auch wei terhin zu erhohtem KostenbewuBtsein und zur Aussch6pfung aller im Unternehmen vorhandenen technischen und or ganisatorischen Rationalisierungspotentiale /1, 2, 3/. Die Konstruktion nimmt hierbei, wie in Bild 1 dargestellt, eine Schlusselstellung ein. Die durch deren Kostenverantwortung kon struktiv festgelegten 70 Prozent der Herstellkosten sowie die Kostenverursachung im Bereich der Ferti. gung wei sen auf ein groBes Rationalisierungspotential bei der Abstimmung zwischen Konstruk tion und Fertigung hin /4, 5, 6, 7, 8, 9/. Kosten verursachung Bild 1: Kostenverantwortung und Kostenverursachung verschiede ner Unternehmensbereiche /4/ Aufgrund des nach wie vor wei tverbrei teten Inseldenkens in den einzelnen Unternehmensbereichen, aber auch aufgrund fehlender - 1- methodischer Hi1fsmittel, trifft man in der Praxis dennoch vor allem eine funktionsorientierte, nur unzureichend auf die Ferti gung abgestimmte Gestaltung der WerkstUcke an. Dieses jedes produzierende Unternehmen beschaftigende Problem tritt auch in der Blechteilefertigung immer starker zutage. In der B1echteilefertigung wurden im Vergleich zur spanenden Fertigung flexible Fertigungseinrichtungen zeitversetzt eingefUhrt /10/. So sind hier neben der grundsatzlichen Aufgabe der Abstimmung zwi schen Konstruktion und Fertigung auch noch ein Technologiesprung durch die EinfUhrung von flexiblen Blechteilefertigungszellen und -systemen und dami t auch klderungen der Fertigungsstruktur zu be waltigen /11, 12, 13/. Zudem ergeben sich durch den verstarkten Einsatz von CAD-Systemen und deren Mbglichkeiten zur schnellen Va riantenkonstruktion /111/ weitere Anforderungen an die flexible Blechteilefertigung. 196 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 354058806X ISBN 13: 9783540588061
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die neuen Vorschriften der EU für die Abfallwirtschaft werden in diesem Buch von ausgewiesenen Experten dargestellt, die diese Vorschriften zum Teil miterarbeitet haben. Der umfassende Überblick bietet dem Leser Rechts- und Praxissicherheit beim Umgang mit den neuen Regelungen. Vertreter zweier bedeutender Verbände beleuchten darüberhinaus die Folgen der neuen Vorschriften für die Wirtschaft.Concise text: Ausgewiesene Experten stellen die neuen Vorschriften der EU für die Abfallverbringung vor und beleuchten deren Folgen für die Wirtschaft. Das Buch bietet dem Leser Rechts- und Praxissicherheit beim Umgang mit diesen Vorschriften. 240 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540609059 ISBN 13: 9783540609056
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Im Chirurgischen Forum werden ausgewählte Beiträge vorab veröffentlicht, die auf dem Kongreß der Deutschen Gesellschaft für Chirurgie vorgetragen werden. Der Forumsausschuß achtet dabei auf höchste Qualität der Beiträge. Der Leser findet hier die neuesten Ergebnisse aus Forschung und Klinik übersichtlich in einem Band. 628 pp. Englisch, Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540607889 ISBN 13: 9783540607885
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch behandelt die Preissetzung in der internationalen Telekommunikation. Ansatzpunkt der Darstellung sind Kompensationszahlungen nationaler Telekommunikationsunternehmen. In einem ausführlichen empirischen Teil wird unter anderem auf Accounting Rates, Collection Charges, internationale Verkehrswege, Kosten und Kapazitätsentwicklung eingegangen. 264 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540608060 ISBN 13: 9783540608066
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch enthält ausgewählte Vorträge, die anläßlich des Symposiums über Operations Research (SOR'95) in der Zeit vom 13.-15.9.1995 an der Universität Passau gehalten wurden. Der Leser erhält einen Einblick in neueste Forschungsergebnisse auf dem Gebiet des Operations Research. Der Sammelband demonstriert eindrucksvoll das weite Spektrum der vom Operations Research heute behandelten Thematiken. Neben primär methodischen Fragestellungen bilden praxisorientierte Themen wie Anwendungsberichte aus der Praxis, im Umweltschutz, der Logistik und Verkehrsplanung einen Schwerpunkt. Deutlich wird auch die Ausstrahlung des Operations Research in andere wissenschaftliche Disziplinen wie Informatik, Ökonomie und Wirtschaftsinformatik. 564 pp. Englisch, Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540606785 ISBN 13: 9783540606789
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Banken und Versicherungen handeln weitgehend mit Produkten und Gütern immaterieller Art, deren logistische Einbindung und gedankliche Nähe zur Telekommunikation selbstverständlich und geradezu natürlich erscheint. Der Münchner Kreis hat sich dieser bedeutenden Fragestellung erstmalig in einer branchenorientierten Fachkonferenz angenommen. Schlagworte wie Änderung des Kundenverhaltens, zunehmender Wettbewerb, erhöhter Kostendruck und Entstehung neuer Geschäftsfelder machen den Druck zur Nutzung der Möglichkeiten der modernen Telekommunikation deutlich. Neue Anwendungen werden den Markt von morgen beherrschen. Referenten und Kenner der Situation in den Branchen Banken und Versicherungen behandeln die unterschiedlichen Fragen. Banken und Versicherungen handeln weitgehend mit Produkten und Gütern immatrieller Art, deren logistische Einbindung und gedankliche Nähe zur Telekommunikation selbstverständlich und geradezu natürlich erscheint. Der Münchner Kreis hat sich dieser bedeutenden Fragestellung erstmalig in einer branchenorientierten Fachkonferenz angenommen. Schlagworte wie Änderung des Kundenverhaltens, zunehmender Wettbewerb, erhöhter Kostendruck und Entstehung neuer Geschäftsfelder machen den Druck zur Nutzung der Möglichkeiten der modernen Telekommunikation deutlich. Neue Anwendungen werden den Markt von morgen beherrschen. Referenten und Kenner der Situation in den Branchen Banken und Versicherungen behandeln die unterschiedlichen Fragen. 192 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540610286 ISBN 13: 9783540610281
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the Second COST 237 International Workshop, held in Copenhagen, Denmark in November 1995 in the framework of the CEC COST 237 Multimedia Telecommunications Services Project.The 15 papers included in revised full versions were chosen from 24 workshop submissions individually solicited from groups of researchers and developers known to be active in the areas of interest. The papers are grouped in sections on multipeer communications, teleservices and applications support, broadband network and transport services, QoS assurance, and multimedia support. 296 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540609156 ISBN 13: 9783540609155
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing. 282 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540609393 ISBN 13: 9783540609391
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs. 284 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540610405 ISBN 13: 9783540610403
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations. 308 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540609830 ISBN 13: 9783540609834
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. 332 pp. Englisch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540622179 ISBN 13: 9783540622178
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch beschreibt in leicht verständlicher Form die unterschiedlichen Planungsphasen, die zur Auswahl von Hard- und Software unter Berücksichtigung der DIN EN ISO 9000 Normen zur Qualitätssicherung notwendig sind.Zahlreiche Beispiele und Checklisten zu den einzelnen Planungsphasen geben dem potentiellen Anwender wertvolle Entscheidungshilfen. 276 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540590692 ISBN 13: 9783540590699
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1932 erstmals erschienen, hat der Klassiker der Geometrie bis heute nichts von seiner Frische und Kraft eingebüßt. Die weltbekannten Autoren stellen in dem Band zugrundeliegende Leitmotive und verblüffende Zusammenhänge in der Geometrie verständlich dar. David Hilbert, dessen Ziel es war, die Faszination der Geometrie zu vermitteln, schrieb im Vorwort: ¿Das Buch soll dazu dienen, die Freude an der Mathematik zu mehren, indem es dem Leser erleichtert, in das Wesen der Mathematik einzudringen, ohne sich einem beschwerlichen Studium zu unterziehen'. 388 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540605525 ISBN 13: 9783540605522
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Yearbook compiles the most recent, widespread developments of experimental and clinical research and practice in one comprehensive reference book. The chapters are written by well recognized experts in the field of intensive care and emergency medicine. It is addressed to everyone involved in internal medicine, anesthesia, surgery, pediatrics, intensive care and emergency medicine. 884 pp. Englisch.