Kowalewski stefan (25 risultati)

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Softcover. Condizione: Bon. Ancien livre de bibliothèque avec équipements. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Condizione: New. In English.

PF. Condizione: New.

Condizione: New. pp. 476.

@ Cover design and illustrations / Projekt okladki i ilustracje: Projekt obwoluty i okladki Andrzej Kowalewski; @ Blurb / Notka wydawnicza: Warszawa: Panstwowe Zaklady Wydawnictw Szkolnych, 1962; @ Size of the book block / Wymiar bloku: 25 cm; @ Circulation / Naklad: 16260; @ Weight / Waga: 790; @ Pages / Strony: 351s.; @ Thematic categories / Kategorie tematyczne: design grafika uzytkowa oprawy / okladki 1960-1969, ilustratorzy graficy Kowalewski Andrzej, nauka oswiata, sztuka estetyka kultura - sztuka / , , science education, art culture / , , Wissenschaft Bildungswesen, Kunst Kultur; Obwoluta nieco uszkodzona i zabrudzona, oprawa bez wad, karta tytulowa z nieaktualnym podpisem wlasnosciowym poza tym blok czysty i bez wad. Pozycja w dosc ladnym stanie Oprawa wydawnicza plotno, obwoluta. Projekt obwoluty i okladki Andrzej Kowalewski (illustratore). …

Paperback. Condizione: Brand New. 2009 edition. 456 pages. 9.00x6.00x1.00 inches. In Stock.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.…

Taschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings | Stefan Kowalewski (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642007675 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu. …

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.…

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Kartoniert / Broschiert. Condizione: New. Bereits vor dem atomaren GAU in Fukushima hatte der Titel dieses Buches festgestanden, dessen Dimension durch die apokalyptischen Geschehnisse in Japan auf tragische Weise erweitert wurde. Am Beispiel von Tschernobyl zeigen Peter Jaeggi und seine Koautoren .

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. World shapers of tomorrow: Startups building our future shows the impact of the TOP 100 Swiss Startups over the last 10 years. On 100 pages, the publication features the facts and figures about the startup ecosystem in Switzerland, shows the sectors and geo.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems. 476 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. World shapers of tomorrow: Startups building our future shows the impact of the TOP 100 Swiss Startups over the last 10 years. On 100 pages, the publication features the facts and figures about the startup ecosystem in Switzerland, shows the sectors and geo.…

Condizione: New. Print on Demand pp. 476 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 476.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on T.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Im Jahr 1997 wurden mit dem Kyoto-Protokoll erstmals verbindliche Zielwerte und Instrumente für den globalen Klimaschutz und die Eindämmung der klimaschädlichen Auswirkungen von Treibhausgasen ins Leben gerufen. Seit dem 1. Januar 2012 wird der stetig wachsende europäische Luftverkehr in den Emissionshandel für Treibhausgase einbezogen, was eine große Herausforderung darstellt. Die Arbeit untersucht in diesem Zusammenhang, ob das Konzept des Emissionshandels ein geeignetes Instrument darstellt, um die negativen Umweltauswirkungen der im Luftverkehr auftretenden Emissionen dem Verursacher zuzuschreiben. Hierzu werden zunächst relevante umweltökonomische Grundlagen aufgeführt, es folgen eine ausführliche Darstellung des Prozesses der internationalen Klimaschutzpolitik sowie eine detaillierte Übersicht sowohl über die internationalen als auch die bundesdeutschen Gesetzesgrundlagen. Des Weiteren erläutert der Autor die Einbindung des europäischen Luftverkehrs in das EU-Emissionshandelssystem näher und legt abschließend Standpunkte und Meinungen von Interessenvertretern aus der Luftfahrtbranche, von Umweltschutzvertretern sowie den zuständigen Behörden dar und vergleicht diese kritisch. 116 pp. Deutsch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Kowalewski StefanDer 1983 in Dessau geborene Autor studierte Betriebswirtschaftslehre mit den Schwerpunkten Umwelt- und Operations Management an der Hochschule fuer Technik und Wirtschaft Berlin. Seit Maerz 2010 ist er in einem renommi.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Im Jahr 1997 wurden mit dem Kyoto-Protokoll erstmals verbindliche Zielwerte und Instrumente für den globalen Klimaschutz und die Eindämmung der klimaschädlichen Auswirkungen von Treibhausgasen ins Leben gerufen. Seit dem 1. Januar 2012 wird der stetig wachsende europäische Luftverkehr in den Emissionshandel für Treibhausgase einbezogen, was eine große Herausforderung darstellt. Die Arbeit untersucht in diesem Zusammenhang, ob das Konzept des Emissionshandels ein geeignetes Instrument darstellt, um die negativen Umweltauswirkungen der im Luftverkehr auftretenden Emissionen dem Verursacher zuzuschreiben. Hierzu werden zunächst relevante umweltökonomische Grundlagen aufgeführt, es folgen eine ausführliche Darstellung des Prozesses der internationalen Klimaschutzpolitik sowie eine detaillierte Übersicht sowohl über die internationalen als auch die bundesdeutschen Gesetzesgrundlagen. Des Weiteren erläutert der Autor die Einbindung des europäischen Luftverkehrs in das EU-Emissionshandelssystem näher und legt abschließend Standpunkte und Meinungen von Interessenvertretern aus der Luftfahrtbranche, von Umweltschutzvertretern sowie den zuständigen Behörden dar und vergleicht diese kritisch.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 116 pp. Deutsch.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Im Jahr 1997 wurden mit dem Kyoto-Protokoll erstmals verbindliche Zielwerte und Instrumente für den globalen Klimaschutz und die Eindämmung der klimaschädlichen Auswirkungen von Treibhausgasen ins Leben gerufen. Seit dem 1. Januar 2012 wird der stetig wachsende europäische Luftverkehr in den Emissionshandel für Treibhausgase einbezogen, was eine große Herausforderung darstellt. Die Arbeit untersucht in diesem Zusammenhang, ob das Konzept des Emissionshandels ein geeignetes Instrument darstellt, um die negativen Umweltauswirkungen der im Luftverkehr auftretenden Emissionen dem Verursacher zuzuschreiben. Hierzu werden zunächst relevante umweltökonomische Grundlagen aufgeführt, es folgen eine ausführliche Darstellung des Prozesses der internationalen Klimaschutzpolitik sowie eine detaillierte Übersicht sowohl über die internationalen als auch die bundesdeutschen Gesetzesgrundlagen. Des Weiteren erläutert der Autor die Einbindung des europäischen Luftverkehrs in das EU-Emissionshandelssystem näher und legt abschließend Standpunkte und Meinungen von Interessenvertretern aus der Luftfahrtbranche, von Umweltschutzvertretern sowie den zuständigen Behörden dar und vergleicht diese kritisch.…