Hoppa till sidans huvudinnehåll

Anna Ingolfsdottir - Böcker

Visar alla böcker från författaren Anna Ingolfsdottir.
5 produkter

Reactive Systems

Modelling, Specification and Verification

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

Av Luca Aceto, Giorgio Bacci m. fl

Häftad, Engelska, 2017

729 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

Av Luca Aceto, Anna Ingólfsdóttir

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology VII

Av Anna Ingolfsdottir, Bud Mishra m. fl

Häftad, Engelska, 2006

709 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

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

Av Luca Aceto, Ivan Damgaard m. fl

Häftad, Engelska, 2008

1 409 kr

Skickas inom 10-15 vardagar