springer berlin heidelberg springer berlin heidelberg jun 1994 (74 results)

Taschenbuch. Condition: Neu. Neuware -Tchebycheff (or Haar) and weak Tchebycheff spaces play a central role when considering problems of best approximation from finite dimensional spaces. The aim of this book is to introduce Haar-like spaces, which are Haar and weak Tchebycheff spaces under special conditions. It studies topics of subclasses of Haar-like spaces, that is, classes of Tchebycheff or weak Tchebycheff spaces, spaces of vector-valued monotone increasing or convex functions and spaces of step functions. The notion of Haar-like spaces provides a general point of view which includes the theories of approximation from the above spaces. The contents are largely new. Graduate students and researchers in approximation theory will be able to read this book with only basic knowledge of analysis, functional analysis and linear algebra.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The equivariant derived category of sheaves is introduced. All usual functors on sheaves are extended to the equivariant situation. Some applications to the equivariant intersection cohomology are given. The theory may be useful to specialists in representation theory, algebraic geometry or topology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Distributed computing is of great significance in current and future reserach and applications of computer science. As a consequence, in artificial intelligence we can observe rapid growth in the subfield of distributed artificial intelligence (DAI). In particular research on multiagent systems and their potential applications currently attract a lot of interest. This monograph presents recent research and an introductory survey on multiagent systems and some other aspects of DAI. The author describes these systems as composed of intelligent entities, the agents, with intentions, beliefs, know-how, and communicating with each other, furthermore, a semantics for multiagent systems in a general logical framework is developed.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 872 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The favourable reception of the first edition and the encouragement received from many readers have prompted the author to bring out this new edition. This provides the opportunity for correcting a number of errors, typographical and others, contained in the first edition and making further improvements. This second edition has a new chapter on simplifying Dynamical Systems covering Poincare map, Floquet theory, Centre Manifold Theorems, normal forms of dynamical systems, elimination of passive coordinates and Liapunov-Schmidt reduction theory. It would provide a gradual transition to the study of Bifurcation, Chaos and Catastrophe in Chapter 10. Apart from this, most others - in fact all except the first three and last chapters - have been revised and enlarged to bring in some new materials, elaborate some others, especially those sections which many readers felt were rather too concise in the first edition, by providing more explana tion, examples and applications. Chapter 11 provides some good examples of this. Another example may be found in Chapter 4 where the review of Linear Algebra has been enlarged to incorporate further materials needed in this edition, for example the last section on idempotent matrices and projection would prove very useful to follow Liapunov-Schmidt reduction theory presented in Chapter 9.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Buch. Condition: Neu. Neuware -Bifurcation theory and catastrophe theory are two well-known areas within the field of dynamical systems. Both are studies of smooth systems, focusing on properties that seem to be manifestly non-smooth. Bifurcation theory is concerned with the sudden changes that occur in a system when one or more parameters are varied. Examples of such are familiar to students of differential equations, from phase portraits. Understanding the bifurcations of the differential equations that describe real physical systems provides important information about the behavior of the systems. Catastrophe theory became quite famous during the 1970's, mostly because of the sensation caused by the usually less than rigorous applications of its principal ideas to 'hot topics', such as the characterization of personalities and the difference between a 'genius' and a 'maniac'. Catastrophe theory is accurately described as singularity theory and its (genuine) applications. The authors of this book, previously published as Volume 5 of the Encyclopaedia, have given a masterly exposition of these two theories, with penetrating insight.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Condition: Neu. Neuware -H. Dellweg ist einer der Pioniere in der Biotechnologie mit langer Lehr- und Forschungserfahrung. Er erklärt in lexikalischer Form die wichtigsten Begriffe und Zusammenhänge der Biologie und der Anwendung von Organismen, Zellen und Zellbausteinen. Sein Buch wendet sich an den interessierten Zeitungsleser, der sich unter Begriffen wie 'TNF', 'Genmanipulation', 'Enzymtechnologie' wenig Konkretes vorstellen kann, der aber wissen möchte, weshalb und zu welchem Zweck Biotechnologie betrieben wird und warum die Forschungsförderung einen so hohen Stellenwert hat. Über 500 Stichworte zu den Gebieten Mikroorganismen, Biochemie, Stoffwechsel, Produktionsprozesse, Lebensmittelerzeugung, Biotransformation, Antibiotika, Enzyme, Bioverfahrenstechnik, Zellkultur, Biosensorik, Genetik, Photosynthese, Schadstoffabbau, Klonierung, Rekombination, Genbank, Immunologie, monoklonale Antikörper sowie Ethik und Gefahren der Veränderung von Erbgut geben einen Überblick über das weite Gebiet, das als 'Biotechnologie' bezeichnet wird.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Fit fiir den Aufschwung Mit der sich abzeichnenden Verbesserung der Wirtschafts lage werden viele Unternehmen wieder aufatmen. In einigen Fallen wird sich dabei leider zeigen, daB sehr 'schlanke' Unternehmen nicht mehr uber die erforderliche Substanz verfugen, um einer dynamischen Marktentwicklung folgen oder gar voranschreiten zu kennen. Fur Unternehmen aller dings, die sich beizeiten darauf vorbereitet haben, ergeben sich groBe Chancen. Konjunkturzyklen sind ein bekanntes Phanomen; jeder seit langerer Zeit Berufstatige hat mehrere solcher Phasen mit gemacht. Damit verbunden ist die Erwartung, daB die Ver haltnisse wieder werden wie in besseren Tagen. Vieles deutet jedoch darauf hin, daB das groBe Revirement zu Beginn der neunziger Jahre einen tiefen Einschnitt in der Industriegeschichte unseres Landes markieren wird. Die erfolgreichen Unternehmen der nahen Zukunft werden ¿ sich in einer Welt des Wandels behaupten, ¿ komplexe Wertschepfungsprozesse beherrschen, ¿ Abschied genommen haben von linearem Denken, ¿ ihre Mitarbeiter zu Mitunternehmern gemacht haben, ¿ uberlegene Methoden und Instrumente zur Anwendung bringen. Ein Patentrezept fur den Schritt in die Zukunft gibt es nicht. Die Vielfalt der Anforderungen und EinfluBgreBen erfordert individuelle Vorgehensweisen. Deren Konturen werden je doch immer deutlicher. Viele Beispiele aus der Praxis kennen schon heute als Orientierungspunkte dienen. Die Vermittlung von Anforderungen und Rahmenbedingungen, insbesondere aber von Lesungsansatzen und Methoden ist Anliegen dieser Tagung. Ob Sie den ersten Schritt schon vollzogen oder noch vor sich haben, wir freuen uns auf Ihre Teilnahme.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -In diesem Band werden zentrale Themen und neuere Entwicklungstendenzen auf dem Gebiet des Operations Research (OR) behandelt.Gegenstand sind die Vorträge, die anläßlich der 22. Jahrestagung der Deutschen Gesellschaft für Operations Research (DGOR) und der Nederlandse Stichting voor Operations Research (NSOR) in der Zeit vom 25.-27.8.1993 an der Freien Universität von Amsterdam gehalten wurden.Das Buch ermöglicht dem Leser einen Einblick in neueste Forschungsergebnisse auf dem Gebiet des Operations Research. Neben primär methodischen Fragestellungen bilden praxisorientierte Themen, wie z.B. Anwendungsberichte aus der Praxis und der Bereich Produktionsplanung und -steuerung, einen Schwerpunkt in diesem Band.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 596 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Die Spezialgebiete Anästhesiologie, Intensivtherapie, Schmerztherapie und Notfallmedizin haben in den letzten Jahren eine rasante Entwicklung und eine dementsprechend rasche Zunahme an neuen Erkenntnissen erfahren. Es ist daher besonders wichtig, dieses Wissen so schnell und so weit wie möglich weiterzugeben, um die Qualität in diesen Spezialbereichen der Medizin zu optimieren.Der vorliegende 20. Refresher Course der Deutschen Akademie für anästhesiologische Fortbildung mit 18 verschiedenen Themen aus dem komplexen Gebiet der Akutmedizin vermittelt Fachärzten und Ärzten in der Weiterbildung mit seinen didaktisch gut aufbereiteten Texten den aktuellen Wissensstand der jeweiligen Thematik.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -. . . . . . . . . . . . . . . . . . . . 6 1. 3. 2. Stand der Objekterkennung durch bildgebende Sensoren . . . . . . . . . . . . . . . . . . . . . . 8 1. 3. 3. Ortsflexibler Einsatz von Sensoren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 3. 4. Informationsquellen fUr den ErkennungsprozeB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1. 4. Ziel der Arbeit und Vorgehensweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2. Einsatzfeld Fertigungsumgebung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2. 1. Mechanische Aspekte der Fertigungsumgebung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. 1. 1. Werkstiickspektrum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. 1. 2. Palettensysteme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. 1. 3. Mobiler Roboter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2. 1. 4. Handhabungsvorgange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2. 2. Informationstechnische Komponenten der Fertigungsumgebung . . . . . . . . . . . . . . . . . . . 21 2. 2. 1. Zellenrechner. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2. 2. 2. Aktorsteuerungen . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Die vorliegende Arbeit entstand wahrend meiner Tatigkeit als wissenschaftlicher Mitarbeiter am Fraunhofer-Institut fur Produktionstechnik und Automatisierung (IPA), Stuttgart. Mein besonderer Dank gilt Herrn Prof. Dr. -Ing. Warnecke fUr die groBzugige Unter stutzung und F6rderung, die zum erfolgreichen Gelingen der Arbeit beigetragen haben. Herrn Prof. Dipl. -Ing. Jung danke ich fur die Obernahme des Mitberichtes sowie fUr die wertvollen Hinweise, die sich daraus ergeben haben. Fur die vielen Anregungen und die konstruktive Kritik bei der Ausarbeitung der Ar beit danke ich aus dem groBen Kreis der Kollegen und Kolleginnen des Institutes in besonderem MaBe Herrn Dr. -Ing. H. Emmerich, Herrn Dipl. -Ing. A. Cramer, Herrn Dr. -Ing. M. Schweizer sowie Herrn Prof. Dr. -Ing. A. D. Schraft. Die Zusammenarbeit mit Herrn Dr. -Ing. U. Schweigert war fur mich sehr wertvoll. Ihnen allen, ebenso wie den Studenten und Praktikanten, die an dieser Arbeit mitgewirkt haben, gilt mein herzlicher Dank. Stuttgart, im April 1994 Stefan Koller INHALTSVERZEICHNIS Seite 0 Abkurzungen und Formelzeichen 13 Einleitung 16 1. 1 Problemstellung 16 1. 2 Zielsetzung und Vorgehensweise 17 2 Ausgangssituation 18 2. 1 Begriffe und Definitionen 18 2. 2 Stand der Technik 19 2. 2. 1 Istzustand bei der Verdrahtung von Produkten 19 2. 2. 2 Forschungs-und Entwicklungsaktivitaten 21 3 24 An~l~se de Istz!,!st~nde bei der m~nuellen Vgrgraht!,!ng von Prod!,!kten !,!nd Ableit!,!ng von Anforderunggn an flexible S~steme zur Direktmontagg von Leitungen Produktspektrum 3. 1 24 3. 1. 1 Eingesetzte Leitungen 24 3. 1. 2 Analyse der AnschluBtechniken 26 3. 1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -InhaltsangabeI. Einleitung.- II. Der Einf1uß des Se1bstbestimznurngsrecYxtes in Einwil1igurzgsfragen des Betreuungsgesetzes.- III. Der Mecizinische Betreue und der Genehmigungsvorbehalt des Vormundschaftsgerichts.- IV. Steri1isation von betreu ungsbecliirftigen Menschen.- V. Schlußbetrachtung.- Stichwortverzeichnis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Die Digitalisierung, die über kurz oder lang alle Gebiete der Kommunikations- und Informationstechnik erfaßt, wird auch für den Rundfunk (Fernsehen und Hörfunk) von großer Bedeutung sein. Neue digitale Übertragungssysteme werden die technische Qualität bei der Verbreitung von Programmen wesentlich verbessern und weitere Kapazitäten - insbesondere beim Satellitenrundfunk - erschließen. Der Kongreß des 'Münchner Kreises' bzw. die hieraus resultierende Veröffentlichung informiert über den aktuellen Stand der Digitalisierung in Fernsehen und Hörfunk und betrachtet die damit zusammenhängenden Fragen aus technischer, rundfunkpolitischer und industriepolitischer Sicht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Deutsch.

Taschenbuch. Condition: Neu. Neuware -Die vorliegende Arbeit entstand wahrend meiner Tatigkeit als wissenschaftlicher Mitarbeiter bei der Forschun- und Ingenieursgesellschaft fUr Steuerungstechnik (F1SW GmbH) sowie am Institut fUr Steuerungstechnik der Werk zeugmaschinen und Fertigungseinrichtungen (lSW) der Uni versitat Stuttgart. Bei Herrn Prof. Dr. h.c. Dr.-lng. G. Pritschow, dem Di rektor des Instituts mochte ich mich fur die Unterstut zung und die F6rderung der zu Grunde liegenden For schungsarbeiten sowie fUr die Ubernahme des Hauptberich tes danken. FUr die Erstellung des Mitberichtes danke ich Herrn Prof. Dr.-lng. M. Weck sehr herzlich. Weiterhin gilt mein besonderer Dank meiner Frau sowie meinen Kindern, die maBgeblich zum erfolgreiche Gelingen der Arbeit beigetragen haben. Allen Mitarbeitern und Stu denten, insbesondere Frau Zettl, sowie den Herrn Dipl. Ing. M. Dalacker, Dipl.-lng. J. Heller, Dipl.-lng. U. Rentschler und Dr.-lng K.H. Wurst mochte ich mich fUr die Anregungen beim Entstehen und der Durchsicht der Arbeit danken. lch m6chte mich an dieser Stelle auch bei den Damen im Technischen BUro, in den Sekretariaten des lSW's und der F1SW GmbH und der Bibliothek sowie den Herren der elek trischen und mechanischen Werkstatt fur die gute Zusam menarbeit bedanken.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the refereed papers presented at the International Workshop on Software Encryption Algorithms, held at Cambridge University, U.K. in December 1993.The collection of papers by representatives of all relevant research centers gives a thorough state-of-the-art report on all theoretical aspects of encryption algorithms and takes into account the new demands from new applications, as for example from the data-intensive multimedia applications. The 26 papers are organized in sections on block ciphers, stream ciphers, software performance, cryptanalysis, hash functions and hybrid ciphers, and randomness and nonlinearity. 240 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inventory changes constitute in all countries a small fraction of the Gross National Product but also a major source or an indicator of cyclical fluctuations. In this volume both possible ways of propagation are investigated by examining in the first part what macroeconomists have learned and still have to learn about inventories in the light of statistical definitions and problems. In the second part, the role of monetary shocks in propagating business cycles is considered through liquidity effects and in relation to inventory adjustment. A possible linkage between inventory and labor market is shown. Finally, new evidence and theoretical insights are provided on the linear-quadratic inventory model and its ability to discriminate econometrically among competing firm behavior. 287 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of SWAT '94, the 4th Scandinavian Workshop on Algorithm Theory, held in Aarhus, Denmark in July 1994. The SWAT events are organized each even year and alternate with the WADS meetings (Workshops on Algorithms and Data Structures) held each odd year in North America.The volume contains 31 papers selected from a total of 100 submissions and 3 invited presentations by Michael Fredman (Rutgers), Johan Hastad (Stockholm), and Ketan Mulmuley (Chicago). The contributions cover algorithms and data structures in all areas of computer science and in discrete mathematics, particularly including graph theory, computational geometry, and databases. 404 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 12th British National Conference on Databases (BNCOD-12), held at Surrey, Guildford in July 1994. The BNCOD conferences are thought as a platform for exchange between theoreticians and practitioners, where researchers from academia and industry meet professionals interested in advanced database applications. The 13 refereed papers presented in the proceedings were selected from 47 submissions; they are organized in chapters on temporal databases, formal approaches, parallel databases, object-oriented databases, and distributed databases. In addition there are two invited presentations: 'Managing open systems now that the 'Glashouse' has gone' by R. Baker and 'Knowledge reuse through networks of large KBs' by P.M.D. Gray. 252 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification. 496 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the proceedings of the first International Workshop on Orders, Algorithms, and Applications, held at Lyon, France in July 1994.Ordered sets and the more specifically algorithmic aspects of order theory are of increasing importance, for example in graph theory. They enjoy a recognized place in computer science as well as in mathematics, due to various new developments in the last few years. The nine technical papers accepted for this volume and the four invited papers presented offer a representative perspective on theoretical and applicational aspects of orders and related algorithms. 220 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity. 408 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book develops, for the first time, a qualitative model for the representation of spatial knowledge based only on locative relations between the objects involved.The core of this book is devoted to the study of qualitative inference methods that take into account the rich structure of space. These methods can be applied to quite a number of areas characterized by uncertain or incomplete knowledge, as for example geographic information systems, robot control, computer-aided architectural design, and natural language information systems. 220 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial intelligence.Nowadays, logic is not any longer mainly associated to mathematical and philosophical problems. The term applied logic has a far wider meaning, as numerous applications of logical methods, particularly in computer science, artificial intelligence, or formal linguistics, testify. As demonstrated also in this volume, a variety of non-standard logics gained increased importance for knowledge representation and reasoning under uncertainty. 252 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains papers from the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, held in Washington DC, USA, on 26 September 1993. The workshop addressed the issue of how to introduce an acceptable level of security into object-oriented systems, as the use of such systems becomes increasingly widespread. The topic is approached from two different, but complementary, viewpoints: the incorporation of security into object-oriented systems, and the use of object-oriented design and modelling techniques for designing secure applications. The papers cover a variety of issues, relating to both mandatory and discretionary security, including security facilities of PCTE, information flow control, the design of multilevel secure data models, and secure database interoperation via role translation. The resulting volume provides a comprehensive overview of current work in this important area of research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship 'Marshal Koshevoi' on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is the premier European event on object-oriented programming and technology. The 25 full refereed papers presented in the volume were selected from 161 submissions; they are grouped in sessions on class design, concurrency, patterns, declarative programming, implementation, specification, dispatching, and experience. Together with the keynote speech 'Beyond Objects' by Luc Steels (Brussels) and the invited paper 'Putting Objects to Work' by Norbert A. Streitz (GMD-IPSI, Darmstadt) they offer an exciting perspective on object-oriented programming research and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents the proceedings of the First International Conference on Applications of Databases, ADB-94, held at Vadstena, Sweden in June 1994. ADB-94 provided a unique platform for the discussion of innovative applications of databases among database researchers, developers and application designers. The 28 refereed papers were carefully selected from more than 100 submissions. They report on DB applications, for example in air traffic, modelling, maps, environment, finance, engineering, electronic publishing, and digital libraries, and they are devoted to advanced database services, as for example image text and multimedia modelling, fuzzy set based querying, knowledge management, heterogeneous multidatabase management, and intelligent networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The conference, coorganized by INRIA and Ecole des Mines de Paris, focuses on Discrete Event Systems (DES) and is aimed at engineers, scientists and mathematicians working in the fields of Automatic Control, Operations Research and Statistics who are interested in the modelling, analysis and optimization of DES. Various methods such as Automata theory, Petri nets, etc. are proposed to describe and analyze such systems. Comparison of these different mathematical approaches and the global confrontation of theoretical approaches with applications in manufacturing, telecommunications, parallel computing, transportation, etc. are the goals of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.