Mostrando 1 - 20 Resultados de 33 Para Buscar '(' Limitar resultados
  1. 1
    Publicado 2005
    Connect to electronic resource
    Electrónico eBook
    Agregar a favoritos
    Guardado en:
    Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
  2. 2
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia Libro
    Agregar a favoritos
    Guardado en:
    Quality of software architectures and software quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings /
  3. 3
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia Libro
    Agregar a favoritos
    Guardado en:
    FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
  4. 4
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures /
  5. 5
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal techniques for networked and distributed systems FORTE 2005, 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
  6. 6
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
  7. 7
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Integrated formal methods 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings /
  8. 8
    Publicado 2005
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia Libro
    Agregar a favoritos
    Guardado en:
    Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
  9. 9
    Publicado 2008
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal techniques for networked and distributed systems, FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
  10. 10
    Publicado 2008
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings /
  11. 11
    Publicado 2008
    Connect to electronic resource
    Electrónico eBook
    Agregar a favoritos
    Guardado en:
    Formal methods and testing an outcome of the FORTEST network : revised selected papers /
  12. 12
    Publicado 2007
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal aspects in security and trust fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
  13. 13
    Publicado 2007
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    International symposium on fundamentals of software engineering international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings /
  14. 14
    Publicado 2007
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings /
  15. 15
    Publicado 2006
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /
  16. 16
    Publicado 2006
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
  17. 17
    Publicado 2007
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
  18. 18
    Publicado 2007
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
  19. 19
    Publicado 2009
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /
  20. 20
    Publicado 2006
    Connect to electronic resource
    Electrónico Procedimiento de la Conferencia eBook
    Agregar a favoritos
    Guardado en:
    Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /

Herramientas de búsqueda: