springer berlin heidelberg springer berlin heidelberg jun 1996 (93 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -This book presents the refereed proceedings of the International Workshop on Reasoning with Uncertainty in Robotics, RUR'95, held in Amsterdam, The Netherlands, in December 1995.The book contains 13 revised full papers carefully selected for presentation during the workshop together with six invited papers. Also included are two comprehensive tutorial texts and an introduction by the volume editors. Thus the book is both a competent state-of-the-art report on current research and development and a valuable survey and introduction for researchers entering the area or professionals interested in the application of up-to-date techniques.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Information technology is changing the way we write. Special features such as outliners, spelling checkers and graphic facilities have transformed word processors into document processors; document processors have, in turn, integrated with other electronic resources such as e-mail and the Internet to provide a complete writing environment. The New Writing Environment examines the knowledge that is needed in order to develop, use and evaluate computer-based writing environments. The emphasis is firmly on practical issues: tasks performed by writers at work, problems they encounter, and documents they actually produce. Writing is defined within a wide social and organisational context, in order to give an accurate assessment of how the new technology affects the social and cooperative aspects of authorship. The result is a wide-ranging and comprehensive assessment of the relationship between writing and computers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In a close analogy to matching data in Euclidean space, this monograph views parameter estimation as matching of the empirical distribution of data with a model-based distribution. Using an appealing Pythagorean-like geometry of the empirical and model distributions, the book brings a new solution to the problem of recursive estimation of non-Gaussian and nonlinear models which can be regarded as a specific approximation of Bayesian estimation. The cases of independent observations and controlled dynamic systems are considered in parallel; the former case giving initial insight into the latter case which is of primary interest to the control community. A number of examples illustrate the key concepts and tools used. This unique monograph follows some previous results on the Pythagorean theory of estimation in the literature (e.g., Chentsov, Csiszar and Amari) but extends the results to the case of controlled dynamic systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -A new branch of science usually develops thus. Somebody publishes the basic ideas. Hesitatingly at first, then little by little, other original contributions appear, until a certain threshold is reached. Then, overview articles are printed, conferences are held, and a first mention is made in textbooks, until specialized monographs are written. Continuum damage mechanics has reached that status now. To analyze or, if possible, to predict the failure of machine parts or other structures is one of the main goals of engineering science. Consequently fracture mechanics became one of its leading branches. It was based on the analysis of existing cracks. However, especially under conditions of cyclic loading, this might be too late to prevent a disaster. Therefore, the question regarding the precursory state, that is, the evolution of internal damage before macrocracks become visible, was then posed. One of the successful approaches to the problem was Weibull's theory which examined, in a statistical manner, the ' weakest link' in the material volume under consideration. Unfortunately it proved too difficult mathematically to be applied to complicated parts or structures. Therefore it was highly appreciated by the scientific community when L. M. Kachanov published in 1958 a simple model of material damage which subsequently could be extended to brittle elastic, plastic or viscous materials under all conditions of uniaxial or multiaxial, simple or cyclic loadings, so that it may be considered nearly universal.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Zustand: Neu. Neuware -Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon Gay, and Rajagopal Nagarajan contribute a fundamental study founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.

Buch. Zustand: Neu. Neuware -This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods in Engineering Design, held in Nafplio, Greece, August 25-27, 1994. The workshop convened together some thirty or so researchers from Canada, France, Germany, Greece, Israel, Taiwan, The Netherlands, United Kingdom and the United States of America, to address issues related to the application of such emergent computing methods as genetic algorithms, neural networks and simulated annealing in problems of engineering design. The volume is essentially organized into three parts, with each part having some theoretical papers and other papers of a more practical nature. The frrst part, which comprises the largest number of papers, deals with genetic algorithms and evolutionary computing and presents subject matter ranging from proposed improvements to the computing methodology to specific applications in engineering design. The second part deals with neural networks and considers such topics as their application as approximation tools in design, their adaptation in control system design and theoretical issues of interpretation. The third part of the volume presents a collection of papers that examine such diverse topics as the combined use of genetic algorithms and neural networks, the application of simulated annealing techniques, problem decomposition techniques and the computer recognition and interpretation of emerging objects in engineering design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Buch. Zustand: Neu. Neuware -For a long time, lactic acid bacteria have played an indispensable role in food production. This book provides an overview and recent findings on their genetics and biochemistry as well as possible applications. The development and use of non-pathogenic lactic acid bacteria in vaccine delivery systems for mucosal immunizations are discussed. Their role in food fermentation, their use in carbohydrate modification and key systems for proteolysis and lantibiotic production are treated in detail. Further, the transformation of organic wastes into food and fertilizers is covered. The volume contains a wealth of useful information and can serve both as an introduction to the field for beginners and as a reference book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Buch. Zustand: Neu. Neuware -Complex high-technology devices are in growing use in industry, service sectors, and everyday life. Their reliability and maintenance is of utmost importance in view of their cost and critical functions. This book focuses on this theme and is intended to serve as a graduate-level textbook and reference book for scientists and academics in the field. The chapters are grouped into five complementary parts that cover the most important aspects of reliability and maintenance: stochastic models of reliability and maintenance, decision models involving optimal replacement and repair, stochastic methods in software engineering, computational methods and simulation, and maintenance management systems. This wide range of topics provides the reader with a complete picture in a self-contained volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 612 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book Trees IV, like the previous volumes (Trees I, II, III published in 1986, 1989, 1991, respectively), is special in its approach. It elucidates the case history and biotechnology of individual fruit, forest, and ornamental trees, and discusses the present state of the art, with particular reference to in vitro propagation. It comprises 24 chapters contributed by international experts, and deals with the importance, distribution, conventional propa gation, micropropagation, review of tissue culture studies, and recent advances in the in vitro culture and genetic manipulation of various species of Acrocomia, Ailanthus, Anacardium, Allocasuarina, Carya, Casuarina, Coffea, Cyphomandra, Feijoa, Fraxinus, Gymnocladus, Leptospermum, Fagus, Metroxylon, Oxydendrum, Paeonia, Paulownia, Pouteria, Psidium, and Quercus. Included are also five chapters on gymnosperm trees, such as Abies jraseri, Cephalotaxus harringtonia, Pinus durangensis, P. gregg ii, P. halepensis, P. pinea, and Tetraclinis articulata. Trees IV is a valuable reference book for scientists, teachers, and students of forestry, botany, genetics, and horticulture, and all those who are interested in the biotechnology of trees. New Delhi, March 1996 Professor y. P. S. BAJAJ Series Editor Contents Section I Angiosperm Trees 1. 1 Acrocomia Species (Macauba Palm) O. l. CROCOMO and M. MELO (With 8 Figures) 1 General Account . . . . . . . . . . 3 2 Chemical Composition . . . . . . 5 3 Genetics and Crop Improvement 9 4 In Vitro Culture Studies 10 5 Industrial Utilization . . . 14 6 Lauric Acid . . . . . . . . . 15 7 Summary and Conclusions 15 References . . . . . . . . . . . . . . . . . . . . . . . . . 16 1. 2 Ailanthus altissima Mill. Swingle (Tree of Heaven) M. ZENKTELER and B. 452 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Aktueller, interdisziplinärer Überblick über moderne diagnostische und interventionelle Verfahren, deren Bedeutung im klinischen Alltag ständig zunimmt. Der neueste Wissensstand, praxisgerecht für Sie aufgearbeitet.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Im Vordergrund stehen hier die Funktionen von Böden, die Bodeninhaltsstoffe sowie Empfehlungen zur Bodenprobennahme bei Altlasten- und Verdachtsflächenuntersuchungen. Erörtert werden dabei die 'Technische Regel Böden' und Anforderungen an die Verwertung gereinigter oder schwach kontaminierter Böden. Ein weiterer Schwerpunkt liegt auf den versicherungstechnischen Aspekten bei Besitz und Umgang mit kontaminierten Böden. Anhand von Praxisbeispielen werden darüber hinaus die Erkundung, notwendige Sofortmaßnahmen sowie die Sanierung von Bodenkontaminationen, insbesondere im Hinblick auf die geplante Folgenutzung, dargestellt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Eine interdisziplinierte Bestandsaufnahme zum Thema Globalisierung der Wirtschaft. Jenseits oberflächlicher Klischees diskutieren Wissenschaftler der Volks- und Betriebswirtschaft, der Sozial- und Ingenieurwissenschaften den dramatischen Wandel für Wirtschaft, Politik und Gesellschaft . Über die aktuelle Standortdebatte hinaus werden längerfristige Trends identifiziert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Das vorliegende Buch gibt eine Einführung in folgende moderne Verfahren der Proteinanalytik: Aminosäure-Sequenzanalyse, Prinzipien und Techniken der Chromatographie und Elektrophorese, Massenspektrometrie, UV/Vis-, CD-, IR-, Raman-, NMR- und ESR-Spektroskopie, Lichtstreuung, Sedimentationsanalyse, immun- und biochemische Verfahren, datenbankgestützte Strukturvorhersagen, chemische Modifizierung von Proteinen. Es verbindet eine abgerundete Darstellung von Theorie, Arbeitsmethoden und Meßverfahren mit einer kritischen Wertung der Möglichkeiten und Grenzen ihres Einsatzes. Es wendet sich an Studenten der Biochemie und verwandter Gebiete und alle in den Biowissenschaften Tätige.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Inhaltsangabe1. Wasser und Bioelemente.- 2. Kohlenhydrate.- 3. Lipide.- 4. Nucleotide und Polynucleotide (Nucleinsäuren).- 5. Aminosäuren und Polyaminosäuren (Proteine).- 6. Celluläre Organellen und Strukturen.- 7. Biokatalyse.- 8. Stoffwechsel und Funktion der Nucleinsäuren.- 9. Mechanismus und Regulation der Proteinbiosynthese.- 10. Viren.- 11. Genetisch bedingte Proteindefekte.- 12. Bioenergetik.- 13. Grundlagen des Intermediärstoffwechsels.- 14. Intermediärstoffwechsel I: Citratcyclus.- 15. Intermediärstoffwechsel II: Kohlenhydrate.- 16. Intermediärstoffwechsel III: Lipide.- 17. Intermediärstoffwechsel IV: Aminosäuren.- 18. Intermediärstoffwechsel V: Purine und Pyrimidine.- 19. Intermediärstoffwechsel VI: Häm und Gallenfarbstoffe.- 20. Wasser- und Elektrolythaushalt.- 21. Spurenelemente.- 22. Vitamine.- 23. Ernährung.- 24. Endokrine Gewebe I: Allgemeine Grundlagen.- 25. Endokrine Gewebe II: Die schnelle Stoffwechselregulation.- 26. Endokrine Gewebe III: Hypothalamisch-hypophysäres System und Zielgewebe.- 27. Endokrine Gewebe IV: Regulation des Wasser- und Elektrolythaushalts.- 28. Gastrointestinaltrakt.- 29. Leber.- 30. Blut.- 31. Muskelgewebe.- 32. Binde- und Stützgewebe.- 33. Nervengewebe.- 34. Immunsystem.- 35. Nieren und Urin.- 36. Tumorgewebe.- 1. Hinweisindex zum Gegenstandskatalog 'Chemie für Mediziner und Biochemie'.- 2. Hinweisindex zum Gegenstandskatalog 'Pathophysiologie/Pathobiochemie'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1056 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Im Jahre 1964 erschien der erste Band dieses herausragenden deutschsprachigen Bestimmungswerks für die in Mitteleuropa vorkommenden Käfer. Seitdem hat sich der ¿Freude/Harde/Lohse¿ als Standard und Referenzwerk der Koleopterologie in Wissenschaft und Forschung etabliert und auch unter Freizeitentomologen breiten Anklang gefunden. Mittlerweile sind 29 Bände erschienen, einige davon bereits in 2. Auflage. Weitere neue Bände zu den Käferlarven sind in Vorbereitung.Die Reihe gliedert sich in die vier Abschnitte: Systematik (Bde. 1-15): Mit präzisen Strichzeichnungen bebilderte dichotome Bestimmungsschlüssel aller Käferfamilien bis zu den Arten. Kurze Angaben zur Verbreitung, zum Lebensraum und zur Lebensweise. Ausführliche Fachliteraturverzeichnisse. Faunistik (Bd. K): Zusammenfassender Band mit Tabellen zur Synonymie, Verbreitung, Ernährung und Ökologie von 35.000 mitteleuropäischen Käferarten. Larven (Bde. L1-L6): Mit Strichzeichnungen und Fotos bebilderte dichotome Bestimmungsschlüssel der Coleoptera- Larven bis zu den Gattungen, oft bis zu den Arten mit Lebensraumangaben. Ausführliche Fachliteraturverzeichnisse. Ökologie (Bde. E1-E8): Systematische Verzeichnisse der Ökologie, Habitate, Nischen und Ernährungstypen aller Käferfamilien und ihrer Arten.Springer Spektrum hat diese einzigartige zoologische Reihe nun wieder komplettiert. Vergriffene und von den Spezialisten schmerzlich vermisste Bände wurden nachgedruckt.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 336 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Fifth Scandinavian Workshop on Algorithm Theory, SWAT '96, held in Reykjavik, Iceland, in July 1996.The 35 full papers included in the book in revised version were carefully selected from a total of 95 submissions; also included are abstracts or full versions of three invited talks by prominent researchers. All in all, the collection of articles reports state-of-the-art results on various topics of current design and analysis of algorithms. 472 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th British National Conference on Databases, BNCOD 14, held in Edinburgh, United Kingdom, in July 1996.The 13 revised papers presented in the book in full version together with two invited talks and three industrial abstracts were selected from a total of 47 submissions involving authors from 21 countries. The papers included are written by researchers and professionals from academia and industry; the volume is organized in topical sections on object-oriented databases, integrity issues, database performance and optimization, and database languages. 252 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Incremental computation concerns the re-computation of output after a change in the input, whereas algorithms and programs usually derive their output directly from their input. This book investigates the concept of incremental computation and dynamic algorithms in general and provides a variety of new results, especially for computational problems from graph theory: the author presents e.g. efficient incremental algorithms for several shortest-path problems as well as incremental algorithms for the circuit value annotation problem and for various computations in reducible flow graphs. 208 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others. 504 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Second Annual International Conference on Computing and Combinatorics, COCOON '96, held in June 1996 in Hong Kong.The 44 papers presented in the book in revised version were carefully selected from a total of 82 submissions. They describe state-of-the-art research results from various areas of theoretical computer science, combinatorics related to computing, and experimental analysis of algorithms; computational graph theory, computational geometry, and networking issues are particularly well-presented. 440 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Comprising six invited lectures by recognised experts in the field of control the Colloquium on Automatic Control presents a number of well-balanced theoretical and engineering-oriented elements which will be accessible to many readers ranging from non-specialists to experts and professionals in the field. 240 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First Australian Workshop on Distributed Artificial Intelligence, held in Canberra, ACT, Australia, in November 1995.The 16 full papers included in the book are revised versions of the contributions accepted for presentation at the workshop; they cover a wide range of current issues in the field of DAI, such as formal frameworks, methodology, theory, and architecture; various aspects of agents and multi-agent systems are addressed. 248 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume consists entirely of research papers, principally in stochastic calculus, martingales, and Brownian motion, and gathers an important part of the works done in the main probability groups in France (Paris, Strasbourg, Toulouse, Besançon, Grenoble,.) together with closely related works done by some probabilists elsewhere (Switzerland, India, Austria,.). 396 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the International Workshop on Reasoning with Uncertainty in Robotics, RUR'95, held in Amsterdam, The Netherlands, in December 1995.The book contains 13 revised full papers carefully selected for presentation during the workshop together with six invited papers. Also included are two comprehensive tutorial texts and an introduction by the volume editors. Thus the book is both a competent state-of-the-art report on current research and development and a valuable survey and introduction for researchers entering the area or professionals interested in the application of up-to-date techniques. 404 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a close analogy to matching data in Euclidean space, this monograph views parameter estimation as matching of the empirical distribution of data with a model-based distribution. Using an appealing Pythagorean-like geometry of the empirical and model distributions, the book brings a new solution to the problem of recursive estimation of non-Gaussian and nonlinear models which can be regarded as a specific approximation of Bayesian estimation. The cases of independent observations and controlled dynamic systems are considered in parallel; the former case giving initial insight into the latter case which is of primary interest to the control community. A number of examples illustrate the key concepts and tools used. This unique monograph follows some previous results on the Pythagorean theory of estimation in the literature (e.g., Chentsov, Csiszar and Amari) but extends the results to the case of controlled dynamic systems. 244 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of ICAOS '96 the 12th International Conference on Analysis and Optimization of Systems. This conference was co-organized by INRIA and the CEREMADE and was dedicated to Images, Wavelets and PDE's. The aim of the conference was to discuss the impact on image analysis of recent mathematical developments in multiscale analysis, partial differential equations, variational methods and so on. ICAOS '96 provided a forum for image processing researchers and mathematicians to interact and to exchange their technical knowledge and experience, theoretical or practical, in this emerging and exciting domain. The selected papers have been organized according to the following sessions, each session corresponding to a section of the book: 1. Active Contours; 2. Image Enhancement and Restoration, Scale-Spaces; 3. Wavelets; 4. Image Segmentation; 5. Image Restoration; 6. Coding; 7. Applications. 380 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort.Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies. 248 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 6th volume of 'Advances in Forensic Haemogenetics' comprises the scientific contributions to the 16th Congress of the International Society for Forensic Haemogenetics ISFH held on Sept., 12-16, 1995 at Santiago de Compostela, Spain. The numerous papers mainly deal with the applicability of DNA technology to forensic questions. The invited speakers approached important topics such as variation of mitochondrial DNA in ancient and modern humans, the 'STR approach' to solve forensic questions, the statistical analysis of STR data, automation of DNA analysis, long PCR and its applications, national DNA databases and ethical and legal aspects of DNA analysis. It has become obvious that PCR based polymorphic systems clearly dominate the scene of forensic DNA analysis worldwide. It will however be necessary to make efforts to standardize the still increasing number of systems with regard to nomenclature to achieve a universal comparability of results. Legal systems differ from country to country which has to be taken into account when reporting DNA results. There is still controversy about the way DNA results are to be presented in court-rooms. We should make efforts to assess the value of DNA evidence by a common scientifc statistical approach that is comprehensive enough to treat all possible hypotheses such as involved relatives, different ethnics and/or the not so rare situations with mixed stains. 728 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In the first part of this book bargaining experiments with different economic and ethical frames are investigated. The distributive principles and norms the subjects apply and their justifications for these principles are evaluated. The bargaining processes and the resulting agreements are analyzed. In the second part different bargaining theories are presented and the corresponding solutions are axiomatically characterized. A bargaining concept with goals that depend on economic and ethical features of the bargaining situation is introduced. Observations from the experimental data lead to the ideas for the axiomatic characterization of a bargaining solution with goals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In some manufacturing systems significant setups are required to change production from one type of products to another. The setups render the manufacturing system inflexible as for reacting to changes in demand patterns, hence inventories must be maintained to guarantee an acceptable customer service. In this environment, production scheduling faces a number of problems, and this work deals with mathematical models to support the scheduling decisions. Some more background and motivation is given in the following sections, as well as in a case description in Section 1. 3. The synopsis in Section 1. 4 outlines the topics of the work. 1. 1 Motivation of the Planning Problem Consider the production of metal sheets in a rolling mill. If the width of the next type of sheets is greater than the width of the preceding type, then the roll needs a setup: during the rolling process the edges of a sheet cause grooves on the rolls' surface, thus, the surface must be polished if a greater width is run next. Sheets with a smaller width can be run directly, without a setup. Another example in which setups are sequence dependent is a line where cars are sprayed: if the color of the paint changes, the cleaning of the tools requires a setup depending on the sequence of the colors. Only a small setup may be needed for changing from a light to a dark color, but a thorough cleaning of the tools is 2 CHAPTER 1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.