Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540517545 ISBN 13: 9783540517542
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Why is a LAN a LAN .- Architectural considerations for LAN security protocols.- The impact of security service selection for LANs.- Access control and authentication in LANs.- Secure relays: An alternative approach to LANSEC.- MAC layer security measures in local area networks.- OSI network security and the NTCB.- A security related architecture for a TNB supporting confidentiality and integrity based policies.- Covert channels in LAN protocols.- Encapsulation security protocol design for local area networks.- Modeling A LAN security server.- Network management and diagnostics for secure LANs. 168 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540059040 ISBN 13: 9783540059042
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Operads and -spaces.- Operads and monads.- A and E operads.- The little cubes operads .- Iterated loop spaces and the .- The approximation theorem.- Cofibrations and quasi-fibrations.- The smash and composition products.- A categorical construction.- Monoidal categories.- Geometric realization of simplicial spaces.- Geometric realization and S\*, C\*, and \*.- The recognition principle and A spaces.- E spaces and infinite loop sequences.- Remarks concerning the recognition principle. 188 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518304 ISBN 13: 9783540518303
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contents: S.C. Cooper: -Fraction Solutions to Riccati Equations.- R.M. Hovstad: Irrational Continued Fractions.- L. Jacobsen, W.J. Thron, H. Waadeland: Julius Worpitzky, his Contributions to the Analytic Theory of Continued Fractions and his Times.- W.B. Jones, N.J. Wyshinski: Positive T-Fraction Expansions for a Family of Special Functions.- J.H. McCabe: On Continued Fractions Associated with Polynomial Type Padé Approximants, with an Application.- O. Njastad: Multipoint Padé Approximants and Related Continued Fractions.- O. Njastad: A Survey of Some Results on Separate Convergence of Continued Fractions.- O. Njastad, H. Waadeland: Some Remarks on Nearness Problems for Continued Fraction Expansions.- W.J. Thron: Continued Fraction Identities Derived from the Invariance of the Crossratio under Linear Fractional Transformations.- H. Waadeland: Boundary Versions of Worpitzky's Theorem and of Parabola Theorems. 156 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540516956 ISBN 13: 9783540516958
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings include selected and refereed original papers; most are research papers, a few are comprehensive survey articles. 196 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540517294 ISBN 13: 9783540517290
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It was the aim of the Erlangen meeting in May 1988 to bring together number theoretists and algebraic geometers to discuss problems of common interest, such as moduli problems, complex tori, integral points, rationality questions, automorphic forms. In recent years such problems, which are simultaneously of arithmetic and geometric interest, have become increasingly important. This proceedings volume contains 12 original research papers. Its main topics are theta functions, modular forms, abelian varieties and algebraic three-folds. 176 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540066810 ISBN 13: 9783540066811
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The geometry of the elementary catastrophes (1). the cuspoids.- The geometry of the elementary catastrophes: (2). The hyperbolic and elliptic umbilics.- The geometry of the elementary catastrophes: (3). The Parabolic Umbilic.- Stereographic reconstructions of the behaviour space of the cuspoids catastrophes.- Stereographic reconstructions of the catastrophe manifolds of the cuspoids: (2) the swallowtall.- Stereographic reconstructions of the catastrophe manifolds of the cuspoids: (3) the butterfly.- Stereographic reconstuctions of the catastrophe manifolds of the cuspoids: (4) the wigwam.- Stereographic reconstructions of the catastrophe manifolds of the cuspoids: (5) The star.- The geometrical properties of the Reduced Double Cusp. 272 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 354051533X ISBN 13: 9783540515333
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories. 264 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 354051211X ISBN 13: 9783540512110
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Mechanik Manual ist ein modernes, für Studenten und Dozenten gleichermaßen nützliches Aufgabenbuch zur Vorlesung 'Theoretische Mechanik'. Es enthält alle Aufgaben aus Scheck, 'Mechanik' mit Lösungen und großenteils ausführlichen Kommentaren sowie viele zusätzliche durchgerechnete Übungen. 128 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540517308 ISBN 13: 9783540517306
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology. These proceedings contain a selection of the resulting papers, mostly announcing new unpublished results. 236 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540512810 ISBN 13: 9783540512813
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Thema ist besonders interessant für die Problemstellungen des Grundbaus. Die Tragfähigkeit von Pfählen kann nicht direkt berechnet werden; um so wichtiger ist der einfache Zugang zu Erfahrungswerten. In diesem Buch werden komplizierte Berechnungsverfahren und Tabellenwerte - soweit möglich - durch Diagramme ersetzt oder so aufbereitet, daß sie mit geringem Aufwand programmiert werden können und Näherungslösungen bieten. Die physikalischen Grundlagen der dynamischen Prüfmethode werden ebenso erläutert wie die begleitenden Bodenuntersuchungen und Kontrollen; die Dimensionierung von Stahlbetonpfählen wird durch umfangreiche Diagramme erleichtert. Darüberhinaus wird die Möglichkeit geboten, anhand von unverbindlichen Preisbeispielen Kosten für Pfahlgründungen abzuschätzen; für den Einsatz des Buches bei der Abwicklung von Auslandsaufträgen ist eine Zusammenstellung der Fachbegriffe Deutsch/Englisch/Deutsch hilfreich. Das Buch wendet sich daher über den Kreis der Studenten hinaus an Bauingenieure, die diese Technik einsetzen bzw. einsetzen wollen. 184 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540514899 ISBN 13: 9783540514893
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Kongreßband enthält eine hervorragende und umfassende Darstellung der auf dem DEUTSCHEN CHIRURGENKONGRESS 1989 in München abgehandelten Themen. Es wird über den neuesten Stand unseres Wissens und Könnens nicht nur auf dem Gebiet der Chirurgie, sondern auch auf den Teilgebieten und Subspezialitäten berichtet. Aktuelle fachübergreifende Fragen, wie z.B. die Lebensqualität des Patienten im Hinblick auf chirurgische Fortschritte, kommen zur Diskussion. Die Hauptthemen: - Fortschritte der Leberchirurgie - diagnostische und operative Endoskopie und Sonographie in der Chirurgie - Stand und neue Entwicklungen der Enddarmchirurgie - Intensivmedizin - neue technische und methodische Entwicklungen in der Chirurgie Die umfassende, aktuelle Standortbestimmung macht diesen Kongreßband als Nachschlagewerk sowohl für den Allgemeinchirurgen, als auch den chirurgischen Spezialisten äußerst wertvoll. 1124 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540517227 ISBN 13: 9783540517221
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected papers of the International Workshop on 'Categorical Methods in Computer Science - with Aspects from Topology' and of the '6th International Data Type Workshop' held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science. 364 pp. Englisch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540514074 ISBN 13: 9783540514077
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. Neuware -Der psychische Befund ist Bestandteil jeder psychiatrischen Krankengeschichte und jedes Gutachtens. Während für Ärzte/Gutachter die Frage, wie ein solcher Befund zu erstellen bzw. darzustellen ist, von vorrangigem Interesse sein dürfte, geht es für Patienten wie für jeden, der beruflich oder privat etwas damit zu tun hat, um das Verständnis und um eine angemessene Einschätzung desselben. In diesem Buch werden zunächst die Grundlagen diskutiert, dann die 4 Dimensionen des psychischen Befundes systematisch erörtert: a) Wahn und Halluzination (Verrücktheit); b) Gedächtnisstörung, Ratlosigkeit, Demenz (Verworrenheit); c) Schwachsinn und Psychopathie; d) Normalität. Es liegt damit eine in sich abgeschlossene Darstellung der Psychopathologie vor. 196 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 354051502X ISBN 13: 9783540515029
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In diesem Buch werden die Veränderungen der Blutgerinnung und Fibrinolyse bei Patienten mit akutem Nierenversagen, mit chronisch-terminaler Niereninsuffizienz unter verschiedenen Dialyseverfahren und nach Nierentransplantation dargestellt. Außerdem wird der Einfluss einer Therapie in bezug auf die Nierenfunktion und auf die Blutgerinnung bei experimentellem akutem Nierenversagen und bei Patienten nach Nierentransplantationen untersucht. Die akuten und chronischen Auswirkungen dieser Gerinnungsveränderungen werden ausführlich diskutiert und mögliche Konsequenzen für die Therapie in der Klinik dargestellt. Die Beteiligung der Blutgerinnung an der Entstehung von Nierenfunktionseinschränkungen bei akutem Nierenversagen und nach Nierentransplantation wird belegt. Zusätzlich wird die Beteiligung der Niere an der Regulation der Fibrinolyse aufgezeigt. 148 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518010 ISBN 13: 9783540518013
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch enthält die Beiträge einer Tagung, die gemeinsam vom Fachbereich 'Ausbildung und Beruf' der Gesellschaft für Informatik und dem Institut für Film und Bild in Wissenschaft und Unterricht FWU veranstaltet wurde. Die absehbare technische Weiterentwicklung des Computers in der Hardware und der Software öffnet der Ausbildung viele Wege in die Zukunft. Dies belegt eindrucksvoll der Themenkatalog der Tagung: Ausbildung an allgemeinen und berufsbildenden Schulen, betriebliche Ausbildung, Netze und Telekommunikation, Computer-unterstütztes Lernen und Anwenden im Schulunterricht. 376 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540515194 ISBN 13: 9783540515197
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seit einiger Zeit hat die Psychoonkologie an AttraktiviUit gewonnen. Ihre Dienste werden vielfach angefordert, zunehmend auch als Beratung der Lebensprobleme von Menschen, deren medizinische Behandlung abgeschlossen oder ausgeschopft ist. Die Medizin hat verstanden, wie notig es ist, den Kranken nicht nur 'am', sondem auch 'im' Leben zu halten. So fUhlen sich nach langerem Katakombendasein die Psychoonkologen mehr beachtet und haben Aufwind. Politiker, Arzte und Selbsthil fegruppen haben sich nach langerem Zogem entschlossen, die Psychoonkologen zur Kenntnis zu nehmen. Wenngleich vordergrundig auf diese Weise viel erreicht ist, flillt bei einer Bestandsaufnahme dennoch auf, daB von Zufriedenheit nicht die Rede sein kann. Denn nach wie vor sind Arzte fassungslos, wenn ein Patient die Chemotherapie abbricht; nach wie vor werden Psychoonkologen - erstaunlicherweise vorerst immer noch nur Psychologen - als Storenfriede erlebt, und sie selbst suchen nach groBerer medizinischer Kompetenz. Da eine einfache Heilung des Krebses nicht in Aussicht ist, stellen die verlangerten Oberlebenszeiten aIle Beteiligten vor ganz neue Probleme, z. B. objektive Informa tion tiber Krankheit mit einer dadurch dauerhaft veranderten seelischen oder sozialen Realitat zu verbinden. 376 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540516972 ISBN 13: 9783540516972
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch beschreibt den Entwurf und die Entwicklung des Expertensystems ICX, das, verbunden mit einem CAD-System, bei der Gestaltung, Dimensionierung, Planung und Ausführung einer Kunststoff-Metall-Klebung dem Konstrukteur hilfreich zur Seite steht. Unter der Kontrolle eines übergeordneten Systems werden dabei mehrere Expertensysteme aktiviert, um dem interdisziplinären Charakter des verwendeten Wissens gerecht zu werden. Als Schwerpunkte werden Wissensakquisition und -strukturierung, die Entwicklung des Gesamt-Expertensystems, die Einbindung in eine CAD-Umgebung und die problemorientierte Gestaltung der Benutzerführung behandelt. Dem Leser wird ein Überblick des dem Expertensystem zugrunde liegenden Wissens und ein Einblick in Funktionsweise und Handhabung des Systems gegeben. Darüberhinaus wird eine Vorgehensweise zur praxisbezogenen Umsetzung einer komplexen technischen Anwendung in ein Software-System unter Verwendung von Hilfsmittel aus der KI-Forschung vorgestellt. 168 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540513558 ISBN 13: 9783540513551
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Bis vor einigen Jahren konnten nur wenige Autofahrer über Funk erreicht werden. Seit der Einführung des Funktelefonnetzes C sind in der Bundesrepublik Deutschland schon über 100 000 Autotelefone in Gebrauch, und die geplanten D-Netze werden in Europa sogar die Teilnahme von über 10 Millionen Autofahrern ermöglichen. Sie gestatten es, außer Sprache auch Buchstaben und Zahlen zu übertragen. Das Autoradio ist seit Einführung des Verkehrsfunks nicht nur Quelle der Unterhaltung, sondern auch Quelle vielfältiger Informationen. Der bevorstehende Einsatz von Ortungs- und Navigationsgeräten wird es dem Autofahrer erleichtern, sein Ziel sicher zu erreichen. Zukünftig wird der Autofahrer sowohl von terrestrischen als auch von Satellitenstationen entweder nur für ihn bestimmte oder von ihm aus einem großen Angebot ausgewählte Informationen empfangen können. Die informationstechnische Isolation des Automobils von der Außenwelt wird durch die zukünftige Mobilkommunikation überwunden werden. Das Ziel des Kongresses war eine umfassende Bestandsaufnahme der aktuellen und der zukünftigen Kommunikationsmöglichkeiten vom und zum Automobil. 324 pp. Englisch, Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540509135 ISBN 13: 9783540509134
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die zerebrale Dopplersonographie erlaubt dem Kinderarzt, ohne invasive Maßnahmen den Zustand der Hirndurchblutung am Bett des kranken Frühgeborenen, Neugeborenen oder Säuglings zu erfassen. Gezielte therapeutische Schritte können dann ohne Zeitverlust eingeleitet werden. Das vorliegende Buch soll als Anleitung zum Erlernen der Methode dienen und ihre mannigfaltigen Möglichkeiten aufzeigen. Am Beginn steht eine ausführliche Erläuterung der physikalischen Grundlagen und der Untersuchungstechnik, die anhand von Schemazeichnungen und zahlreichen sonographischen Bildern anschaulich gemacht werden. Dananch werden alle wichtigen ZNS- sowie Herzerkrankungen, die zu einer Beeinflussung der Hirndurchblutung führen können, dargestellt. 220 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540516670 ISBN 13: 9783540516675
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inhaltsübersicht: Neue Erkenntnisse zur ärztlichen Versorgung HIV-infizierter Hämophiler: Grundlagenreferate. Spontanverlauf der HIV-Infektion bei Hochrisikogruppen (ausgenommen Hämophile). Interventionstherapeutische Studien. Einfluß der Substitutionstherapie auf den Infektionsverlauf. Infektionssicherheit kommerzieller Faktor VIII- und Faktor IX-Konzentrate.- Substitutionstherapie-bedingte chronische Hepatitis.- Diagnostik und Therapie der Hemmkörperhämophilie.- Freie Vorträge. 328 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518215 ISBN 13: 9783540518211
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die in den vergangenen Jahren außerordentlich gesteigerte Leistungsfähigkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik für ihre Vernetzung erschließen sinnvolle Anwendungsmöglichkeiten für immer weitere und umfangreichere Arbeitsbereiche. Die 19. Jahrestagung der GI greift wichtige Fragen hierzu auf und setzt sich mit einer Fülle von Einzelthemen auseinander. Dabei wendet sie sich gleichermaßen an Entwickler, Anwender, Wissenschaftler und Studenten. 736 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540514635 ISBN 13: 9783540514633
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Deutsche Elektronensynchrotron (DESY) in Hamburg ist international eines der erfolgreichsten Laboratorien für Teilchenphysik. Es gehört zu den in der Öffentlichkeit bekanntesten Großforschungseinrichtungen der Bundesrepublik. Claus Habfast, selbst ein erfahrener Teilchenphysiker, beschreibt hier im Rahmen einer großangelegten Studie zur Geschichte der Deutschen Großforschung die Ursprünge von DESY im Jahre 1956 bis zu seiner endgültigen internationalen Etablierung in den frühen 70er Jahren. Dem Autor standen für seine Vorarbeiten sowohl das Archiv der Forschungseinrichtung als auch staatliche Archive zur Verfügung. Darüber hinaus wurden Laborberichte und Fachliteratur, sowie private Quellen, herangezogen, so daß eine detaillierte und facettenreiche Beschreibung entstanden ist. Für den Historiker eröffnet das Werk umfangreiches, bisher unerschlossenes Quellenmaterial. Das Buch richtet sich an alle, die an der Teilchenphysik und dem Entstehen des Großlabors DESY, sowie an der Wissenschaftspolitik in der Bundesrepublik Deutschland, interessiert sind. 300 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 354051838X ISBN 13: 9783540518389
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das große Potential an Anwendungsmöglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, natürlichsprachliche Systeme und Konnektionismus. Einen großen Raum nimmt die Präsentation von Gemeinschaftsprojekten ein; insbesondere werden deutsche KI-Zentren, alle BMFT-Verbundprojekte im Bereich wissensbasierter Systeme und zahlreiche europäische Gemeinschaftsprojekte (EUREKA- und ESPRIT-Projekte) dargestellt. Dieses Buch wendet sich an alle, die Interesse an der Informatik und ihren Anwendungen haben. Es soll sowohl Wissenschaftler als auch Praktiker und mögliche Anwender informieren und zu fruchtbarer Diskussion und Zusammenarbeit stimulieren. 556 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518274 ISBN 13: 9783540518273
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software-Diversität wird als eine Fehlertoleranzmaßnahme dargestellt, die Verwendung in Systemen mit hohen Zuverlässigkeitsanforderungen findet. Im ersten Teil des Buches werden die wichtigsten Beispiele angegeben, bei denen Experimente mit Software-Diversität durchgeführt wurden bzw. bei denen Software-Diversität eingesetzt wurde. Im zweiten Teil werden verschiedene Ansätze zur Modellierung der Software-Diversität - Fehlermodell und Kostenmodell - eingeführt. Der Anhang enthält eine z.T. kommentierte Bibliographie mit allen Literaturstellen zur Software-Diversität. Damit wird das Thema in diesem Buch erstmals umfassend dargestellt und sowohl ein Einstieg in die Problematik als auch eine Grundlage für die Verwendung von Software-Diversität in Anwendungsbereichen vermittelt. Mit Hilfe der vorgestellten Fehler- und Kostenmodelle kann bei der Projektplanung abgeschätzt werden, welcher Nutzen - bezogen auf die sich auswirkenden Fehler - und welche Kosten bei verschiedenen Realisierungsformen der Software-Diversität im Vergleich zu einer nicht-diversitären Entwicklung zu erwarten sind. Dieses Buch ist das erste deutschsprachige Werk, das eine so ausführliche Behandlung des Themas Software-Diversität enthält. 220 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518878 ISBN 13: 9783540518877
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieser Tagungsband des vierten Symposiums 'Informatik im Umweltschutz' (Karlsruhe, 6.-8. November 1989) behandelt den Einsatz von Informatikmethoden in allen Bereichen des Umweltschutzes: Luft, Klima, Wasser, Abfall, Altlasten, Boden, Naturraum, Raumplanung, Pflanzen, Wald, Tiere. Die Problematik wird sowohl praktisch anhand konkreter Projekte als auch methodisch anhand grundlegender Prinzipien und Verfahren dargestellt. Die Beiträge zeigen den derzeitigen Stand von Entwicklungen und Projekten und diskutieren anstehende Probleme und Lösungen. Sie geben damit einen Überblick über die in diesem neuen Anwendungsgebiet gestellten Anforderungen an die Informatik und die zukünftig notwendigen methodischen Entwicklungen. Der Tagungsband wendet sich an alle Wissenschaftler, Ingenieure aus Forschung, Industrie und Behörden, die mit Umweltschutz befaßt sind. 468 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518223 ISBN 13: 9783540518228
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die in den vergangenen Jahren außerordentlich gesteigerte Leistungsfähigkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik für ihre Vernetzung erschließen sinnvolle Anwendungsmöglichkeiten für immer weitere und umfangreichere Arbeitsbereiche. Die 19. Jahrestagung der GI greift wichtige Fragen hierzu auf und setzt sich mit einer Fülle von Einzelthemen auseinander. Dabei wendet sie sich gleichermaßen an Entwickler, Anwender, Wissenschaftler und Studenten. 740 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 354051824X ISBN 13: 9783540518242
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezüglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Möglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische Testdurchführung und die automatische Generierung von Testdaten ermöglichen. Dem Leser wird ein umfassender Überblick über die Probleme des Protokolltestens und ihre Lösungsmöglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchführung von OSI-Protokolltests ermöglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden können. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten für den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kürzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfür entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaßt ist. 216 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540515089 ISBN 13: 9783540515081
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Keramische Werkstoffe gewinnen zunehmend an Bedeutung im Maschinenbau und in der Verfahrenstechnik aufgrund ihrer guten Hochtemperaturfestigkeit, ihres hohen Verschleißwiderstandes, der guten Korrosionsbeständigkeit und spezieller physikalischer Eigenschaften. Ihr großer Nachteil ist die Sprödigkeit und die große Streuung der mechanischen Eigenschaften. Das Buch beschreibt die Versagensphänomene keramischer Werkstoffe unter mechanischer Belastung, die Methoden zur Ermittlung von Werkstoffkennwerten und die Prinzipien der Werkstoffauswahl sowie der Dimensionierung von Bauteilen. Behandelt werden die bruchmechanischen und statistischen Grundlagen und ihre Anwendung zur Beschreibung der Streuung der Festigkeit und der Lebensdauer. Ausführlich wird auf das Kriechverhalten und auf die experimentellen Methoden zur Ermittlung der Kriechgesetze eingegangen. Spezielle Kapitel sind den Mehrachsigkeitskriterien, dem Thermoschockverhalten, dem Überlastverfahren und der Fügetechnik gewidmet. 264 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518355 ISBN 13: 9783540518358
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Verteilte Algorithmen sind Verfahren, die dadurch charakterisiert sind, daB mehrere autonome Prozesse gleichzeitig Teile eines gemeinsamen Problems in kooperativer Weise bearbeiten und der dabei erforderliche Informationsaustausch ausschlieBlich liber Nachrichten erfolgt. Derartige Algorithmen kommen im Rahmen verteilter Systeme zurn Einsatz, bei denen kein gemeinsamer Speicher existiert und die Ubertragungs- und Bearbeitungsdauer von Nachrichten i.a. nieht vernachlassigt werden kann. DaB dabei kein ProzeB eine aktuelle konsistente Sieht des globalen Zustands besitzt, fUhrt zu sammen mit anderen typischen Eigenschaften der Verfahren, wie Nebenliiufigkeit und Nichtdeterminismus, zu interessanten Problemen. In der vorliegenden Arbeit werden einige dieser Probleme analysiert, diskutiert und zueinander in Beziehung gesetzt. Flir eine Reihe von Grundproblemen, zu denen das Election-Problem, das SchnappschufJproblem und das Terminierungsproblem geh6ren, werden verschiedene LOsungsalgorithmen angegeben und miteinander verglichen. Die Bewertung der Algorithmen umfaBt analytische und empirische Untersuchungen sowie eine Diskussion der qualitativen Eigenschaften verschiedener Varianten. Urn ein tieferes Verstandnis des 'Prinzips der Verteiltheit' zu erreichen, werden grundsatzliche Aspekte hervorgehoben, wie etwa die Bedeutung des Zeitbegriffs in verteilten Systemen. Dariiber hinaus werden einige typische Methoden und Techniken vorgestellt, die auch fUr die systemnahe oder anwendungsbezogene Programmierung verteilter oder hochgradig paralleler Systeme praktisch relevant sind. Durch die Beschreibung des Urnfeldes und der wichtigsten Konzepte der verteilten Programmierung, durch weiterflihrende Literaturangaben und einige spielerische und gleichnishafte Beispiele werden die Problemstellungen motiviert und die Ergebnisse der Arbeit in den gr6Beren Rahmen des Distributed Computing eingeordnet. 296 pp. Deutsch.
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540518134 ISBN 13: 9783540518136
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch gibt eine Einführung und einen Einblick in Latent Trait-Modelle zum Paarvergleich mit ordinaler Reaktionsvariabler. Zahlreiche neue Ergebnisse werden unter dem Gesichtspunkt der Praktikabilität sowie der meßtheoretischen Fundierung vorgestellt. 192 pp. Deutsch.