Gösterilen 731 - 740 sonuçlar arası kayıtlar. 2,932 sonuç. Aranan kelime '"Computer Science"', Sorgu süresi: 0.06s Sonuçları Daraltın
  1. 731

    Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinor...

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

    Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
  2. 732

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

    Baskı/Yayın Bilgisi 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
  3. 733

    Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

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

    Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  4. 734

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

    Baskı/Yayın Bilgisi 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
  5. 735

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

    Baskı/Yayın Bilgisi 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
  6. 736

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

    Baskı/Yayın Bilgisi 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
  7. 737

    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...

    Baskı/Yayın Bilgisi 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
  8. 738

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

    Baskı/Yayın Bilgisi 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. 739

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

    Baskı/Yayın Bilgisi 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
  10. 740

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

    Baskı/Yayın Bilgisi 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

Arama Araçları: