Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540641041ISBN 13 : 9783540641049
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mit dem vorliegenden Werk stellt der Autor die Grundlagen der Digitaltechnik für Studenten der Informatik und der Elektrotechnik verständlich dar. Ausgehend von den Grundschaltungen kann sich der Nutzer die wichtigsten Schaltungen und Rechenwerke der Digitaltechnik interaktiv erarbeiten. Animationen helfen dabei, komplizertere Zusammenhänge zu verstehen. Der exemplarische Aufbau und die Funktionsweise eines Mikrocomputers, Fuzzy-Logik-Programmierung und die Handhabung von Simulationsprogrammen runden das Werk ab. Das Buch führt sicher durch das multimediale Programm und erleichtert die interaktive Arbeitsweise in Verbindung mit der Evaluation-Software DesignLab. Dadurch kann der Lernende sein gewonnenes Wissen unmittelbar an simulierten praktischen Schaltungen überprüfen. 164 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540648976ISBN 13 : 9783540648970
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes the representations of Lie superalgebras that are yielded by a graded version of Hudson-Parthasarathy quantum stochastic calculus. Quantum stochastic calculus and grading theory are given concise introductions, extending readership to mathematicians and physicists with a basic knowledge of algebra and infinite-dimensional Hilbert spaces. The develpment of an explicit formula for the chaotic expansion of a polynomial of quantum stochastic integrals is particularly interesting. The book aims to provide a self-contained exposition of what is known about Z_2-graded quantum stochastic calculus and to provide a framework for future research into this new and fertile area. 156 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540647716ISBN 13 : 9783540647713
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Functionals involving both volume and surface energies have a number of applications ranging from Computer Vision to Fracture Mechanics. In order to tackle numerical and dynamical problems linked to such functionals many approximations by functionals defined on smooth functions have been proposed (using high-order singular perturbations, finite-difference or non-local energies, etc.) The purpose of this book is to present a global approach to these approximations using the theory of gamma-convergence and of special functions of bounded variation. The book is directed to PhD students and researchers in calculus of variations, interested in approximation problems with possible applications. 164 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540648127ISBN 13 : 9783540648123
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Information spielt heute im Wirtschaftsgeschehen eine überragende Rolle. Die Bedeutung der Information und des gesamten Umgangs mit Information schlägt sich auch im Ausbildungsbereich nieder. Das Studium der Prozesse und Maßnahmen zur effizienten Gewinnung und Nutzung von Information und zur Gestaltung effizienter Informationsverarbeitung ist für Studenten unverzichtbar. Dieses Lehrbuch vermittelt Wirtschaftswissenschaftlern systematisch die wesentlichen Kenntnisse für das Verständnis des Zusammenwirkens von Hard- und Software im betrieblichen Einsatz. Ein Anhang mit Lösungen zu den im Buch enthaltenen Übungsbeispielen will den praxisbezogenen Ansatz des Buches betonen und den Zugang zur Informationswirtschaft erleichtern. Diese Auflage wurde insbesondere durch ein Kapitel über Netzwerke und Ergänzungen zu Speichermedien und Codierung erweitert und aktualisiert. 492 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540645470ISBN 13 : 9783540645474
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre
Taschenbuch. Etat : Neu. Neuware -Die Simultane Projektorganisation entwickelte sich in den letzten Jahren vorwiegend innerhalb der Automobilindustrie. Sie machte deutsche Automobilhersteller und ihre Zulieferer zu den fortschrittlichsten ihrer Branche. Die Simultane Projektorganisation sichert einen Quantensprung an technischer und qualitativer Innovation bei deutlich geringeren Entwicklungs-, Fertigung- und Vertriebskosten. Die Simultane Projektorganisation führt Elemente des in den Unternehmen zunehmend durchgeführten Simultaneous Engineering und des Projektmanagements zusammen. Vorteile sind: - die Verkürzung der Entwicklungszeit - schnelles Ragieren auf Marktwünsche - die größere Nähe zu Kunden und Lieferanten sowie - geringere Entwicklungs-, Fertigungs- und Vertriebskosten. Der Autor verfügt über langjährige Praxiserfahrung mit dieser Methode. 216 pp. Deutsch.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 44,99
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540648542ISBN 13 : 9783540648543
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Von der chemischen Industrie wird heute eine zunehmende Orientierung an die Anforderungen von Sicherheit, Gesundheits- und Umweltschutz verlangt. Dieses Buch greift die Möglichkeiten und Chancen, aber auch die Problematik von umweltorientierten chemischen Prozessen in der ganzen Bandbreite von ethischen Überlegungen bis zu praktischen Maßnahmen auf. Prinzipien der Ökobilanzierung, der Produkt- und Prozeß-Risikoanalyse und des Nutzen-Risiko-Dialogs werden als Hilfsmittel für die integrierte Entwicklung dargestellt. Das Buch vermittelt Fachstudenten der Studienrichtungen Chemie, Chemieingenieurwesen, Verahrens- und Umwelttechnik sowie Umweltnaturwissenschaften, aber auch den Praktikern in der chemischen Produkt- oder Prozeßentwicklung ein breites Spektrum von Hintergrundinformationen, methodischen Kenntnissen und praktischen Anregungen im Hinblick auf eine nachhaltige Entwicklung der chemischen Industrie. 344 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540643540ISBN 13 : 9783540643548
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mit 78 Jahren bekannte Goethe: 'Die Naturwissenschaft, besonders die Chemie, ist so lebendig, daß man auf die angenehmste Weise wieder jung wird.'Daß Goethes Beschäftigung mit der Chemie sich nicht auf alchimistische Salonexperimente beschränkte, belegt diese ungewöhnliche Biographie zum Goethe-Jahr 1999.Georg Schwedt folgt den Spuren des Chemikers Goethe in dessen Werken, Briefen, Tagebüchern und naturwissenschaftlichen Schriften. Das erstaunliche Ergebnis: Goethe war auch in der Chemie seiner Zeit weit voraus. Er förderte nicht nur die Entwicklung der Chemie als eigenständige Wissenschaft. Er experimentierte auch selbst, und die Aktualität seiner Ansätze ist durch moderne Untersuchungen bestätigt.Goethe und die Chemie: eine wahrhaft spannende Verbindung. Georg Schwedt beschreibt sie ausgesprochen interessant und unterhaltsam. Chemiker und Goethe-Liebhaber können sich auf eine ebenso anregende wie informative Lektüre freuen. 400 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540645020ISBN 13 : 9783540645023
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Diese Einführung in die Theorie der linearen Codes behandelt besonders ausführlich zyklische Codes. Daneben liegt ein Schwerpunkt auf computerunterstützten Methoden, insbesondere für die Bestimmung der Minimaldistanz linearer Codes, für die Abzählung der Isometrieklassen linearer Codes sowie Blockcodes und für die Erzeugung von Repräsentantensystemen dieser Klassen. 360 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540607668ISBN 13 : 9783540607663
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The frequent use of weIl known critical data handbooks like Beilstein, Gmelin and Landolt-Bömstein is impeded by the fact that only larger libraries - often far away from scientist's working places - can afford such costly collections. To satisfy the urgent need of many scientists working in the field of molecular science to have at their working place a comprehensive, high quality, but inexpensive collection of at least the basic data of their field of interest, this volume summarizes the most important structures of free polyatomic molecules. All data have been selected from those listed in the data tables presented on more than 1600 pages in various volumes of the New Series of Landolt-Bömstein, 11/7, 11/15, 11/21 and 11/23. We hope to meet with this volume the needs of researchers and students in the wider fields of molecular science and materials engineering, forming a bridge between the laboratory and the sources of additional information in the libraries. My sincere thanks are due to the Editor in Chief, Professor W. Martienssen, for his thoughtful guidance and to all authors of the present volume for their friendly cooperation; to Dr. B. Mez-Starck and Sektion für Spektren- und Strukturdokumentation, Universität Ulm, for their valuable assicstance and support; and to Springer-Verlag, especially Dr. R. Poerschke, for continual support and care. I greatly appreciate the expert help of Professor K. Hata and M. Nakahara in improving the nomenclature and of Drs. J.H. Callomon and D.A Ramsay with checking the English text. 228 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540650709ISBN 13 : 9783540650706
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the eld of research after over a quarter of a century of support This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are 'pro-formal' or 'anti-formal', but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM'98, the 11th International Conference of Z Users, held for the rst time within continental Europe in the city of Berlin, Germany. 440 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540647945ISBN 13 : 9783540647942
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The instrument Lumi-Imager was developed for the detection and accurate quantification of chemiluminescent signals on blots and in microtiter plates. It contains a cooled CCD camera, a specially developed lens system and software. In addition to luminescence, Lumi-Imager F1 can also detect and quantify UV-excited fluorescent signals in gels. Here we describe the components and features of this instrument as well as some of its applications. 60 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540626751ISBN 13 : 9783540626756
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The multidisciplinary nature of marine sciences (Geology, Biology, Physics, Chemistry, and Oceanography) is reflected in this references 1,980 up-to-date, alphabetically listed keywords with illustrations. These keywords provide valuable time-saving assistance when studying marine scientific literature. The brief explanation of the concepts, terminology, and methods makes this book more valuable than a pure glossary or dictionary. 372 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540646841ISBN 13 : 9783540646846
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -L'ouvrage présente la technique de simulation des grandes échelles. Les bases mathématiques et les hypothèses physiques employées sont rappelées. Les concepts de modélisation structurelle et de modélisation fonctionnelle sont introduits, et servent à établir une liste exhaustive, unique à ce jour, des modèles sous-maille existants. Outre la description de ces modèles, le lecteur trouvera des éléments théoriques et des détails pratiques concernant leur mise en oeuvre. 304 pp. Französisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540644407ISBN 13 : 9783540644408
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Im Gesundheitswesen der modernen Industriestaaten zeichnet sich heute eine Umorientierung fort von der herkömmlichen, oft zu spät kommenden Krankheitsbekämpfung hin zur Krankheitsverhütung ab. Vor diesem Hintergrund wird in dem Buch erstmals in Deutschland die Frage diskutiert, ob ein solcher Paradigmenwandel auch in der Psychiatrie sinnvoll, realisierbar und aussichtsreich wäre. Im Ergebnis kommt heraus, daß die Programmatik der Früherkennung und Frühbehandlung in der Tat bei vielen schwerwiegenden psychischen Störungen ein hohes Maß an Rationalität und Plausibilität für sich hat. 280 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540645993ISBN 13 : 9783540645993
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Landschaftsplanung hat sich seit Beginn des 20. Jahrhunderts im Spannungsfeld der sehr unterschiedlichen Einflüsse von Naturschutz, Gartenarchitektur und räumlicher Planung entwickelt. Zwar haben sich die Inhalte und Aufgaben der Landschaftsplanung heute im Planungs-, Bau-, UVP- und vor allem im Naturschutzrecht niedergeschlagen, doch immer wieder lebt die Diskussion darüber auf, welche Bedeutung innerhalb der Landschaftsplanung dem Naturschutz, der Raumplanung oder der Landschaftsarchitektur zukommt. Das vorliegende Buch stellt den Entwicklungsverlauf der Disziplin synoptisch dar, wobei ein besonderes Augenmerk darauf gerichtet wird, der Vielfalt ihrer Ursprungsdisziplinen gerecht zu werden. 268 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540649352ISBN 13 : 9783540649359
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das DAGM-Symposium findet dieses Jahr zum ersten Mal in Stuttgart statt. Das zwanzigjahrige JubiUium nahmen die Vorstandsmitglieder der DAGM zum Anlaf3, von der bisherigen Praxis, nur universitare Veranstalter mit der Organi sation und Durchfiihrung der Tagung zu beauftragen, abzuriicken und die Ta an der Universitat und zwei gungsleitung drei Wissenschaftlem, von denen einer tatig sind, zu iibertragen. Diese enge Verkniipfung zwischen Wis in der Industrie senschaft und Industrie wird dadurch noch weiter vertieft, daf3 gleichzeitig zum Symposium die erfolgreiche Industriemesse VISION'98 unter demselben Dach auf dem Gelande der Messe Stuttgart (Killesberg) ausgerichtet wird und beide Veranstaltungen wechselseitig fiir jede Gruppe offen sind. Die Verfahren der Mustererkennung haben sich in den letzten Jahren deut lich von ihren anfanglich vorhandenen Unzulanglichkeiten und ihrer geringen Robustheit befreien konnen und dadurch auf vielen Wegen ihren Eingang in industrielle Anwendungen gefunden. Mittlerweile wird die Bildverarbeitung als eine der Schliisseltechnologien betrachtet, und die entsprechenden Branchen er warten zweistellige Zuwachsraten bis ins nachste Jahrtausend hinein. 612 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540641025ISBN 13 : 9783540641025
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Lingo-Praxis vermittelt knapp und anschaulich alles Wissenswerte zur Programmierung kommerzieller Multimedia-Anwendungen mit Lingo. Konkrete Beispiele aus der professionellen Praxis erleichtern die Umsetzung. Die beschriebenen Skriptings können für eigene Applikationen von der beiliegenden Hybrid-CD-ROM übernommen werden. 208 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540645497ISBN 13 : 9783540645498
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Topaktuelle Experten-Informationen rund um berufsbedingte Rückenschmerzen. Mit den Grundlagen der BK 2108 und praktischen Hinweisen zur Begutachtung, Prophylaxe, Therapie und zur Abwicklung von Haftungsfällen. 472 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540649387ISBN 13 : 9783540649380
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Tagungsband der 28. Jahrestagung der Gesellschaft für Informatik gibt einen Überblick über diejenigen Trends in den Gebieten Bild- und Sprachverarbeitung, die für die weitere Entwicklung der Informatik eine Schlüsselrolle spielen. In den Beiträgen werden Resultate der Spitzenforschung präsentiert, Anwendungen aus der Industrie formuliert und die gesellschaftliche Relevanz der betrachteten Themengebiete beleuchtet. 424 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540648631ISBN 13 : 9783540648635
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Introduction Model theorists have often joked in recent years that the part of mathemat ical logic known as 'pure model theory' (or stability theory), as opposed to the older and more traditional 'model theory applied to algebra' , turns out to have more and more to do with other subjects ofmathematics and to yield gen uine applications to combinatorial geometry, differential algebra and algebraic geometry. We illustrate this by presenting the very striking application to diophantine geometry due to Ehud Hrushovski: using model theory, he has given the first proof valid in all characteristics of the 'Mordell-Lang conjecture for function fields' (The Mordell-Lang conjecture for function fields, Journal AMS 9 (1996), 667-690). More recently he has also given a new (model theoretic) proof of the Manin-Mumford conjecture for semi-abelian varieties over a number field. His proofyields the first effective bound for the cardinality ofthe finite sets involved (The Manin-Mumford conjecture, preprint). There have been previous instances of applications of model theory to alge bra or number theory, but these appl~cations had in common the feature that their proofs used a lot of algebra (or number theory) but only very basic tools and results from the model theory side: compactness, first-order definability, elementary equivalence. 228 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540651071ISBN 13 : 9783540651079
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Fourth International Workshop on Mul timedia Information Systems (MIS'98) held in Istanbul, Turkey in September 1998. This workshop builds upon the success of the three previous workshops in this series that were held in Arlington, VA, West Point, NY, and Como, Italy. As in the past, this is a small focused workshop, consisting of participants drawn from a wide variety of disciplines (e. g. theory, algorithms, real time systems, networks, operating sys tems, graphics and visualization, databases, artificial intelligence, etc. ), all of which focus on research on one or more aspects of multimedia systems. The workshop program included 19 technical papers, three invited talks, and one panel. Of the technical papers 13 were accepted as regular papers and 6 as short con tributions. These papers cover a number of areas including: Multimedia storage system design Image storage and retrieval systems Quality of service considerations Networking support for multimedia information systems Distributed virtual environments Multimedia system architecture issues The invited talks were given by three experts well known for their work in this area. Satish K. Tripathi's (University of California, Riverside) talk was on 'Quality of Service Support for Multimedia Data on Internet', Paul Emmerman (US Army Re search Laboratory) discussed 'Visualizing the Digital Battlefield', and Val Tannen (University of Pennsylvania) presented 'Heterogeneous Data Integration with Mobile Information Manager'. The panel discussion, organized by Chahab Nastar of INRIA, France, addressed 'Trends in Visual Information Retrieval. 228 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 354065075XISBN 13 : 9783540650751
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : 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 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES '98, held in Montreal, Canada, in June 1998.The 19 revised papers presented were carefully reviewed and selected from a total of 54 submissions for inclusion in the book; also included are one full paper and an abstract of an invited contribution. The papers address all current aspects of research and development in the rapidly growing area of embedded systems and real-time computing. 284 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540650032ISBN 13 : 9783540650034
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. 356 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540649603ISBN 13 : 9783540649601
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. 328 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540646493ISBN 13 : 9783540646495
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Autor führt den Leser von den Grundlagen objektorientierter Programmierung über Entwurfs- und Codierungstechniken hin zu einer realistischen Fallstudie in Form eines objektorientierten Fenstersystems mit Text- und Grafikeditor. In UML-Notation wird gezeigt, wofür sich objektorientierte Programmierung eignet und welche Probleme man mit ihr lösen kann. Als Programmiersprache wird Oberon-2 verwendet, ein moderner Nachfolger von Pascal. Die dritte Auflage enthält neue Kapitel über Entwurfsmuster und Kontrakte, ein erweitertes Kapitel über Frameworks sowie ein Glossar.Die beigefügte CD-ROM enthält Oberon-2-Compiler für Windows 95/NT, PowerMac und LINUX. Weitere Oberon-2-Compiler sind von der ETH Zürich erhältlich.Hanspeter Mössenböck ist Professor für Informatik an der Johannes Kepler Universität Linz. Seine Arbeitsgebiete sind objektorientierte Programmierung, Compilerbau und Werkzeuge der Softwaretechnik. Als ehemaliger Mitarbeiter von Professor Niklaus Wirth an der ETH Zürich war er an der Entwicklung der Sprache Oberon-2 beteiligt. 352 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540650385ISBN 13 : 9783540650386
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Dissertation entstand wahrend meiner Tatigkeit als wissenschaftli cher Mitarbeiter am Institut fOr Industrielle Fertigung und Fabrikbetrieb (IFF) der Uni versitat Stuttgart sowie am Fraunhofer-Institut fOr Produktionstechnik und Automati sierung (IPA) in Stuttgart. Herrn Prof. Dr. h.c.mult. Dr.-Ing. H.-J. Warnecke, dem Prasidenten der Fraunhofer Gesellschaft, danke ich besonders fur seine wohlwollende Unterstutzung und Forde rung, die zum Gelingen dieser Arbeit beigetragen hat. Herrn Prof. Dr.-Ing. A. Goldschmidt bin ich fOr seine Sereitschaft zur Durchsicht des Manuskriptes, fOr die sehr wertvollen Hinweise, die sich daraus ergaben und fOr die Obernahme des Mitberichtes zum gror.en Dank verpflichtet. Daruber hinaus danke ich allen Mitarbeitern des Instituts fOr die anregende Kritik und Diskussion, insbesondere den Herren Dr. K. Melchior, Dipl.-Ing. D. Ondratschek, Dr.-Ing. J. Domnick, M. Obst und Dipl.-Ing. A. Scheibe. Mein besonderer Dank gilt Frau Dipl.-Ing. S. Knaupp fOr die Mitarbeit bei der Programmierung des neuronalen Netzes. Herrn Dipl.-Ing. T. Oberlander und Herrn Dipl.-Ing. (FH) S. Paustian danke ich fOr die Mithilfe bei der VersuchsdurchfOhrung. Zum Dank fOr die Motivation und die tatkraftige Unterstutzung, insbesondere bei der DurchfOhrung der Untersuchungen und Serechnungen, wid me ich das Such meiner Frau Manuela. Stuttgart, Juni 1998 Pavel Svejda Inhaltsverzeichnis Symbolverzeichnis . . 12 o Einleitung . . . . . . . . . . . . 16 Aktueller Stand der industriellen Lackiertechnik . . 19 2 Der Lackierproze~ am Beispiel der Automobil-Serienlackierung . . 156 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540640126ISBN 13 : 9783540640127
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das gemeinsame Merkmal der Somatoformen Störungen sind körperliche Beschwerden ohne hinreichende organische Ursache. Die Patienten suchen häufig viele Ärzte auf, da sie einen hohen Leidensdruck empfinden und die Diagnose unklar bleibt. Die Organmedizin ist aufgrund fehlender pathologischer Befunde weitgehend hilflos. Nach mehreren ergebnislosen Behandlungsversuchen mündet die Patientenkarriere häufig in Erwerbsunfähigkeit, womit enorme Folgekosten verbunden sind. Trotz der unbestrittenen gesundheitspolitischen Bedeutung sind grundlegende Fragen der Störungskonzeption weitgehend ungeklärt. Zielsetzung des vorliegenden Buchs ist es, die verschiedenen Konzeptionen zusammenzuführen und deren Unterschiede und Gemeinsamkeiten sowie Implikationen für psychotherapeutisches und ärztliches Handeln aufzuzeigen. 240 pp. Deutsch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540618457ISBN 13 : 9783540618454
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Linear Geostatistics covers basic geostatistics from the underlying statistical assumptions, the variogram calculation and modelling through to kriging. The underlying philosophy is to give the students an indepth understanding of the relevant theory and how to put it into practice. This means going into the theory in more detail than most books do, and also linking it with applications. It is assumed that readers, students and professionals alike, are familiar with basic probability and statistics, and matrix algebra needed for solving linear systems. Some reminders on these are given in an appendix at the end of the book. A set of exercises is integrated into the text. 172 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 354065013XISBN 13 : 9783540650133
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT'98), held at the European education centre Europ aisches Bildungszentrum (ebz) Otzenhausen, Germany, October 8{ 10, 1998. The Conference was sponsored by the Japanese Society for Arti cial Intelligence (JSAI) and the University of Kaiserslautern. Thirty-four papers on all aspects of algorithmic learning theory and related areas were submitted, all electronically. Twenty-six papers were accepted by the program committee based on originality, quality, and relevance to the theory of machine learning. Additionally, three invited talks presented by Akira Maruoka of Tohoku University, Arun Sharma of the University of New South Wales, and Stefan Wrobel from GMD, respectively, were featured at the conference. We would like to express our sincere gratitude to our invited speakers for sharing with us their insights on new and exciting developments in their areas of research. This conference is the ninth in a series of annual meetings established in 1990. The ALT series focuses on all areas related to algorithmic learning theory including (but not limited to): the theory of machine learning, the design and analysis of learning algorithms, computational logic of/for machine discovery, inductive inference of recursive functions and recursively enumerable languages, learning via queries, learning by arti cial and biological neural networks, pattern recognition, learning by analogy, statistical learning, Bayesian/MDL estimation, inductive logic programming, robotics, application of learning to databases, and gene analyses. 460 pp. Englisch.
Edité par Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10 : 3540650148ISBN 13 : 9783540650140
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP 98 and several wo- shops. SAS 98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS 94,SAS 95,SAS 96andSAS 97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA 92 held in Bordeaux (France) and WSA 93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS 98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS 98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS 98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy systemmanagers . 404 pp. Englisch.