Zobrazuji výsledky 731 - 740 z 2 928 pro vyhledávání '"Computer science"', doba hledání: 0,02 s. Upřesnit hledání
  1. 731

    Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

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

    Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  2. 732

    Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

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

    Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  3. 733

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

    Vydáno 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
  4. 734

    Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Icelan...

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

    Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  5. 735

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

    Vydáno 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
  6. 736

    Perspectives on Soviet and Russian computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, revised selected papers

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

    Perspectives on Soviet and Russian computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, revised selected papers
  7. 737

    Post-quantum cryptography 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29-December 2, 2011: proceedings

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

    Post-quantum cryptography 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29-December 2, 2011: proceedings
  8. 738

    Principles and practice of constraint programming-- CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, proceedings

    Vydáno 2011
    Available for the University of the Philippines Diliman via Springerlink. Click here to access
    Electronic Resource

    Principles and practice of constraint programming-- CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, proceedings
  9. 739

    Information computing and applications second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, part I

    Vydáno 2011
    Available for the 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 I
  10. 740

    Progress in cryptology - AFRICACRYPT 2011 4th international conference on cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings

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

    Progress in cryptology - AFRICACRYPT 2011 4th international conference on cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings

Vyhledávací nástroje: