A mostrar 671 - 680 resultados de 3,416 para a pesquisa '"Software"', tempo de pesquisa: 0.02seg Refinar resultados
  1. 671

    Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Publicado em 2011
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  2. 672

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

    Publicado em 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  3. 673

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

    Publicado no Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
  4. 674

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

    Publicado no Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  5. 675

    Automated reasoning with analytic tableaux and related methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

    Publicado em 2011
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated reasoning with analytic tableaux and related methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
  6. 676

    Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

    Publicado no Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
  7. 677

    Autonomic and trusted computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings

    Publicado em 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Autonomic and trusted computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings
  8. 678

    Bioinformatics Research and Applications 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011. Proceedings

    Publicado no Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Bioinformatics Research and Applications 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011. Proceedings
  9. 679

    Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

    Publicado no Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
  10. 680

    Biometric Recognition 6th Chinese Conference, CCBR 2011, Beijing, China, December 3-4, 2011. Proceedings

    Publicado no Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Biometric Recognition 6th Chinese Conference, CCBR 2011, Beijing, China, December 3-4, 2011. Proceedings

Ferramentas de pesquisa: