stefan kowalewski (29 Ergebnisse)

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

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: new. Paperback. This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996),Cesena (July 1997),Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006), Berlin (July 2007), L'Aquila (September 2008), and Eindhoven (November 2009). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering,whi ch o?ereda choiceofeventsintheareainadditionto themainconference.More- formation about ASE 2010 and the co-located events can be found on Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Zustand: New.

Zustand: New. In.

PF. Zustand: New.

Zustand: New. pp. 476.

Projekt obwoluty i okladki Andrzej Kowalewski (illustrator). @ 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.

Paperback. Zustand: Brand New. 231 pages. 9.50x6.25x0.75 inches. In Stock.

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

Zustand: New.

Taschenbuch. Zustand: 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. Zustand: 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.

Taschenbuch. Zustand: Neu. Neuware - This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996),Cesena (July 1997),Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006), Berlin (July 2007), L Aquila (September 2008), and Eindhoven (November 2009). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering,whi ch o ereda choiceofeventsintheareainadditionto themainconference.More- formation about ASE 2010 and the co-located events can be found on soft.vub.ac.be/ase2010/.

Zustand: 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.

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

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

Kartoniert / Broschiert. Zustand: 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 .

Zustand: 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. Zustand: 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.

Zustand: 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.

Zustand: 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.

Zustand: New. PRINT ON DEMAND pp. 476.

Zustand: 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. Zustand: 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. Zustand: 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.

Zustand: 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. Zustand: 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. Zustand: 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.