Markus wenzel (40 Ergebnisse)

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Wenzel, Hanna (illustrator).

Paperback. Zustand: Very Good. Co-Edition ed. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Wenzel, Hanna (illustrator).

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Wenzel, Hanna (illustrator).

Paperback. Zustand: Brand New. 128 pages. 9.51x6.76x0.67 inches. In Stock. Wenzel, Hanna (illustrator).

Paperback. Zustand: Brand New. csm pap/ac edition. 128 pages. 9.25x6.50x0.50 inches. In Stock. Wenzel, Hanna (illustrator).

Zustand: New. Wenzel, Hanna (illustrator).

Zustand: New. Wenzel, Hanna (illustrator).

Zustand: New. In English.

Broschiert. Zustand: Gut. 218 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 395. …

4°. Orig.-Karton. 128 S. This issue of the bi-lingual magazine features material which shows the interconnections between diverse (pop)cultural resouces and different attempts to dicipher and develop these codes further. The cover offers a dialectical tear-out kit with words describing cultural opposites of each side; the magazine`s articles range from recipies for brain dishes to a reprint of a Twenties` Sci-Fi story. Deutsch / Englischsprachig. Sehr gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 800.…

168 S. This issue of the bi-lingual magazine features material which shows the interconnections between diverse (pop)cultural resouces and different attempts to dicipher and develop these codes further. The cover offers a dialectical tear-out kit with words describing cultural opposites of each side; the magazine`s articles range from recipies for brain dishes to a reprint of a Twenties` Sci-Fi story. Deutsch / Englischsprachig. Sehr gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 800 4°. Orig.-Karton mit kreisrunden Ausstanzungen.…

Paperback. Zustand: Brand New. 472 pages. 12.20x9.00x0.90 inches. In Stock.

Paperback. Zustand: Brand New. 59 pages. German language. 8.26x5.82x0.24 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the y, but hardly anybody does that. Wenzel s dedicated syntax is elegant, replacing for example eight simpli cation tactics with a single method, namely simp, with associated - tions. The book has three parts. The rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL s treatment of sets, functions, and relations and explains how to de ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages.…

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides for the first time an overview on the current approaches and applications of energy aspects in production and logistics by the use of simulation techniques. During the last decade, the importance of energy in the material flow processes has become more and more important. The pressure to reduce the environmental footprint of production and logistics systems will even intensify in future. Therefore, enterprises have started to integrate the use of energy into their planning processes much more than before, even designing feedback loops, e.g., from energy control to production control. This receives additional attention with the increasing use of renewable, but less reliable, energy sources. Care must be taken to establish processes that aim to use energy when it is available. As an example, many industrial processes like melting or coating have significant energy demands, but could vary the point of time of its consumption within specific limits, leading to a very high complexity. It discusses the construction and application of energy-specific performance indicators and analyzes the input information that needs to be acquired before implementing suitable models.On this basis, concrete technical solutions are introduced.…

