logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Anna Ingólfsdóttir's Books back

language per page order
Automata, Languages and Programming: 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I - Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingólfsdóttir, Igor Walukiewicz
Automata, Languages and Programming: 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I
by Igor Walukiewicz (author), Magnus M. Halldorsson (author), Ivan Damgaard (author), Luca Aceto (author), Anna Ingólfsdóttir (author), Leslie Ann Goldberg (author)
publisher: Springer publish date: June 24th 2008
format: paperback pages: 896
language: English
ISBN: 3540705740 (9783540705741)
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 - Luca Aceto, Anna Ingólfsdóttir
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
by Luca Aceto (author), Anna Ingólfsdóttir (author)
publisher: Springer publish date: April 1st 2006
format: paperback pages: 447
language: English
ISBN: 3540330453 (9783540330455)
Transactions on Computational Systems Biology VII (Lecture Notes in Computer Science / Transactions on Computational Systems Biology) - Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson, Corrado Priami
Transactions on Computational Systems Biology VII (Lecture Notes in Computer Science / Transactions on Computational Systems Biology)
by Hanne Riis Nielson (author), Bud Mishra (author), Anna Ingólfsdóttir (author), Corrado Priami (author)
publisher: Springer publish date: December 20th 2006
format: kindle pages: 185
language: English
ASIN: B001D4JCW4
Reactive Systems: Modelling, Specification and Verification - Luca Aceto, Kim Guldstrand Larsen, Jiri Srba, Anna Ingólfsdóttir
Reactive Systems: Modelling, Specification and Verification
by Jiri Srba (author), Luca Aceto (author), Kim Guldstrand Larsen (author), Anna Ingólfsdóttir (author)
publisher: Cambridge University Press publish date: August 9th 2007
format: hardcover pages: 284
language: English
ISBN: 0521875463 (9780521875462)
Automata, Languages and Programming, Part II - Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingólfsdóttir, Igor Walukiewicz
Automata, Languages and Programming, Part II
by Ivan Damgaard (author), Igor Walukiewicz (author), Magnus M. Halldorsson (author), Luca Aceto (author), Anna Ingólfsdóttir (author), Leslie Ann Goldberg (author)
publisher: Springer publish date: June 24th 2008
format: paperback pages: 730
language: English
ISBN: 3540705821 (9783540705826)
Reactive Systems: Modelling, Specification and Verification - L Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larson, Jiri Srba
Reactive Systems: Modelling, Specification and Verification
by Kim Guldstrand Larson (author), L Aceto (author), Jiri Srba (author), Anna Ingólfsdóttir (author)
publisher: Cambridge University Press publish date: August 9th 2007
format: ebook pages: 301
ISBN: 128104041X (9781281040411)
Need help?