Showing 181 - 190 results of 1,028 for search '"Computer software."', זמן שאילתה: 0.03s Refine Results
  1. 181

    Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
  2. 182

    Computational collective intelligence. technologies and applications third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, proceedings, Part I

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Computational collective intelligence. technologies and applications third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, proceedings, Part I
  3. 183

    Computational collective intelligence. technologies and applications third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, proceedings, Part II

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Computational collective intelligence. technologies and applications third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, proceedings, Part II
  4. 184

    Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings
  5. 185

    Computer information systems analysis and technologies 10th international conference, CISIM 2011, Kolkata, India, December 14-16, 2011. proceedings

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Computer information systems analysis and technologies 10th international conference, CISIM 2011, Kolkata, India, December 14-16, 2011. proceedings
  6. 186

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

    יצא לאור 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
  7. 187

    Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday
  8. 188

    Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  9. 189

    Product-focused software process improvement 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Product-focused software process improvement 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings
  10. 190

    Languages, methodologies, and development tools for multi-agent systems Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Paper...

    יצא לאור 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Languages, methodologies, and development tools for multi-agent systems Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers

כלי חיפוש: