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,Kim Guldstrand Larsen,Jiri Srba,Anna Ingólfsdóttir,Reykjavik) Aceto, Luca (University of Iceland,Reykjavik) Ingolfsdottir, Anna (University of Iceland,Denmark) Larsen, Kim Guldstrand (Aalborg University,Denmark) Srba, Jiri (Aalborg University,Anna Ingolfsdottir

Inbunden, Engelska, 2007

1 439 kr

Skickas inom 7-10 vardagar

Del 10460 - Lecture Notes in Computer Science

Models, Algorithms, Logics and Tools

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

AvLuca Aceto,Giorgio Bacci,Giovanni Bacci,Anna Ingólfsdóttir,Axel Legay,Radu Mardare,Anna Ingolfsdottir

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,Hanne Riis Nielson

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,Leslie Ann Goldberg,Magnus M. Halldorsson,Anna Ingolfsdottir,Igor Walukiewicz,Ivan Damgard

Häftad, Engelska, 2008

1 369 kr

Skickas inom 10-15 vardagar