wyszukanych pozycji: 5
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, Tacas 2009, Held as Part of the Joint European Confe
ISBN: 9783642007675 / Angielski / Miękka / 2009 / 456 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING), fourtutorials, andseveninvitedlectures(excludingthosethatweres- ci?c to the satellite events). The ?ve main conferences...
ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was es...
|
cena:
202,19 |
![]() |
Emissionszertifikatehandel im europäischen Luftverkehr
ISBN: 9783639386509 / Niemiecki / Miękka / 2012 / 116 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Im Jahr 1997 wurden mit dem Kyoto-Protokoll erstmals verbindliche Zielwerte und Instrumente fur den globalen Klimaschutz und die Eindammung der klimaschadlichen Auswirkungen von Treibhausgasen ins Leben gerufen. Seit dem 1. Januar 2012 wird der stetig wachsende europaische Luftverkehr in den Emissionshandel fur Treibhausgase einbezogen, was eine grosse 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...
Im Jahr 1997 wurden mit dem Kyoto-Protokoll erstmals verbindliche Zielwerte und Instrumente fur den globalen Klimaschutz und die Eindammung der klimas...
|
cena:
148,08 |
![]() |
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings
ISBN: 9783642158971 / Angielski / Miękka / 2010 / 231 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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...
This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was ...
|
cena:
202,19 |
![]() |
World shapers of tomorrow: Startups building our future
ISBN: 9783347263246 / Angielski / Miękka / 2021 / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
112,31 |
![]() |
World shapers of tomorrow: Startups building our future
ISBN: 9783347263253 / Angielski / Twarda / 2021 / 100 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
157,25 |