kowalewski stefan (12 Ergebnisse)

Zustand: New. In.

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.

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

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.

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/.

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 .

Taschenbuch. Zustand: Neu. Emissionszertifikatehandel im europäischen Luftverkehr | Eine kritische Betrachtung aus umweltökonomischer Sicht | Stefan Kowalewski | Taschenbuch | 116 S. | Deutsch | 2014 | AV Akademikerverlag | EAN 9783639386509 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.