Dangos 241 - 250 canlyniadau o 1,028 ar gyfer chwilio '"Computer software."', amser ymholiad: 0.03e Mireinio'r Canlyniadau
  1. 241

    Communications and Multimedia Security 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings

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

    Communications and Multimedia Security 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings
  2. 242

    Coordination, organizations, institutions, and norms in agent systems VI COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, Fran...

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

    Coordination, organizations, institutions, and norms in agent systems VI COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers
  3. 243

    Detection of Intrusions and Malware, and Vulnerability Assessment 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings

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

    Detection of Intrusions and Malware, and Vulnerability Assessment 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings
  4. 244

    FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

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

    FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  5. 245

    Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Select...

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

    Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  6. 246

    Foundations of software science and computational structures 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of S...

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

    Foundations of software science and computational structures 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
  7. 247

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

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

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers
  8. 248

    Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

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

    Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers
  9. 249

    Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

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

    Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings
  10. 250

    Markov decision processes and the belief-desire-intention model bridging the gap for autonomous agents gan Simari, Gerardo I.

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

    Markov decision processes and the belief-desire-intention model bridging the gap for autonomous agents

Offerynnau Chwilio: