Showing 5,531 - 5,540 results of 25,968 for search '"Computing."', 查询时间: 0.04s Refine Results
  1. 5531

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems 由 Herde, Christian

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

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems
  2. 5532

    E-infrastuctures and e-services for developing countries second international ICST conference, AFRICOM 2010, Cape Town, South Africa, November 25-26, 2010, revised selected papers

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

    E-infrastuctures and e-services for developing countries second international ICST conference, AFRICOM 2010, Cape Town, South Africa, November 25-26, 2010, revised selected papers
  3. 5533

    Electronic participation third IFIP WG 8.5 international conference, ePart 2011, Delft, The Netherlands, August 29-September 1, 2011. proceedings

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

    Electronic participation third IFIP WG 8.5 international conference, ePart 2011, Delft, The Netherlands, August 29-September 1, 2011. proceedings
  4. 5534

    E-librarian service user-friendly semantic search in digital libraries 由 Linckels, Serge

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

    E-librarian service user-friendly semantic search in digital libraries
  5. 5535

    Emerging research in artificial intelligence and computational intelligence international conference, AICI 2011, Taiyuan, China, September 23-25, 2011. proceedings

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

    Emerging research in artificial intelligence and computational intelligence international conference, AICI 2011, Taiyuan, China, September 23-25, 2011. proceedings
  6. 5536

    Encyclopedia of cryptography and security

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

    Encyclopedia of cryptography and security
  7. 5537

    Encyclopedia of parallel computing

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

    Encyclopedia of parallel computing
  8. 5538

    End-user development third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. proceedings

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

    End-user development third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. proceedings
  9. 5539

    Energy minimization methods in computer vision and pattern recognition 8th international conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. proceedings

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

    Energy minimization methods in computer vision and pattern recognition 8th international conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. proceedings
  10. 5540

    Energy-aware communications 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. proceedings

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

    Energy-aware communications 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. proceedings

检索工具: