Showing 711 - 720 results of 3,416 for search '"Software"', सवाल का समय: 0.03सेकंड परिणाम को परिष्कृत करें
  1. 711

    Handbook of open source tools द्वारा Koranne, Sandeep

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Handbook of open source tools
  2. 712

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

    प्रकाशित 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
  3. 713

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

    प्रकाशित 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
  4. 714

    High performance architecture and grid computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    High performance architecture and grid computing International Conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011. Proceedings
  5. 715

    Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
  6. 716

    Information systems development business systems and services : modeling and development

    प्रकाशित 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Information systems development business systems and services : modeling and development
  7. 717

    Relating software requirements and architectures

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Relating software requirements and architectures
  8. 718

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

    प्रकाशित 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
  9. 719

    Markov decision processes and the belief-desire-intention model bridging the gap for autonomous agents द्वारा Simari, Gerardo I.

    प्रकाशित 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
  10. 720

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

खोज साधन: