This book constitutes the refereed proceedings of the 12th ifip wg 5.5 working conference on virtual enterprises, pro-ve 2011, held in sao paulo, brazil, in october 2011.
See offerThis book constitutes the thoroughly refereed post-conference proceedings of the 12th brazilian symposium on formal methods, sbmf 2009, held in gramado, brazil, in august 2009 -- co-located with sast 2009, the brazilian workshop on systematic and automated software testing. the 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement.
See offerThe four-volume set lncs 7333-7336 constitutes the refereed proceedings of the 12th international conference on computational science and its applications, iccsa 2012, held in salvador de bahia, brazil, in june 2012. the four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (ahpaa), bioinspired computing and applications (bioca), computational geometry and applicatons (cga), chemistry and materials sciences and technologies (cmst), cities, technologies and planning (ctp), 7334 - econometrics and multidimensional evaluation in the urban environment (emeue), geographical analysis, urban modeling, spatial statistics (geo-an-mod), 7335 - optimization techniques and applications (ota), mobile communications (mc), mobile-computing, sensind and actuation for cyber physical systems (msa4cps), remote sensing (rs), 7336 - software engineering processes and applications (sepa), software quality (sq), security and privacy in computational sciences (spcs), soft computing and data engineering (scde).
See offerThis book constitutes the thoroughly refereed post-conference ,of the 12th international symposium on computer music modeling and retrieval, cmmr 2016, held in ,são paulo, brazil, in  ,july 2016. the 22 full papers presented were carefully reviewed and selected from 40 submissions.
See offerThis book constitutes the refereed proceedings of the 12th international conference on entertainment computing, icec 2013, held in sao paulo, brazil, in october 2013. the 13 full papers, 6 short papers, 11 posters presented were carefully reviewed and selected from 75 submissions.
See offerThe four-volume set lncs 7333-7336 constitutes the refereed proceedings of the 12th international conference on computational science and its applications, iccsa 2012, held in salvador de bahia, brazil, in june 2012. the four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (ahpaa), bioinspired computing and applications (bioca), computational geometry and applicatons (cga), chemistry and materials sciences and technologies (cmst), cities, technologies and planning (ctp), 7334 - econometrics and multidimensional evaluation in the urban environment (emeue), geographical analysis, urban modeling, spatial statistics (geo-an-mod), 7335 - optimization techniques and applications (ota), mobile communications (mc), mobile-computing, sensind and actuation for cyber physical systems (msa4cps), remote sensing (rs), 7336 - software engineering processes and applications (sepa), software quality (sq), security and privacy in computational sciences (spcs), soft computing and data engineering (scde).
See offerThe four-volume set lncs 7333-7336 constitutes the refereed proceedings of the 12th international conference on computational science and its applications, iccsa 2012, held in salvador de bahia, brazil, in june 2012. the four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (ahpaa), bioinspired computing and applications (bioca), computational geometry and applicatons (cga), chemistry and materials sciences and technologies (cmst), cities, technologies and planning (ctp), 7334 - econometrics and multidimensional evaluation in the urban environment (emeue), geographical analysis, urban modeling, spatial statistics (geo-an-mod), 7335 - optimization techniques and applications (ota), mobile communications (mc), mobile-computing, sensind and actuation for cyber physical systems (msa4cps), remote sensing (rs), 7336 - software engineering processes and applications (sepa), software quality (sq), security and privacy in computational sciences (spcs), soft computing and data engineering (scde).
See offerThis book constitutes the refereed proceedings of the brazilian symposium on bioinformatics, bsb 2019, held in fortaleza, brazil in october 2019.the 9 revised full papers and 3 short papers were carefully reviewed and selected from 22 submissions.
See offerLivro - formal aspects of component software: 12th international conference, facs 2015, niteroi, brazil, october 14-16, 2015, revised selected papers: 2016 (lecture notes in computer scien.
See offerThis book constitutes the refereed proceedings of the 12th international conference on cryptology and network security, cans 2013, held in paraty, brazil, in november 2013. the 18 revised full papers presented together with four invited talks were carefully reviewed and selected from 57 submissions.
See offerThe four-volume set lncs 7333-7336 constitutes the refereed proceedings of the 12th international conference on computational science and its applications, iccsa 2012, held in salvador de bahia, brazil, in june 2012. the four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (ahpaa), bioinspired computing and applications (bioca), computational geometry and applicatons (cga), chemistry and materials sciences and technologies (cmst), cities, technologies and planning (ctp), 7334 - econometrics and multidimensional evaluation in the urban environment (emeue), geographical analysis, urban modeling, spatial statistics (geo-an-mod), 7335 - optimization techniques and applications (ota), mobile communications (mc), mobile-computing, sensind and actuation for cyber physical systems (msa4cps), remote sensing (rs), 7336 - software engineering processes and applications (sepa), software quality (sq), security and privacy in computational sciences (spcs), soft computing and data engineering (scde).
See offer