Gösterilen 4,451 - 4,460 sonuçlar arası kayıtlar. 30,650 sonuç. Aranan kelime '"science."', Sorgu süresi: 0.07s Sonuçları Daraltın
  1. 4451

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  2. 4452

    Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

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

    Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
  3. 4453

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

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

    Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
  4. 4454

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

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

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  5. 4455

    Automated reasoning with analytic tableaux and related methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated reasoning with analytic tableaux and related methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
  6. 4456

    Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

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

    Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
  7. 4457

    Automatic Digital Document Processing and Management Problems, Algorithms and Techniques Yazar: Ferilli, Stefano

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

    Automatic Digital Document Processing and Management Problems, Algorithms and Techniques
  8. 4458

    Autonomic and trusted computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Autonomic and trusted computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings
  9. 4459

    Autonomous and Intelligent Systems Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings

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

    Autonomous and Intelligent Systems Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings
  10. 4460

    Autonomous Intelligent Vehicles Theory, Algorithms, and Implementation Yazar: Cheng, Hong

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

    Autonomous Intelligent Vehicles Theory, Algorithms, and Implementation

Arama Araçları: