A mostrar 171 - 180 resultados de 844 para a pesquisa '"Computer software."', tempo de pesquisa: 0.03seg Refinar resultados
  1. 171

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

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

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  2. 172

    Advances in Cryptology - EUROCRYPT 2011 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedi...

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

    Advances in Cryptology - EUROCRYPT 2011 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings
  3. 173

    Argumentation in Multi-Agent Systems 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers

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

    Argumentation in Multi-Agent Systems 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers
  4. 174

    Artificial general intelligence 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings

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

    Artificial general intelligence 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings
  5. 175

    Artificial Neural Networks and Machine Learning - ICANN 2011 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part I

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

    Artificial Neural Networks and Machine Learning - ICANN 2011 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part I
  6. 176

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

    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 I
  7. 177

    Artificial Neural Networks and Machine Learning - ICANN 2011 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part II

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

    Artificial Neural Networks and Machine Learning - ICANN 2011 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part II
  8. 178

    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
  9. 179

    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
  10. 180

    AI 2011: Advances in Artificial Intelligence 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings

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

    AI 2011: Advances in Artificial Intelligence 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings

Ferramentas de pesquisa: