Showing 681 - 690 results of 5,428 for search '"Computer programs"', query time: 0.04s Refine Results
  1. 681

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

    Published 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
  2. 682

    Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

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

    Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
  3. 683

    Matters Computational Ideas, Algorithms, Source Code by Arndt, Jörg

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

    Matters Computational Ideas, Algorithms, Source Code
  4. 684

    Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

    Published in Springer eBooks. (2011)
    Available for University of the Philippine Diliman via Springerlink. Click here to access
    Electronic Resource

    Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
  5. 685

    Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings by Yahav, Eran

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

    Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings
  6. 686

    Systems and frameworks for computational morphology Second international workshop, SFCM 2011, Zurich, Switzerland, August 26, 2011. Proceedings

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

    Systems and frameworks for computational morphology Second international workshop, SFCM 2011, Zurich, Switzerland, August 26, 2011. Proceedings
  7. 687

    The language grid Service-oriented collective intelligence for language resource interoperability

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

    The language grid Service-oriented collective intelligence for language resource interoperability
  8. 688

    Thinkquest~2010 Proceedings of the first international conference on contours of computing technology

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

    Thinkquest~2010 Proceedings of the first international conference on contours of computing technology
  9. 689

    Computational optimization, methods and algorithms

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

    Computational optimization, methods and algorithms
  10. 690

    Excel 2010 for business statistics a guide to solving practical business problems by Quirk, Thomas J. 1939-

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

    Excel 2010 for business statistics a guide to solving practical business problems

Search Tools: