Vladimiro Sassone – författare
Visar alla böcker från författaren Vladimiro Sassone. Handla med fri frakt och snabb leverans.
15 produkter
Foundations of Software Science and Computational Structures
8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
Häftad, 2005
568 kr
Lägg i varukorg
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, …
Foundations of Software Science and Computational Structures
8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
E-bok, 2005
755 kr
Lägg i varukorg
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, …
Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Av Michele Bugliesi, Bart Preneel m. fl.
Häftad, 2006
1129 kr
Lägg i varukorg
The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume I (4051) presents 61 revised …
Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Av Ingo Wegener, Vladimiro Sassone m. fl.
E-bok, 2006
1459 kr
Lägg i varukorg
Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Av Michele Bugliesi, Bart Preneel m. fl.
Häftad, 2006
1129 kr
Lägg i varukorg
The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume II (4052) presents 2 invited …
Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Av Ingo Wegener, Vladimiro Sassone m. fl.
E-bok, 2006
1459 kr
Lägg i varukorg
CONCUR '96: Concurrency Theory
7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
Av Ugo Montanari, Vladimiro Sassone
Häftad, 1996
1129 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions …
Theoretical Computer Science
6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Av Christian S. Calude, Vladimiro Sassone
Inbunden, 2010
568 kr
Lägg i varukorg
Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT …
Theoretical Computer Science
6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Av Vladimiro Sassone, Christian S. Calude
E-bok, 2010
739 kr
Lägg i varukorg
Trustworthy Global Computing
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Av Roberto Bruni, Vladimiro Sassone
Häftad, 2012
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical …
Trustworthy Global Computing
6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Av Vladimiro Sassone, Roberto Bruni
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical …
Mathematical Foundations of Computer Science 2012
37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Av Branislav Rovan, Vladimiro Sassone m. fl.
Häftad, 2012
1205 kr
Lägg i varukorg
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from …
Mathematical Foundations of Computer Science 2012
37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Av Peter Widmayer, Vladimiro Sassone m. fl.
E-bok, 2012
1587 kr
Lägg i varukorg
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from …
Theoretical Computer Science
6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Av Christian S. Calude, Vladimiro Sassone
Häftad, 2014
568 kr
Lägg i varukorg
Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT …
