Gösterilen 171 - 180 sonuçlar arası kayıtlar. 603 sonuç. Aranan kelime '"Science Congresses."', Sorgu süresi: 0.03s Sonuçları Daraltın
  1. 171

    Computer science - theory and applications 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. proceedings

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

    Computer science - theory and applications 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. proceedings
  2. 172

    Computing and combinatorics 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings

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

    Computing and combinatorics 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings
  3. 173

    Contemporary computing 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings

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

    Contemporary computing 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings
  4. 174

    Cryptology and network security 10th International Conference, CANS 2011, Sanya, China, December 10-12, 2011. Proceedings

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

    Cryptology and network security 10th International Conference, CANS 2011, Sanya, China, December 10-12, 2011. Proceedings
  5. 175

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

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

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

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

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

    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

Arama Araçları: