Anna Ingolfsdottir | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 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,70 €

Transactions on Computational Systems Biology VII

Ingolfsdottir, Anna; Mishra, Bud; Nielson, Hanne Riis
Springer
2006
Pehmeäkantinen kirja

51,10 €

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

129,60 €

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

Aceto, Luca; Ingólfsdóttir, Anna
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

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 International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Reactive Systems: Modelling, Specification and Verification

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

256,00 €