Hoppa till sidans huvudinnehåll

Anna Ingólfsdóttir - Böcker

Visar alla böcker från författaren Anna Ingólfsdóttir.
5 produkter

Reactive Systems

Modelling, Specification and Verification

AvLuca Aceto,Anna Ingólfsdóttir m. fl.

Inbunden, Engelska, 2007

1 479 kr

Skickas inom 10-15 vardagar

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

AvLuca Aceto,Giorgio Bacci m. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Foundations of Software Science and Computational Structures

9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings

AvLuca Aceto,Anna Ingólfsdóttir

Häftad, Engelska, 2006

709 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology VII

AvAnna Ingolfsdottir,Bud Mishra m. fl.

Häftad, Engelska, 2006

689 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

AvLuca Aceto,Ivan Damgaard m. fl.

Häftad, Engelska, 2008

1 369 kr

Skickas inom 10-15 vardagar