Luca Aceto | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?

Reactive Systems: Modelling, Specification and Verification

Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba
Cambridge University Press
2007
Kovakantinen kirja

103,50 €

Three Dogs (CD)

Gianluca Aceto & Michele Acquafredda
Alfamusic
2025
CD-levy

21,40 €

Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings

Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; Halldorsson, Magnus M.; Ingolfsdottir, Anna; Walukiewicz, Igor
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

100,90 €

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008

Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; Halldorsson, Magnus M.; Ingolfsdottir, Anna; Walukiewicz, Igor
Springer
2008
Pehmeäkantinen kirja

132,80 €

Foundations of Software Science and Computational Structures : 9th International Conference, FOSSACS 2006, Held as Part of

Aceto, Luca; Ingólfsdóttir, Anna
Springer
2006
Pehmeäkantinen kirja

51,10 €

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011.

Aceto, Luca; Henzinger, Monika; Sgall, Jiří
Springer
2011
Pehmeäkantinen kirja

100,90 €

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010.

Aceto, Luca; Henzinger, Monika; Sgall, Jiri
Springer
2011
Pehmeäkantinen kirja

100,90 €

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
Springer
2017
Pehmeäkantinen kirja

51,10 €

Reactive Systems: Modelling, Specification and Verification

Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim Guldstrand
CAMBRIDGE
2011
Verkkoaineisto

262,40 €