Anna Ingólfsdóttir – författare
Visar alla böcker från författaren Anna Ingólfsdóttir. Handla med fri frakt och snabb leverans.
8 produkter
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, 2017
568 kr
Lägg i varukorg
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, …
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Av Radu Mardare, Axel Legay m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, …
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, 2006
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.The 28 revised full papers presented together with 1 invited paper were carefully …
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 Anna Ingolfsdottir, Luca Aceto
E-bok, 2006
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully …
Transactions on Computational Systems Biology VII
Av Anna Ingolfsdottir, Bud Mishra m. fl.
Häftad, 2006
552 kr
Lägg i varukorg
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully selected set of papers from two workshops: BioConcur 2004 held in London, UK in August 2004 and BioConcur 2005 held in San Francisco, CA, USA in August 2005. The 8 papers chosen …
Automata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I
Av Igor Walukiewicz, Anna Ingolfsdottir m. fl.
E-bok, 2008
2127 kr
Lägg i varukorg
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully …
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, 2008
1129 kr
Lägg i varukorg
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully …
Automata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Av Igor Walukiewicz, Anna Ingolfsdottir m. fl.
E-bok, 2008
1459 kr
Lägg i varukorg
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully …
