Filtros : "2011" Removido: "Spring Simulation Multiconference on - SpringSim" Limpar

Filtros



Refine with date range


  • Source: BMC Genomics. Conference titles: International Conference of the Brazilian Association for Bioinformatics and Computational Biology (X-meeting 2010), 6. Unidades: EACH, IB, IME

    Subjects: GENOMAS, DOENÇAS GENÉTICAS, BANCO DE DADOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ARAÚJO, Luciano Vieira de et al. A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems. BMC Genomics. London: Escola de Artes, Ciências e Humanidades, Universidade de São Paulo. Disponível em: https://doi.org/10.1186/1471-2164-12-S4-S13. Acesso em: 06 mar. 2026. , 2011
    • APA

      Araújo, L. V. de, Malkowski, S., Braghetto, K. R., Passos-Bueno, M. R., Zatz, M., Pu, C., & Ferreira, J. E. (2011). A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems. BMC Genomics. London: Escola de Artes, Ciências e Humanidades, Universidade de São Paulo. doi:10.1186/1471-2164-12-S4-S13
    • NLM

      Araújo LV de, Malkowski S, Braghetto KR, Passos-Bueno MR, Zatz M, Pu C, Ferreira JE. A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems [Internet]. BMC Genomics. 2011 ; 12[citado 2026 mar. 06 ] Available from: https://doi.org/10.1186/1471-2164-12-S4-S13
    • Vancouver

      Araújo LV de, Malkowski S, Braghetto KR, Passos-Bueno MR, Zatz M, Pu C, Ferreira JE. A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems [Internet]. BMC Genomics. 2011 ; 12[citado 2026 mar. 06 ] Available from: https://doi.org/10.1186/1471-2164-12-S4-S13
  • Unidade: IME

    Assunto: BANCO DE DADOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BRAGHETTO, Kelly Rosa. Técnicas de modelagem para a análise de desempenho de processos de negócio. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17112011-160718/. Acesso em: 06 mar. 2026.
    • APA

      Braghetto, K. R. (2011). Técnicas de modelagem para a análise de desempenho de processos de negócio (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17112011-160718/
    • NLM

      Braghetto KR. Técnicas de modelagem para a análise de desempenho de processos de negócio [Internet]. 2011 ;[citado 2026 mar. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17112011-160718/
    • Vancouver

      Braghetto KR. Técnicas de modelagem para a análise de desempenho de processos de negócio [Internet]. 2011 ;[citado 2026 mar. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17112011-160718/
  • Source: Proceedings. Conference titles: European Performance Engineering Workshop - EPEW. Unidade: IME

    Assunto: ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e VINCENT, Jean-Marc. Performance evaluation of business processes through a formal transformation to SAN. 2011, Anais.. Berlin: Springer, 2011. Disponível em: https://doi.org/10.1007/978-3-642-24749-1_5. Acesso em: 06 mar. 2026.
    • APA

      Braghetto, K. R., Ferreira, J. E., & Vincent, J. -M. (2011). Performance evaluation of business processes through a formal transformation to SAN. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-24749-1_5
    • NLM

      Braghetto KR, Ferreira JE, Vincent J-M. Performance evaluation of business processes through a formal transformation to SAN [Internet]. Proceedings. 2011 ;[citado 2026 mar. 06 ] Available from: https://doi.org/10.1007/978-3-642-24749-1_5
    • Vancouver

      Braghetto KR, Ferreira JE, Vincent J-M. Performance evaluation of business processes through a formal transformation to SAN [Internet]. Proceedings. 2011 ;[citado 2026 mar. 06 ] Available from: https://doi.org/10.1007/978-3-642-24749-1_5
  • Unidade: IME

    Assunto: TEORIA DOS AUTÔMATOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e VINCENT, Jean-Marc. From business process model and notation to stochastic automata network. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf. Acesso em: 06 mar. 2026. , 2011
    • APA

      Braghetto, K. R., Ferreira, J. E., & Vincent, J. -M. (2011). From business process model and notation to stochastic automata network. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf
    • NLM

      Braghetto KR, Ferreira JE, Vincent J-M. From business process model and notation to stochastic automata network [Internet]. 2011 ;[citado 2026 mar. 06 ] Available from: https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf
    • Vancouver

      Braghetto KR, Ferreira JE, Vincent J-M. From business process model and notation to stochastic automata network [Internet]. 2011 ;[citado 2026 mar. 06 ] Available from: https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026