Springer springer vieweg mai 1996 (2 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In a competitive world, research in manufacturing systems plays an important role in creating, updating and improving the technologies and management practices of the economy. This volume presents some of the most recent results in stochastic manufacturing systems. Experts from the fields of applied mathematics, engineering and management sciences review and substantially update the recent advances in the control and optimization of manufacturing systems. Recent Advances in Control and Optimization of Manufacturing Systems consists of eight chapters divided into three parts which focus on Optimal Production Planning, Scheduling and Improvability and Approximate Optimality and Robustness. This book is intended for researchers and practitioners in the fields of systems theory, control and optimization, and operation management as well as in applied probability and stochastic processes.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 240 pp. Englisch.…