Menu

Filtros : "Java" Removido: "International Conference On Computational Science - ICCS 2016" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Mestrado Profissionalizante

    Controle eletrônico das etapas do processo de planejamento de pacientes em radioterapia (2017)

    Brito, Carlos de; Oliveira, Harley Francisco de (Orientador)

    Unidade: FMRP

    Subjects: CIÊNCIA DA COMPUTAÇÃO, FÍSICA MÉDICA, INFORMAÇÃO EM SAÚDE, BANCO DE DADOS, SISTEMAS COMPUTADORIZADOS DE REGISTROS MÉDICOS

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

    • ABNT

      BRITO, Carlos de. Controle eletrônico das etapas do processo de planejamento de pacientes em radioterapia. 2017. Mestrado Profissionalizante – Universidade de São Paulo, Ribeirão Preto, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/17/17159/tde-06042018-104352/. Acesso em: 15 fev. 2026.

    • APA

      Brito, C. de. (2017). Controle eletrônico das etapas do processo de planejamento de pacientes em radioterapia (Mestrado Profissionalizante). Universidade de São Paulo, Ribeirão Preto. Recuperado de http://www.teses.usp.br/teses/disponiveis/17/17159/tde-06042018-104352/

    • NLM

      Brito C de. Controle eletrônico das etapas do processo de planejamento de pacientes em radioterapia [Internet]. 2017 ;[citado 2026 fev. 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/17/17159/tde-06042018-104352/

    • Vancouver

      Brito C de. Controle eletrônico das etapas do processo de planejamento de pacientes em radioterapia [Internet]. 2017 ;[citado 2026 fev. 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/17/17159/tde-06042018-104352/

  • Artigo de periodico

    From test purposes to formal JPF properties (2015)

    Hanazumi, Simone; Melo, Ana Cristina Vieira de; Pasareanu, Corina S

    Source: Software Engineering Notes. Unidade: IME

    Subjects: ENGENHARIA DE SOFTWARE, PROCESSO DE SOFTWARE

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

    • ABNT

      HANAZUMI, Simone e MELO, Ana Cristina Vieira de e PASAREANU, Corina S. From test purposes to formal JPF properties. Software Engineering Notes, v. 40, n. ja 2015, p. [5 ], 2015Tradução . . Disponível em: https://doi.org/10.1145/2693208.2693241. Acesso em: 15 fev. 2026.

    • APA

      Hanazumi, S., Melo, A. C. V. de, & Pasareanu, C. S. (2015). From test purposes to formal JPF properties. Software Engineering Notes, 40( ja 2015), [5 ]. doi:10.1145/2693208.2693241

    • NLM

      Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2026 fev. 15 ] Available from: https://doi.org/10.1145/2693208.2693241

    • Vancouver

      Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2026 fev. 15 ] Available from: https://doi.org/10.1145/2693208.2693241

  • Dissertação (Mestrado)

    Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks (2015)

    Dourado, George Gabriel Mendes; Souza, Paulo Sérgio Lopes de (Orientador)

    Unidade: ICMC

    Subjects: BENCHMARKS, JAVA, PROGRAMAÇÃO CONCORRENTE (TESTES;MONITORAMENTO;FERRAMENTAS)

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

    • ABNT

      DOURADO, George Gabriel Mendes. Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29032016-103011/. Acesso em: 15 fev. 2026.

    • APA

      Dourado, G. G. M. (2015). Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29032016-103011/

    • NLM

      Dourado GGM. Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks [Internet]. 2015 ;[citado 2026 fev. 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29032016-103011/

    • Vancouver

      Dourado GGM. Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks [Internet]. 2015 ;[citado 2026 fev. 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-29032016-103011/
  • 1

1 - 3 (3 records)

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