Hardcover. Zustand: gut. Auflage: 2007 (25. Januar 2007). Das Buch ist von Bauingenieuren für Bauingenieure geschrieben, die sich professionell mit der Immobilienwirtschaft beschäftigen. Jedes Gebäude unterliegt einem Lebenszyklus, der Kosten verursacht. Diese vorhersehbaren Kosten müssen bereits bei der zukünftigen Planung berücksichtigt werden. Die Autoren stellen dabei umfassend und praxisorientiert alle wichtigen Managementleistungen vor, die für eine erfolgreiche Planung, Vorbereitung und Durchführung einer Immobilie erforderlich sind. Das Buch ist von Bauingenieuren für Bauingenieure geschrieben, die sich professionell mit der Immobilienwirtschaft beschäftigen. Jedes Gebäude unterliegt einem Lebenszyklus, der Kosten verursacht. Diese vorhersehbaren Kosten müssen bereits bei der zukünftigen Planung berücksichtigt werden. Die Autoren stellen dabei umfassend und praxisorientiert alle wichtigen Managementleistungen vor, die für eine erfolgreiche Planung, Vorbereitung und Durchführung einer Immobilie erforderlich sind. Über den Autor Univ.-Prof. Dr.-Ing. Bernd Kochendörfer, TU Berlin Dr.-Ing. Markus G. Viering, KVL Bauconsult GmbH, Berlin Dr.-Ing. Jens H. Liebchen, TU Berlin Inhaltsverzeichnis von Managementleistungen im Lebenszyklus von Immobilien"Einführung - Entwicklungsmanagement - Vermarktungsmanagement - Projektmanagement - Vertragsmanagement - Nachforderungsmanagement - Qualitätsmanagement - Risikomanagement - Schnittstellenmanagement - Nachhaltigkeitsmanagement - Konfliktmanagement Heute reicht es nicht mehr alleine aus zu Bauen. Heute haben Gebäude einen Lebenszyklus. Managementleistungen im Lebenszyklus von Immobilien (Leitfaden des Baubetriebs und der Bauwirtschaft) [Gebundene Ausgabe] von Dr.-Ing. Markus G. Viering KVL Bauconsult GmbH, Berlin (Herausgeber), Univ.-Prof. Dr.-Ing. Bernd Kochendörfer TU Berlin (Herausgeber), Dr.-Ing. Jens H. Liebchen TU Berlin (Herausgeber), Marek Evert (Herausgeber), Horst Franke (Herausgeber), Michael Fretter (Herausgeber), Tanja Kohnke (Herausgeber), Oliver Krecker (Herausgeber), Katrin Kredel (Herausgeber), Matthias Kuß (Herausgeber), Andreas Ligner (Herausgeber), Thomas Lützkendorf (Herausgeber), Ralf Moldenhauer (Herausgeber), Andreas Roquette (Herausgeber), Lothar Ruf (Herausgeber), Sven Seehawer (Herausgeber), Steffen Schmitt (Herausgeber) Bauingenieur Baumanagement Entwicklungsmanagement Facility Management Nachhaltigkeitsmanagement Qualitätsmanagement Bauen Gebäude Bauingenieure Immobilienwirtschaft Immobilie Entwicklungsmanagement - Vermarktungsmanagement - Projektmanagement - Vertragsmanagement - Nachforderungsmanagement - Qualitätsmanagement - Risikomanagement - Schnittstellenmanagement - Nachhaltigkeitsmanagement - Konfliktmanagement Kosten Planung Vorbereitung Durchführung Univ.-Prof. Dr.-Ing. Bernd Kochendörfer, TU Berlin Dr.-Ing. Markus G. Viering, KVL Bauconsult GmbH, Berlin Dr.-Ing. Jens H. Liebchen, TU Berlin Mitarbeit Fritz Berner, Bernd Kochendörfer Überarbeitung Marek A. Evert, Horst Franke, Michael Fretter, Tanja Kohnke, Oliver Krecker, Katrin Kredel, Matthias Kuß, Andreas Ligner, Thomas Lützkendorf, Ralf Moldenhauer, Andreas J. Roquette, Lothar Ruf, Sven Seehawer, Steffen Schmitt, Wenzel Steinhage, Christof Stumpf, Hermann Stapenhorst, Richard Wartenberg, Christian Zanner, Volker Zerr Sprache deutsch Maße 170 x 240 mm Einbandart gebunden Technik Bauingenieur Baumanagement ISBN-10 3-519-00528-X 351900528X ISBN-13 978-3-519-00528-5 9783519005285 In deutscher Sprache. 450 pages. 23,8 x 17,2 x 2,8 cm.…

Taschenbuch. Zustand: Neu. Energy-Related Material Flow Simulation in Production and Logistics | Sigrid Wenzel (u. a.) | Taschenbuch | xiii | Englisch | 2024 | Springer | EAN 9783031342202 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book provides for the first time an overview on the current approaches and applications of energy aspects in production and logistics by the use of simulation techniques. During the last decade, the importance of energy in the material flow processes has become more and more important. The pressure to reduce the environmental footprint of production and logistics systems will even intensify in future. Therefore, enterprises have started to integrate the use of energy into their planning processes much more than before, even designing feedback loops, e.g., from energy control to production control. This receives additional attention with the increasing use of renewable, but less reliable, energy sources. Care must be taken to establish processes that aim to use energy when it is available. As an example, many industrial processes like melting or coating have significant energy demands, but could vary the point of time of its consumption within specific limits, leading to a very high complexity. ¿It discusses the construction and application of energy-specific performance indicators and analyzes the input information that needs to be acquired before implementing suitable models. On this basis, concrete technical solutions are introduced.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides for the first time an overview on the current approaches and applications of energy aspects in production and logistics by the use of simulation techniques. During the last decade, the importance of energy in the material flow processes has become more and more important. The pressure to reduce the environmental footprint of production and logistics systems will even intensify in future. Therefore, enterprises have started to integrate the use of energy into their planning processes much more than before, even designing feedback loops, e.g., from energy control to production control. This receives additional attention with the increasing use of renewable, but less reliable, energy sources. Care must be taken to establish processes that aim to use energy when it is available. As an example, many industrial processes like melting or coating have significant energy demands, but could vary the point of time of its consumption within specific limits, leading to a very high complexity. It discusses the construction and application of energy-specific performance indicators and analyzes the input information that needs to be acquired before implementing suitable models.On this basis, concrete technical solutions are introduced.…

Hardcover. Zustand: Brand New. 216 pages. 9.25x6.10x0.63 inches. In Stock.

Softcover. Zustand: gut. 2024. Energy-Related Material Flow Simulation in Production and Logistics In deutscher Sprache. pages.

Hardcover. Zustand: Brand New. 464 pages. German language. 6.50x1.26x9.25 inches. In Stock.

Springer, Berlin, 2008. X/237 S. kartoniert--- - neuwertig - 432 Gramm.

paperback. Zustand: Sehr gut. 60 Seiten; 9783658291006.2 Gewicht in Gramm: 500.

Zustand: New. In English.

farbig, orig. signiert---- Ralleysport - 3 Gramm.