4,261 - 4,270 toradh á dtaispeáint as 30,655 toradh san iomlán ar an gcuardach '"Sciences"', am iarratais: 0.04s Beachtaigh na torthaí
  1. 4261

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

    Foilsithe / Cruthaithe 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. 4262

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

    Foilsithe / Cruthaithe 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. 4263

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

    Foilsithe / Cruthaithe 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. 4264

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

    Foilsithe / Cruthaithe 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. 4265

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

    Foilsithe / Cruthaithe 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. 4266

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

    Foilsithe / Cruthaithe 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. 4267

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

    Foilsithe / Cruthaithe 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. 4268

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

    Foilsithe / Cruthaithe 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. 4269

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

    Foilsithe / Cruthaithe 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. 4270

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

    Foilsithe / Cruthaithe 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

Uirlisí cuardaigh: