Book123

Study Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, ProceedingsSpringer | 2008-04-28 | ISBN: 354079123X | 193 pages | PDF | 4,2 MbThis book constitutes the refereed proceedings of the Second Internat ...

Technical Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008. Revised Selected Papers

Science/Engineering Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.

Technical Networks for Grid Applications: Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008. Revised Selected Papers (Lecture Notes ... and Telecommunications Engineering)

ISBN: 3642020798 Publisher: Springer Author: Description:This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Networks for Grid Applications, GridNets 2008, held in Beijing, Chi ...

Technical Types for Proofs and Programs: International Conference, TYPES 2008

Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro, "Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science)"Springer; 1 edition (Augus ...

Technical Advances in Computer Science and Engineering: 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected ... in Computer and Information Science)

ISBN: 3540899847 Publisher: Springer Author: Description:This book constitutes the revised selected papers of the 13th International CSI Computer Conference, CSICC 2008 held on Kish Island, Iran, in March 2008. The 84 regular papers present ...